Nicola Leone

5 papers · 2016–2018 · 1 conference · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🐝 Cross-Pollinator (15)

Conferences

IJCAI (5)

Top co-authors

Giovanni Amendola (3) Marco Manna (2) Pierfrancesco Veltri (2) Simona Perri (1) Francesco Ricca (1) Mario Alviano (1) Torsten Schaub (1) Martin Gebser (1) Marco Maratea (1) Gianluigi Greco (1)

Keywords

existential rule (2) computational complexity (1) automated reasoning (1) answer set programming (1) query answering (1) logic programming (1) system evaluation (1) ontology-based query (1) datalog reasoning (1) finite controllability (1) conjunctive query answering (1) knowledge representation (1) closed-world semantics (1)

Papers

Enhancing Existential Rules by Closed-World Variables IJCAI 2018

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

Evaluation Techniques and Systems for Answer Set Programming: a Survey IJCAI 2018

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

On the Properties of GZ-Aggregates in Answer Set Programming IJCAI 2016