Giovanni Amendola

6 papers · 2016–2020 · 1 conference · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (15)

Conferences

IJCAI (6)

Top co-authors

Nicola Leone (3) Marco Manna (2) Pierfrancesco Veltri (2) Carmine Dodaro (1) Francesco Ricca (1) Miroslaw Truszczynski (1) Leonid Libkin (1) Marco Maratea (1) Gianluigi Greco (1)

Keywords

query answering (2) existential rule (2) phase transition (1) sat solver (1) incomplete datum (1) certain answer (1) quantified boolean formula (1) ontology-based query (1) boolean formula (1) datalog reasoning (1) disjunctive logic program (1) random satisfiability (1) finite controllability (1) conjunctive query answering (1) closed-world semantics (1) cautious reasoning (1) abstract solver (1) backbone computation (1) random formula (1) computational complexity (1)

Papers

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

Enhancing Existential Rules by Closed-World Variables IJCAI 2018

Explainable Certain Answers IJCAI 2018

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

Generating Hard Random Boolean Formulas and Disjunctive Logic Programs IJCAI 2017

Modeling and Reasoning about NTU Games via Answer Set Programming IJCAI 2016