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