Leone, Nicola

17 publications

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

IJCAI 2018 Evaluation Techniques and Systems for Answer Set Programming: A Survey Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub

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

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

IJCAI 2016 On the Properties of GZ-Aggregates in Answer Set Programming Mario Alviano, Nicola Leone

JAIR 2011 Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri

AAAI 2010 Enhancing ASP by Functions: Decidable Classes and Implementation Techniques Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone

AAAI 2008 Magic Sets for Data Integration Wolfgang Faber, Gianluigi Greco, Nicola Leone

IJCAI 2005 Declarative and Computational Properties of Logic Programs with Aggregates Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri

IJCAI 2005 Heuristics for Hard ASP Programs Wolfgang Faber, Nicola Leone, Francesco Ricca

IJCAI 2003 Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer

JAIR 2003 Answer Set Planning Under Action Costs Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres

IJCAI 2001 Experimenting with Heuristics for Answer Set Programming Wolfgang Faber, Nicola Leone, Gerald Pfeifer

IJCAI 1999 A Comparison of Structural CSP Decomposition Methods Georg Gottlob, Nicola Leone, Francesco Scarcello

IJCAI 1999 Stable Model Checking Made Easy Christoph Koch, Nicola Leone

IJCAI 1995 Semantics and Complexity of Abduction from Default Theories Thomas Eiter, Georg Gottlob, Nicola Leone