Amendola, Giovanni

9 publications

IJCAI 2020 A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract) Giovanni Amendola, Carmine Dodaro, Marco Maratea

IJCAI 2018 Enhancing Existential Rules by Closed-World Variables Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri

IJCAI 2018 Explainable Certain Answers Giovanni Amendola, Leonid Libkin

AAAI 2018 Externally Supported Models for Efficient Computation of Paracoherent Answer Sets Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca

IJCAI 2018 Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward Giovanni Amendola, Nicola Leone, Marco Manna

IJCAI 2017 Generating Hard Random Boolean Formulas and Disjunctive Logic Programs Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski

AAAI 2017 Minimal Undefinedness for Fuzzy Answer Sets Mario Alviano, Giovanni Amendola, Rafael Peñaloza

AAAI 2017 On the Computation of Paracoherent Answer Sets Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca

IJCAI 2016 Modeling and Reasoning About NTU Games via Answer Set Programming Giovanni Amendola, Gianluigi Greco, Nicola Leone, Pierfrancesco Veltri