Giovanni Amendola

University of Calabria

5 papers in the IJCAI proceedings

IJCAI 2020

A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract)

with Carmine Dodaro, Marco Maratea

doi:10.24963/ijcai.2020/652

Details PDF

IJCAI 2018

Enhancing Existential Rules by Closed-World Variables

with Nicola Leone, Marco Manna, Pierfrancesco Veltri

doi:10.24963/ijcai.2018/232

Details PDF

Explainable Certain Answers

with Leonid Libkin

doi:10.24963/ijcai.2018/233

Details PDF

Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward

with Nicola Leone, Marco Manna

doi:10.24963/ijcai.2018/719

Details PDF

IJCAI 2017

Generating Hard Random Boolean Formulas and Disjunctive Logic Programs

with Francesco Ricca, Miroslaw Truszczynski

doi:10.24963/ijcai.2017/75

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings