Publications

Export 5 results:
Filters: Author is Mencía, Carlos  [Clear All Filters]
2017
Peñaloza, R., C. Mencía, A. Ignatiev, and J. Marques-Silva, "Lean Kernels in Description Logics", European Semantic Web Conference: Springer, pp. 518–533, 2017.
Marques-Silva, J., M. Janota, and C. Mencía, "Minimal sets on propositional formulae. Problems and reductions", Artificial Intelligence, vol. 252: Elsevier, pp. 22–50, 2017.
2016
M Arif, F., C. Mencía, A. Ignatiev, N. Manthey, R. Peñaloza, and J. Marques-Silva, "BEACON: An Efficient SAT-Based Tool for Debugging {\mathcal {EL}}{^+} Ontologies", International Conference on Theory and Applications of Satisfiability Testing: Springer, pp. 521–530, 2016.
Marques-Silva, J., A. Ignatiev, C. Mencía, and R. Peñaloza, "Efficient reasoning for inconsistent horn formulae", European Conference on Logics in Artificial Intelligence: Springer, pp. 336–352, 2016.
Mencía, C., A. Ignatiev, A. Previti, and J. Marques-Silva, "MCS extraction with sublinear oracle queries", International Conference on Theory and Applications of Satisfiability Testing: Springer, pp. 342–360, 2016.