Informática
Departamento
Universidade de Lisboa
Lisboa, PortugalPublicaciones en colaboración con investigadores/as de Universidade de Lisboa (16)
2020
-
High-performance analog front-end (AFE) for EOG systems
Electronics (Switzerland), Vol. 9, Núm. 6, pp. 1-15
2019
-
Computing Shortest Resolution Proofs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
On Computing the Union of MUSes
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018
-
Premise set caching for enumerating minimal correction subsets
32nd AAAI Conference on Artificial Intelligence, AAAI 2018
2017
-
Debugging EL+ ontologies through horn MUS enumeration
CEUR Workshop Proceedings
-
Improving MCS enumeration via caching
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Lean kernels in description logics
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Minimal sets on propositional formulae. Problems and reductions
Artificial Intelligence, Vol. 252, pp. 22-50
2016
-
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)
-
Efficient reasoning for inconsistent horn formulae
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Integrating activity- and goal-based workflows: A data model based design method
Lecture Notes in Business Information Processing
-
MCS extraction with sublinear Oracle queries
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015
-
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)
-
Efficient axiom pinpointing with EL2MCS
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Literal-based MCS extraction
IJCAI International Joint Conference on Artificial Intelligence
-
SAT-based horn least upper bounds
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)