CARLOS
MENCIA CASCALLANA
Profesor Titular de Universidad
Alexey
Ignatiev
Publicaciones en las que colabora con Alexey Ignatiev (6)
2019
-
On Computing the Union of MUSes
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017
-
Debugging EL+ ontologies through horn MUS enumeration
CEUR Workshop Proceedings
-
Lean kernels in description logics
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
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)