Francesco Ricca: Publications - PhilPeople

Areas of Interest

Logic and Philosophy of Logic

16

The multi-engine asp solver me-asp
with Marco Maratea and Luca Pulina

In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence, Springer. pp. 484--487. 2012.
7

Paracoherent answer set computation
with Giovanni Amendola, Carmine Dodaro, and Wolfgang Faber

Artificial Intelligence 299 103519. 2021.

Science, Logic, and Mathematics
4

Disjunctive logic programming with types and objects: The DLV+ system
with Nicola Leone

Journal of Applied Logic 5 (3): 545-573. 2007.

Logic and Philosophy of Logic
1

New models for generating hard random boolean formulas and disjunctive logic programs
with Giovanni Amendola and Miroslaw Truszczynski

Artificial Intelligence 279 103185. 2020.

Science, Logic, and Mathematics
Design and results of the Fifth Answer Set Programming Competition
with Francesco Calimeri, Martin Gebser, and Marco Maratea

Artificial Intelligence 231 151-181. 2016.

Science, Logic, and Mathematics