Publicaciones en colaboración con investigadores/as de Universidade de Lisboa (16)

2020

  1. High-performance analog front-end (AFE) for EOG systems

    Electronics (Switzerland), Vol. 9, Núm. 6, pp. 1-15

2019

  1. Computing Shortest Resolution Proofs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. On Computing the Union of MUSes

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2018

  1. Premise set caching for enumerating minimal correction subsets

    32nd AAAI Conference on Artificial Intelligence, AAAI 2018

2017

  1. Debugging EL+ ontologies through horn MUS enumeration

    CEUR Workshop Proceedings

  2. Improving MCS enumeration via caching

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Lean kernels in description logics

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  4. Minimal sets on propositional formulae. Problems and reductions

    Artificial Intelligence, Vol. 252, pp. 22-50

2016

  1. BEACON: An efficient SAT-based tool for debugging εL+ ontologies

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Efficient reasoning for inconsistent horn formulae

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Integrating activity- and goal-based workflows: A data model based design method

    Lecture Notes in Business Information Processing

  4. MCS extraction with sublinear Oracle queries

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2015

  1. Efficient MUS enumeration of horn formulae with applications to axiom pinpointing

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Efficient axiom pinpointing with EL2MCS

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Literal-based MCS extraction

    IJCAI International Joint Conference on Artificial Intelligence

  4. SAT-based horn least upper bounds

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)