CARLOS
MENCIA CASCALLANA
Profesor Titular de Universidad
Universidade de Lisboa
Lisboa, PortugalPublicaciones en colaboración con investigadores/as de Universidade de Lisboa (14)
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)
-
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)