-
79The multi-engine asp solver me-aspIn Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence, Springer. pp. 484--487. 2012.
-
42Disjunctive logic programming with types and objects: The DLV+ systemJournal of Applied Logic 5 (3): 545-573. 2007.
-
42New models for generating hard random boolean formulas and disjunctive logic programsArtificial Intelligence 279 (C): 103185. 2020.
-
37Design and results of the Fifth Answer Set Programming CompetitionArtificial Intelligence 231 (C): 151-181. 2016.
Areas of Interest
| Metaphysics |
| Logic and Philosophy of Logic |