Nicola Leone

University of Calabria , Italy

11 papers in the IJCAI proceedings

IJCAI 2018

Enhancing Existential Rules by Closed-World Variables

with Giovanni Amendola, Marco Manna, Pierfrancesco Veltri

doi:10.24963/ijcai.2018/232

Details PDF

Evaluation Techniques and Systems for Answer Set Programming: a Survey

with Martin Gebser, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub

doi:10.24963/ijcai.2018/769

Details PDF

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

with Giovanni Amendola, Marco Manna

doi:10.24963/ijcai.2018/719

Details PDF

IJCAI 2016

Modeling and Reasoning about NTU Games via Answer Set Programming

with Giovanni Amendola, Gianluigi Greco, Pierfrancesco Veltri

Details PDF

On the Properties of GZ-Aggregates in Answer Set Programming

with Mario Alviano

Details PDF

IJCAI 2005

Declarative and Computational Properties of Logic Programs with Aggregates

with Francesco Calimeri, Wolfgang Faber, Simona Perri

Details PDF

Heuristics for Hard ASP Programs

with Wolfgang Faber, Francesco Ricca

Details PDF

IJCAI 2001

Experimenting with Heuristics for Answer Set Programming

with Wolfgang Faber, Gerald Pfeifer

Details PDF

IJCAI 1999

A Comparison of Structural CSP Decomposition Methods

with Georg Gottlob, Francesco Scarcello

Details PDF

Stable Model Checking Made Easy

with Christoph Koch

Details PDF

IJCAI 1995

Semantics and Complexity of Abduction from Default Theories

with Thomas Eiter, Georg Gottlob

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings