Nicola Leone
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
97
Venues
26
Active years
1991–2026
Best venue rank
A*
Where they publish
- BLPNMR31 papers
- A*IJCAI12 papers
- BJELIA8 papers
- BICLP6 papers
- CPADL4 papers
- A*PODS4 papers
- A*KR4 papers
- CDEXA4 papers
- A*AAAI3 papers
- CIC3K2 papers
- CISMIS2 papers
- BMFCS2 papers
- ACaiSE2 papers
- CPPDP1 paper
- NationalICAISC1 paper
- BCPAIOR1 paper
- ABPM1 paper
- AICDT1 paper
- A*SIGMOD1 paper
- BLPAR1 paper
- A*ICALP1 paper
- A*FOCS1 paper
- CFQAS1 paper
- BILP1 paper
- BICTAI1 paper
- AECAI1 paper
Papers
97 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | PADL | Solving Hard Combinatorial Optimization Problems with PyQASP. | Damiano Azzolini, Nicola Leone, Giuseppe Mazzotta, Francesco Ricca |
| 2024 | PPDP | Towards Effective ASP-based Stream Reasoning: Facilitate the Reasoning over Patterns of Events. | Luca Laboccetta, Elena Mastria, Francesco Calimeri, Nicola Leone, Simona Perri, Giorgio Terracina |
| 2022 | PADL | Smart Devices and Large Scale Reasoning via ASP: Tools and Applications. | Kristian Reale, Francesco Calimeri, Nicola Leone, Francesco Ricca |
| 2019 | LPNMR | Evaluation of Disjunctive Programs in WASP. | Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca |
| 2019 | LPNMR | An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots. | Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati |
| 2019 | LPNMR | Enhancing DLV for Large-Scale Reasoning. | Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Alessio Fiorentino, Davide Fusc, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari |
| 2018 | IC3K | Reasoning over Ontologies with DLV. | Carlo Allocca, Mario Alviano, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Davide Fusc, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari |
| 2018 | IC3K | The AI System DLV: Ontologies, Reasoning, and More. | Nicola Leone |
| 2018 | IJCAI | Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward. | Giovanni Amendola, Nicola Leone, Marco Manna |
| 2018 | IJCAI | Enhancing Existential Rules by Closed-World Variables. | Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri |
| 2018 | IJCAI | Evaluation Techniques and Systems for Answer Set Programming: a Survey. | Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub |
| 2017 | AAAI | On the Computation of Paracoherent Answer Sets. | Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca |
| 2017 | ICLP | Entity set expansion from the Web via ASP. | Weronika T. Adrian, Marco Manna, Nicola Leone, Giovanni Amendola, Marek Adrian |
| 2017 | ICLP | Reasoning on anonymity in Datalog+/-. | Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri |
| 2017 | LPNMR | The ASP System DLV2. | Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fusc, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari |
| 2016 | IJCAI | On the Properties of GZ-Aggregates in Answer Set Programming. | Mario Alviano, Nicola Leone |
| 2016 | IJCAI | Modeling and Reasoning about NTU Games via Answer Set Programming. | Giovanni Amendola, Gianluigi Greco, Nicola Leone, Pierfrancesco Veltri |
| 2016 | PODS | Hypertree Decompositions: Questions and Answers. | Georg Gottlob, Gianluigi Greco, Nicola Leone, Francesco Scarcello |
| 2015 | ICAISC | Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments. | Weronika T. Adrian, Nicola Leone, Antoni Ligeza, Marco Manna, Mateusz Slazynski |
| 2015 | LPNMR | Advances in WASP. | Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca |
| 2014 | JELIA | Modular Paracoherent Answer Sets. | Giovanni Amendola, Thomas Eiter, Nicola Leone |
| 2013 | LPNMR | WASP: A Native ASP Solver Based on Constraint Learning. | Mario Alviano, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca |
| 2013 | LPNMR | Logic-Based Techniques for Data Cleaning: An Application to the Italian National Healthcare System. | Giorgio Terracina, Alessandra Martello, Nicola Leone |
| 2012 | KR | JASP: A Framework for Integrating Answer Set Programming with Java. | Onofrio Febbraro, Nicola Leone, Giovanni Grasso, Francesco Ricca |
| 2012 | KR | Efficiently Computable Datalog∃ Programs. | Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri |
| 2011 | LPNMR | Dynamic Magic Sets for Programs with Monotone Recursive Aggregates. | Mario Alviano, Gianluigi Greco, Nicola Leone |
| 2011 | LPNMR | The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. | Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri |
| 2010 | AAAI | Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
| 2010 | CPAIOR | Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation. | Mario Alviano, Wolfgang Faber, Nicola Leone |
| 2010 | PADL | An ASP-Based System for Team-Building in the Gioia-Tauro Seaport. | Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Vincenzino Lio, Francesco Ricca, Francesco Scalise |
| 2010 | PADL | Efficient Application of Answer Set Programming for Advanced Data Integration. | Nicola Leone, Francesco Ricca, Luca Agostino Rubino, Giorgio Terracina |
| 2009 | LPNMR | nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver. | Annamaria Bria, Wolfgang Faber, Nicola Leone |
| 2009 | LPNMR | Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
| 2009 | LPNMR | An ASP System with Functions, Lists, and Sets. | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
| 2009 | LPNMR | Some DLV Applications for Knowledge Management. | Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Francesco Ricca |
| 2009 | LPNMR | An ASP-Based System for e-Tourism. | Salvatore Maria Ielpa, Salvatore Iiritano, Nicola Leone, Francesco Ricca |
| 2009 | LPNMR | Exploiting ASP in Real-World Applications: Main Strengths and Challenges. | Nicola Leone |
| 2009 | LPNMR | An ASP-Based Data Integration System. | Nicola Leone, Francesco Ricca, Giorgio Terracina |
| 2008 | AAAI | Magic Sets for Data Integration. | Wolfgang Faber, Gianluigi Greco, Nicola Leone |
| 2008 | ICLP | Computable Functions in ASP: Theory and Implementation. | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
| 2008 | ICLP | The DLV Project: A Tour from Theory and Research to Applications and Market. | Nicola Leone, Wolfgang Faber |
| 2008 | JELIA | Normal Form Nested Programs. | Annamaria Bria, Wolfgang Faber, Nicola Leone |
| 2007 | LPNMR | On the Complexity of Answer Set Programming with Aggregates. | Wolfgang Faber, Nicola Leone |
| 2007 | LPNMR | Experimenting with Look-Back Heuristics for Hard ASP Programs. | Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca |
| 2007 | LPNMR | Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications. | Nicola Leone |
| 2006 | BPM | Process Representation and Reasoning Using a Logic Formalism with Object-Oriented Features. | Andrea Gualtieri, Tina Dell'Armi, Nicola Leone |
| 2006 | ISMIS | Adding Efficient Data Management to Logic Programming Systems. | Giorgio Terracina, Nicola Leone, Vincenzino Lio, Claudio Panetta |
| 2006 | JELIA | A Logic-Based Tool for Semantic Information Extraction. | Massimo Ruffolo, Marco Manna, Lorenzo Gallucci, Nicola Leone, Domenico Sacc |
| 2005 | ICDT | Magic Sets and Their Application to Data Integration. | Wolfgang Faber, Gianluigi Greco, Nicola Leone |
| 2005 | IJCAI | Declarative and Computational Properties of Logic Programs with Aggregates. | Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri |
| 2005 | IJCAI | Heuristics for Hard ASP Programs. | Wolfgang Faber, Nicola Leone, Francesco Ricca |
| 2005 | LPNMR | Data Integration: a Challenging ASP Application. | Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina |
| 2005 | LPNMR | A DLP System with Object-Oriented Features. | Francesco Ricca, Nicola Leone, Valerio De Bonis, Tina Dell'Armi, Stefania Galizia, Giovanni Grasso |
| 2005 | SIGMOD | The INFOMIX system for advanced integration of incomplete and inconsistent data. | Nicola Leone, Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Giorgio Terracina, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Riccardo Rosati, Domenico Lembo, Maurizio Lenzerini, Marco Ruzzi, Edyta Kalka, Bartosz Nowicki, Witold Staniszkis |
| 2004 | ICLP | Enhancing the Magic-Set Method for Disjunctive Datalog Programs. | Chiara Cumbo, Wolfgang Faber, Gianluigi Greco, Nicola Leone |
| 2004 | JELIA | New DLV Features for Data Integration. | Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer |
| 2004 | JELIA | Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. | Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
| 2004 | LPNMR | System Description: DLV with Aggregates. | Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer |
| 2004 | LPNMR | DLV | Nicola Leone, Vincenzino Lio, Giorgio Terracina |
| 2004 | PODS | Weighted Hypertree Decompositions and Optimal Query Plans. | Francesco Scarcello, Gianluigi Greco, Nicola Leone |
| 2003 | IJCAI | Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. | Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer |
| 2002 | JELIA | Answer Set Planning under Action Costs. | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
| 2002 | JELIA | The DLV | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
| 2002 | JELIA | The DLV System. | Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, Axel Polleres |
| 2001 | IJCAI | Experimenting with Heuristics for Answer Set Programming. | Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
| 2001 | LPAR | Census Data Repair: a Challenging Application of Disjunctive Logic Programming. | Enrico Franconi, Antonio Laureti Palma, Nicola Leone, Simona Perri, Francesco Scarcello |
| 2001 | LPNMR | System Description: DLV. | Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer |
| 2001 | LPNMR | System Description: The DLV | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
| 2001 | LPNMR | Optimizing the Computation of Heuristics for Answer Set Programming Systems. | Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
| 2001 | LPNMR | Improving ASP Instantiators by Join-Ordering Methods. | Nicola Leone, Simona Perri, Francesco Scarcello |
| 2001 | MFCS | Hypertree Decompositions: A Survey. | Georg Gottlob, Nicola Leone, Francesco Scarcello |
| 2001 | PODS | Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. | Georg Gottlob, Nicola Leone, Francesco Scarcello |
| 1999 | DEXA | On Tractable Queries and Constraints. | Georg Gottlob, Nicola Leone, Francesco Scarcello |
| 1999 | ICALP | Computing LOGCFL Certificates. | Georg Gottlob, Nicola Leone, Francesco Scarcello |
| 1999 | ICLP | Disjunctive Logic Programs with Inheritance. | Francesco Buccafurri, Wolfgang Faber, Nicola Leone |
| 1999 | IJCAI | A Comparison of Structural CSP Decomposition Methods. | Georg Gottlob, Nicola Leone, Francesco Scarcello |
| 1999 | IJCAI | Stable Model Checking Made Easy. | Christoph Koch, Nicola Leone |
| 1999 | LPNMR | Pushing Goal Derivation in DLP Computations. | Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
| 1999 | PODS | Hypertree Decompositions and Tractable Queries. | Georg Gottlob, Nicola Leone, Francesco Scarcello |
| 1998 | FOCS | The Complexity of Acyclic Conjunctive Queries. | Georg Gottlob, Nicola Leone, Francesco Scarcello |
| 1998 | FQAS | Progress Report on the Disjunctive Deductive Database System | Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello |
| 1998 | KR | Disjunctive Ordered Logic: Semantics and Expressiveness. | Francesco Buccafurri, Nicola Leone, Pasquale Rullo |
| 1998 | KR | The KR System dlv: Progress Report, Comparisons and Benchmarks. | Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello |
| 1997 | ILP | On the Complexity of Some Inductive Logic Programming Problems. | Georg Gottlob, Nicola Leone, Francesco Scarcello |
| 1997 | LPNMR | Strong and Weak Constraints in Disjunctive Datalog. | Francesco Buccafurri, Nicola Leone, Pasquale Rullo |
| 1997 | LPNMR | A Deductive System for Non-Monotonic Reasoning. | Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello |
| 1996 | DEXA | Partial Semantics for Disjunctive Deductive Databases. | Thomas Eiter, Nicola Leone, Domenico Sacc |
| 1996 | DEXA | On the Computation of Disjunctive Stable Models. | Nicola Leone, Pasquale Rullo, Francesco Scarcello |
| 1995 | DEXA | Disjunctive Ordered Logic | Francesco Buccafurri, Nicola Leone, Luigi Palopoli, Pasquale Rullo |
| 1995 | IJCAI | Semantics and Complexity of Abduction from Default Theories. | Thomas Eiter, Georg Gottlob, Nicola Leone |
| 1995 | ICTAI | BQM: a system integrating logic, objects, and non-monotonic reasoning. | Nicola Leone, Pasquale Rullo |
| 1995 | LPNMR | Complexity Results for Abductive Logic Programming. | Thomas Eiter, Georg Gottlob, Nicola Leone |
| 1995 | MFCS | Second Order Logic and the Weak Exponential Hierarchies. | Georg Gottlob, Nicola Leone, Helmut Veith |
| 1993 | ISMIS | Updating Logic Programs. | Nicola Leone, Luigi Palopoli, Massimo Romeo |
| 1992 | CaiSE | The Basic Query Machine of the KIWIS System. | Nicola Leone, Antonella Mecchia, Giuseppe Rossi, Pasquale Rullo |
| 1992 | ECAI | Stable Model Semantics and its Computation for Ordered Logic Programs. | Nicola Leone, Pasquale Rullo |
| 1991 | CaiSE | The KIWIS Knowledge Base Management System. | Matts Ahlsn, Alessandro D'Atri, Paul Johannesson, Els Laenens, Nicola Leone, Pasquale Rullo, P. Rossi, Franois Staes, Laura Tarantino, L. Van Beirendonck, L. Van Cadsand, W. Van Santvliet, Johan Vanslembrouck, Brigitte Verdonk, Dirk Vermeir |