The KIWIS Knowledge Base Management System. - Matts Ahlsén; Alessandro D'Atri; Paul Johannesson; Els Laenens; Nicola Leone; Pasquale Rullo; P. Rossi; François Staes; Laura Tarantino; L. Van Beirendonck; L. Van Cadsand; W. Van Santvliet; et al. (CAiSE, 1991)

The Basic Query Machine of the KIWIS System. - Nicola Leone; Antonella Mecchia; Giuseppe Rossi; Pasquale Rullo (CAiSE, 1992)

Stable Model Semantics and its Computation for Ordered Logic Programs. - Nicola Leone; Pasquale Rullo (ECAI, 1992)

An Efficient Strategy for the Bottom-up Evaluation of Datalog Queries. - Nicola Leone; Pasquale Rullo (Comput. J., 1992)

Safe computation of the well-founded semantics of Datalog queries. - Nicola Leone; Pasquale Rullo (Inf. Syst., 1992)

COMPLEX: An Object-Oriented Logic Programming System. - Sergio Greco; Nicola Leone; Pasquale Rullo (IEEE Trans. Knowl. Data Eng., 1992)

Adding Set Terms to Ordered Logic Programs. - Nicola Leone; Pasquale Rullo (GULP, 1993)

Updating Logic Programs. - Nicola Leone; Luigi Palopoli 001; Massimo Romeo (ISMIS, 1993)

Sincronizzazione e Ripristino di Transazioni Distribuite in un Sistema Multidatabase. - Nicola Leone; Fabio Messina; Tommaso Mostardi; Carlo Siciliano (SEBD, 1993)

Effective Implementation of Negation in Database Logic Query Languages. - Nicola Leone; Massimo Romeo; Pasquale Rullo; Domenico Saccà (LOGIDATA+: Deductive Databases with Complex Objects, 1993)

Ordered Logic Programming with Sets. - Nicola Leone; Pasquale Rullo (J. Log. Comput., 1993)

Well-Founded Semantics and Stratification for Ordered Logic Programs. - Nicola Leone; Giuseppe Rossi (New Gener. Comput., 1993)

A non-deterministic semantics for ordered logic programs. - Francesco Buccafurri; Nicola Leone; Pasquale Rullo (GULP-PRODE (1), 1994)

Collegamento di Basi di Dati Orientate agli Oggetti a Basi di Dati Relazionali Remote. - Fabrizio Angiulli; Nicola Leone; Fabio Messina; Massimo Romeo (SEBD, 1994)

Modifying Intensional Logic Knowledge. - Nicola Leone; Luigi Palopoli 001; Massimo Romeo (Fundam. Informaticae, 1994)

Curbing Theories: Fixpoint Semantics and Complexity Issues. - Francesco Scarcello; Nicola Leone; Luigi Palopoli 001 (GULP-PRODE, 1995)

Disjunctive Ordered Logic - Francesco Buccafurri; Nicola Leone; Luigi Palopoli 001; Pasquale Rullo (DEXA, 1995)

BQM: a system integrating logic, objects, and non-monotonic reasoning. - Nicola Leone; Pasquale Rullo (ICTAI, 1995)

Semantics and Complexity of Abduction from Default Theories. - Thomas Eiter; Georg Gottlob; Nicola Leone (IJCAI (1), 1995)

Complexity Results for Abductive Logic Programming. - Thomas Eiter; Georg Gottlob; Nicola Leone (LPNMR, 1995)

Second Order Logic and the Weak Exponential Hierarchies. - Georg Gottlob; Nicola Leone; Helmut Veith (MFCS, 1995)

Declarative and Fixpoint Characterizations of Disjunctive Stable Models. - Nicola Leone; Francesco Scarcello (ILPS, 1995)

On Modularity Properties of Partial Semantics for Disjunctive Logic Programs. - Thomas Eiter; Nicola Leone (WLP, 1995)

A Language for Updating Logic Programs and its Implementation. - Nicola Leone; Luigi Palopoli 001; Massimo Romeo (J. Log. Program., 1995)

Computing Disjunctive Ordered Logic. - Francesco Buccafurri; Nicola Leone; Pasquale Rullo (APPIA-GULP-PRODE, 1996)

Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases. - Thomas Eiter; Nicola Leone; Domenico Saccà (APPIA-GULP-PRODE, 1996)

Partial Semantics for Disjunctive Deductive Databases. - Thomas Eiter; Nicola Leone; Domenico Saccà (DEXA, 1996)

On the Computation of Disjunctive Stable Models. - Nicola Leone; Pasquale Rullo; Francesco Scarcello (DEXA, 1996)

The Expressive Power of Partial Models in Disjunctive Deductive Databases. - Thomas Eiter; Nicola Leone; Domenico Saccà (Logic in Databases, 1996)

Stable Model Checking for Disjunctive Logic Programs. - Nicola Leone; Pasquale Rullo; Francesco Scarcello (Logic in Databases, 1996)

On the Expressive Power of Ordered Logic. - Francesco Buccafurri; Nicola Leone; Francesco Scarcello (AI Commun., 1996)

Stable Models and Their Computation for Logic Programming with Inheritance and True Negation. - Francesco Buccafurri; Nicola Leone; Pasquale Rullo (J. Log. Program., 1996)

Adding Weak Constraints to Disjunctive Datalog. - Francesco Buccafurri; Nicola Leone; Pasquale Rullo (APPIA-GULP-PRODE, 1997)

The Architecture of a Disjunctive Deductive Database System. - Thomas Eiter; Nicola Leone; Cristinel Mateis; Gerald Pfeifer; Francesco Scarcello (APPIA-GULP-PRODE, 1997)

On the Complexity of Some Inductive Logic Programming Problems. - Georg Gottlob; Nicola Leone; Francesco Scarcello (ILP, 1997)

DATALOG with Nested Rules. - Sergio Greco; Nicola Leone; Francesco Scarcello (LPKR, 1997)

Strong and Weak Constraints in Disjunctive Datalog. - Francesco Buccafurri; Nicola Leone; Pasquale Rullo (LPNMR, 1997)

A Deductive System for Non-Monotonic Reasoning. - Thomas Eiter; Nicola Leone; Cristinel Mateis; Gerald Pfeifer; Francesco Scarcello (LPNMR, 1997)

The dlv System: Model Generator and Advanced Frontends (system description). - Simona Citrigno; Thomas Eiter; Wolfgang Faber 001; Georg Gottlob; Christoph Koch 001; Nicola Leone; Cristinel Mateis; Gerald Pfeifer; Francesco Scarcello (WLP, 1997)

Efficient Evaluation of a Class of Ordered Logic Programs. - Nicola Leone; Clara Pizzuti; Pasquale Rullo (Data Knowl. Eng., 1997)

Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation. - Nicola Leone; Pasquale Rullo; Francesco Scarcello (Inf. Comput., 1997)

On the Indiscernibility of Individuals in Logic Programming. - Thomas Eiter; Georg Gottlob; Nicola Leone (J. Log. Comput., 1997)

Abduction from Logic Programs: Semantics and Complexity. - Thomas Eiter; Georg Gottlob; Nicola Leone (Theor. Comput. Sci., 1997)

A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning. - Nicola Leone; Pasquale Rullo; Antonella Mecchia; Giuseppe Rossi (IEEE Trans. Knowl. Data Eng., 1997)

ProbView: A Flexible Probabilistic Database System. - Laks V. S. Lakshmanan; Nicola Leone; Robert B. Ross; V. S. Subrahmanian (ACM Trans. Database Syst., 1997)

On the Complexity of Search Queries. - Nicola Leone; Luigi Palopoli 001; Domenico Saccà (FMLDO, 1998)

The Complexity of Acyclic Conjunctive Queries. - Georg Gottlob; Nicola Leone; Francesco Scarcello (FOCS, 1998)

Progress Report on the Disjunctive Deductive Database System dlv. - Thomas Eiter; Nicola Leone; Cristinel Mateis; Gerald Pfeifer; Francesco Scarcello (FQAS, 1998)

Disjunctive Ordered Logic: Semantics and Expressiveness. - Francesco Buccafurri; Nicola Leone; Pasquale Rullo (KR, 1998)

The KR System dlv: Progress Report, Comparisons and Benchmarks. - Thomas Eiter; Nicola Leone; Cristinel Mateis; Gerald Pfeifer; Francesco Scarcello (KR, 1998)

Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases. - Thomas Eiter; Nicola Leone; Domenico Saccà (Theor. Comput. Sci., 1998)

Local Search Techniques for Disjunctive Logic Programs. - Nicola Leone; Simona Perri; Pasquale Rullo (AI*IA, 1999)

On Tractable Queries and Constraints. - Georg Gottlob; Nicola Leone; Francesco Scarcello (DEXA, 1999)

Computing LOGCFL Certificates. - Georg Gottlob; Nicola Leone; Francesco Scarcello (ICALP, 1999)

Disjunctive Logic Programs with Inheritance. - Francesco Buccafurri; Wolfgang Faber 001; Nicola Leone (ICLP, 1999)

A Comparison of Structural CSP Decomposition Methods. - Georg Gottlob; Nicola Leone; Francesco Scarcello (IJCAI, 1999)

Stable Model Checking Made Easy. - Christoph Koch 001; Nicola Leone (IJCAI, 1999)

Pushing Goal Derivation in DLP Computations. - Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer (LPNMR, 1999)

Hypertree Decompositions and Tractable Queries. - Georg Gottlob; Nicola Leone; Francesco Scarcello (PODS, 1999)

Enhancing Model Checking in Verification by AI Techniques. - Francesco Buccafurri; Thomas Eiter; Georg Gottlob; Nicola Leone (Artif. Intell., 1999)

The Diagnosis Frontend of the dlv System. - Thomas Eiter; Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer (AI Commun., 1999)

Semantics and Expressiveness of Disjunctive Ordered Logic. - Francesco Buccafurri; Nicola Leone; Pasquale Rullo (Ann. Math. Artif. Intell., 1999)

Succinctness as a Source of Complexity in Logical Formalisms. - Georg Gottlob; Nicola Leone; Helmut Veith (Ann. Pure Appl. Log., 1999)

Planning under Incomplete Knowledge. - Thomas Eiter; Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer; Axel Polleres (Computational Logic, 2000)

Using the dlv System for Planning and Diagnostic Reasoning. - Thomas Eiter; Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer; Axel Polleres (WLP, 2000)

DLV - A System for Declarative Problem Solving - Thomas Eiter; Wolfgang Faber 001; Christoph Koch 001; Nicola Leone; Gerald Pfeifer (CoRR, 2000)

Enhancing Disjunctive Datalog by Constraints. - Francesco Buccafurri; Nicola Leone; Pasquale Rullo (IEEE Trans. Knowl. Data Eng., 2000)

Abduction with Penalization in Logic Programming. - Nicola Leone; Simona Perri; Francesco Scarcello (AI*IA, 2001)

Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming. - Thomas Eiter; Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer (Answer Set Programming, 2001)

Experimenting with Heuristics for Answer Set Programming. - Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer (IJCAI, 2001)

Census Data Repair: a Challenging Application of Disjunctive Logic Programming. - Enrico Franconi; Antonio Laureti Palma; Nicola Leone; Simona Perri; Francesco Scarcello (LPAR, 2001)

System Description: DLV. - Tina Dell'Armi; Wolfgang Faber 001; Giuseppe Ielpa; Christoph Koch 001; Nicola Leone; Simona Perri; Gerald Pfeifer (LPNMR, 2001)

System Description: The DLVK Planning System. - Thomas Eiter; Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer; Axel Polleres (LPNMR, 2001)

Optimizing the Computation of Heuristics for Answer Set Programming Systems. - Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer (LPNMR, 2001)

Improving ASP Instantiators by Join-Ordering Methods. - Nicola Leone; Simona Perri; Francesco Scarcello (LPNMR, 2001)

Hypertree Decompositions: A Survey. - Georg Gottlob; Nicola Leone; Francesco Scarcello (MFCS, 2001)

Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. - Georg Gottlob; Nicola Leone; Francesco Scarcello (PODS, 2001)

Join Ordering Techniques for Knowledge Base Systems. - Nicola Leone; Simona Perri; Francesco Scarcello (SEBD, 2001)

Abduction with Penalization in Logic Programming - Giovambattista Ianni; Nicola Leone; Simona Perri; Francesco Scarcello (CoRR, 2001)

On ACTL Formulas Having Linear Counterexamples. - Francesco Buccafurri; Thomas Eiter; Georg Gottlob; Nicola Leone (J. Comput. Syst. Sci., 2001)

Answer Set Planning under Action Costs. - Thomas Eiter; Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer; Axel Polleres (JELIA, 2002)

The DLVK Planning System: Progress Report. - Thomas Eiter; Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer; Axel Polleres (JELIA, 2002)

The DLV System. - Nicola Leone; Gerald Pfeifer; Wolfgang Faber 001; Francesco Calimeri; Tina Dell'Armi; Thomas Eiter; Georg Gottlob; Giovambattista Ianni; Giuseppe Ielpa; Christoph Koch 001; Simona Perri; Axel Polleres (JELIA, 2002)

Pruning operators for answer set programming systems. - Francesco Calimeri; Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer (NMR, 2002)

Cost-based Query Decompositions. - Nicola Leone; Alfredo Mazzitelli; Francesco Scarcello (SEBD, 2002)

Knowledge Representation and Logic Programming. - Michael Gelfond; Nicola Leone (Artif. Intell., 2002)

Logic programming and knowledge representation - The A-Prolog perspective. - Michael Gelfond; Nicola Leone (Artif. Intell., 2002)

Aggregate Functions in DLV. - Tina Dell'Armi; Wolfgang Faber 001; Giuseppe Ielpa; Nicola Leone; Gerald Pfeifer (Answer Set Programming, 2003)

Parametric Connectives in Disjunctive Logic Programming. - Nicola Leone; Simona Perri (Answer Set Programming, 2003)

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

A logic programming approach to knowledge-state planning, II: The DLVK system. - Thomas Eiter; Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer; Axel Polleres (Artif. Intell., 2003)

Enhancing disjunctive logic programming systems by SAT checkers. - Christoph Koch 001; Nicola Leone; Gerald Pfeifer (Artif. Intell., 2003)

Computing preferred answer sets by meta-interpretation in answer set programming. - Thomas Eiter; Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer (Theory Pract. Log. Program., 2003)

Enhancing the Magic-Set Method for Disjunctive Datalog Programs. - Chiara Cumbo; Wolfgang Faber 001; Gianluigi Greco; Nicola Leone (ICLP, 2004)

New DLV Features for Data Integration. - Francesco Calimeri; Manuela Citrigno; Chiara Cumbo; Wolfgang Faber 001; Nicola Leone; Simona Perri; Gerald Pfeifer (JELIA, 2004)

Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. - Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer (JELIA, 2004)

System Description: DLV with Aggregates. - Tina Dell'Armi; Wolfgang Faber 001; Giuseppe Ielpa; Nicola Leone; Simona Perri; Gerald Pfeifer (LPNMR, 2004)

DLVDB: Adding Efficient Data Management Features to ASP. - Nicola Leone; Vincenzino Lio; Giorgio Terracina (LPNMR, 2004)

BackJumping techniques for rules instantiation in the DLV system. - Nicola Leone; Simona Perri; Francesco Scarcello (NMR, 2004)

Weighted Hypertree Decompositions and Optimal Query Plans. - Francesco Scarcello; Gianluigi Greco; Nicola Leone (PODS, 2004)

On Weighted Hypertree Decompositions. - Gianluigi Greco; Nicola Leone; Francesco Scarcello (SEBD, 2004)

Toward the Implementation of Functions in the DLV System (Preliminary Technical Report) - Francesco Calimeri; Nicola Leone (CoRR, 2004)

Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation. - Nicola Leone; Francesco Scarcello; V. S. Subrahmanian (IEEE Trans. Knowl. Data Eng., 2004)

A logic programming approach to knowledge-state planning: Semantics and complexity. - Thomas Eiter; Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer; Axel Polleres (ACM Trans. Comput. Log., 2004)

Exploiting ASP for Semantic Information Extraction. - Massimo Ruffolo; Nicola Leone; Marco Manna; Domenico Saccà; Amedeo Zavatto (Answer Set Programming, 2005)

Declarative and Computational Properties of Logic Programs with Aggregates. - Francesco Calimeri; Wolfgang Faber 001; Nicola Leone; Simona Perri (IJCAI, 2005)

Heuristics for Hard ASP Programs. - Wolfgang Faber 001; Nicola Leone; Francesco Ricca (IJCAI, 2005)

Data Integration: a Challenging ASP Application. - Nicola Leone; Thomas Eiter; Wolfgang Faber 001; Michael Fink 001; Georg Gottlob; Luigi Granata; Gianluigi Greco; Edyta Kalka; Giovambattista Ianni; Domenico Lembo; Maurizio Lenzerini; Vincenzino Lio; et al. (LPNMR, 2005)

A DLP System with Object-Oriented Features. - Francesco Ricca; Nicola Leone; Valerio De Bonis; Tina Dell'Armi; Stefania Galizia; Giovanni Grasso 002 (LPNMR, 2005)

Magic Sets and their Application to Data Integration. - Wolfgang Faber 001; Gianluigi Greco; Nicola Leone (SEBD, 2005)

Boosting Information Integration: The INFOMIX System. - Nicola Leone; Thomas Eiter; Wolfgang Faber 001; Michael Fink 001; Georg Gottlob; Gianluigi Greco (SEBD, 2005)

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 001; Michael Fink 001; Georg Gottlob; Riccardo Rosati 001; Domenico Lembo; Maurizio Lenzerini; et al. (SIGMOD Conference, 2005)

Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks. - Wolfgang Faber 001; Nicola Leone; Francesco Ricca (Intelligenza Artificiale, 2005)

Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. - Simona Perri; Francesco Scarcello; Nicola Leone (Theory Pract. Log. Program., 2005)

Process Representation and Reasoning Using a Logic Formalism with Object-Oriented Features. - Andrea Gualtieri; Tina Dell'Armi; Nicola Leone (Business Process Management Workshops, 2006)

Adding Efficient Data Management to Logic Programming Systems. - Giorgio Terracina; Nicola Leone; Vincenzino Lio; Claudio Panetta (ISMIS, 2006)

A Logic-Based Tool for Semantic Information Extraction. - Massimo Ruffolo; Marco Manna; Lorenzo Gallucci; Nicola Leone; Domenico Saccà (JELIA, 2006)

Towards a Semantic Information Extraction Approach from Unstructured Documents. - Massimo Ruffolo; Lorenzo Gallucci; Nicola Leone; Marco Manna; Domenico Saccà (SEBD, 2006)

A backjumping technique for Disjunctive Logic Programming. - Francesco Ricca; Wolfgang Faber 001; Nicola Leone (AI Commun., 2006)

Pruning Operators for Disjunctive Logic Programming Systems. - Francesco Calimeri; Wolfgang Faber 001; Gerald Pfeifer; Nicola Leone (Fundam. Informaticae, 2006)

The DLV system for knowledge representation and reasoning. - Nicola Leone; Gerald Pfeifer; Wolfgang Faber 001; Thomas Eiter; Georg Gottlob; Simona Perri; Francesco Scarcello (ACM Trans. Comput. Log., 2006)

On the Complexity of Answer Set Programming with Aggregates. - Wolfgang Faber 001; Nicola Leone (LPNMR, 2007)

Experimenting with Look-Back Heuristics for Hard ASP Programs. - Wolfgang Faber 001; Nicola Leone; Marco Maratea; Francesco Ricca (LPNMR, 2007)

Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications. - Nicola Leone (LPNMR, 2007)

On look-ahead heuristics in disjunctive logic programming. - Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer; Francesco Ricca (Ann. Math. Artif. Intell., 2007)

Enhancing DLV instantiator by backjumping techniques. - Simona Perri; Francesco Scarcello; Gelsomina Catalano; Nicola Leone (Ann. Math. Artif. Intell., 2007)

Disjunctive logic programming with types and objects: The DLV+ system. - Francesco Ricca; Nicola Leone (J. Appl. Log., 2007)

Magic Sets for Data Integration. - Wolfgang Faber 001; Gianluigi Greco; Nicola Leone (AAAI, 2008)

Logic Programming in DataLog: A Long Tour from Theory to Practice. - Sergio Greco; Luigi Palopoli 001; Nicola Leone; Pasquale Rullo; Domenico Saccà (Il Milione, 2008)

Computable Functions in ASP: Theory and Implementation. - Francesco Calimeri; Susanna Cozza; Giovambattista Ianni; Nicola Leone (ICLP, 2008)

The DLV Project: A Tour from Theory and Research to Applications and Market. - Nicola Leone; Wolfgang Faber 001 (ICLP, 2008)

Normal Form Nested Programs. - Annamaria Bria; Wolfgang Faber 001; Nicola Leone (JELIA, 2008)

Look-back Techniques for ASP Programs with Aggregates. - Wolfgang Faber 001; Nicola Leone; Marco Maratea; Francesco Ricca (RCRA, 2008)

Experiencing ASP with Real World Applications. - Giorgio Terracina; Erika De Francesco; Claudio Panetta; Nicola Leone (RCRA, 2008)

Enhancing a DLP System for Advanced Database Applications. - Giorgio Terracina; Erika De Francesco; Claudio Panetta; Nicola Leone (RR, 2008)

On the relation among answer set solvers. - Enrico Giunchiglia; Nicola Leone; Marco Maratea (Ann. Math. Artif. Intell., 2008)

Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. - Marco Maratea; Francesco Ricca; Wolfgang Faber 001; Nicola Leone (J. Algorithms, 2008)

Design and implementation of aggregate functions in the DLV system. - Wolfgang Faber 001; Gerald Pfeifer; Nicola Leone; Tina Dell'Armi; Giuseppe Ielpa (Theory Pract. Log. Program., 2008)

Experimenting with recursive queries in database and logic programming systems. - Giorgio Terracina; Nicola Leone; Vincenzino Lio; Claudio Panetta (Theory Pract. Log. Program., 2008)

Answer Set Programming. - Wolfgang Faber 001; Nicola Leone; Francesco Ricca (Wiley Encyclopedia of Computer Science and Engineering, 2008)

nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver. - Annamaria Bria; Wolfgang Faber 001; Nicola Leone (LPNMR, 2009)

Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. - Francesco Calimeri; Susanna Cozza; Giovambattista Ianni; Nicola Leone (LPNMR, 2009)

An ASP System with Functions, Lists, and Sets. - Francesco Calimeri; Susanna Cozza; Giovambattista Ianni; Nicola Leone (LPNMR, 2009)

Some DLV Applications for Knowledge Management. - Giovanni Grasso 001; Salvatore Iiritano; Nicola Leone; Francesco Ricca (LPNMR, 2009)

An ASP-Based System for e-Tourism. - Salvatore Maria Ielpa; Salvatore Iiritano; Nicola Leone; Francesco Ricca (LPNMR, 2009)

Exploiting ASP in Real-World Applications: Main Strengths and Challenges. - Nicola Leone (LPNMR, 2009)

An ASP-Based Data Integration System. - Nicola Leone; Francesco Ricca; Giorgio Terracina (LPNMR, 2009)

OntoDLV: An ASP-based System for Enterprise Ontologies. - Francesco Ricca; Lorenzo Gallucci; Roman Schindlauer; Tina Dell'Armi; Giovanni Grasso 001; Nicola Leone (J. Log. Comput., 2009)

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

Answer Set Programming. - Piero A. Bonatti; Francesco Calimeri; Nicola Leone; Francesco Ricca (25 Years GULP, 2010)

Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation. - Mario Alviano; Wolfgang Faber 001; Nicola Leone (RCRA@CPAIOR, 2010)

The Disjunctive Datalog System DLV. - Mario Alviano; Wolfgang Faber 001; Nicola Leone; Simona Perri; Gerald Pfeifer; Giorgio Terracina (Datalog, 2010)

An ASP-Based System for Team-Building in the Gioia-Tauro Seaport. - Giovanni Grasso 001; Salvatore Iiritano; Nicola Leone; Vincenzino Lio; Francesco Ricca; Francesco Scalise (PADL, 2010)

Efficient Application of Answer Set Programming for Advanced Data Integration. - Nicola Leone; Francesco Ricca; Luca Agostino Rubino; Giorgio Terracina (PADL, 2010)

A Logic-Based System for e-Tourism. - Francesco Ricca; Antonella Dimasi; Giovanni Grasso 001; Salvatore Maria Ielpa; Salvatore Iiritano; Marco Manna; Nicola Leone (Fundam. Informaticae, 2010)

Disjunctive ASP with functions: Decidable queries and effective computation. - Mario Alviano; Wolfgang Faber 001; Nicola Leone (Theory Pract. Log. Program., 2010)

ASP at Work: Spin-off and Applications of the DLV System. - Giovanni Grasso 001; Nicola Leone; Marco Manna; Francesco Ricca (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

The Birth of a WASP: Preliminary Report on a New ASP Solver. - Carmine Dodaro; Mario Alviano; Wolfgang Faber 001; Nicola Leone; Francesco Ricca; Marco Sirianni (CILC, 2011)

Unit Testing in ASPIDE. - Onofrio Febbraro; Nicola Leone; Kristian Reale; Francesco Ricca (INAP/WLP, 2011)

Dynamic Magic Sets for Programs with Monotone Recursive Aggregates. - Mario Alviano; Gianluigi Greco; Nicola Leone (LPNMR, 2011)

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 001; Onofrio Febbraro; Nicola Leone; Marco Manna; Alessandra Martello; et al. (LPNMR, 2011)

Optimizing the Distributed Evaluation of Stratified Datalog Programs via Structural Analysis. - Rosamaria Barilaro; Nicola Leone; Francesco Ricca; Giorgio Terracina (SEBD, 2011)

Semantics and complexity of recursive aggregates in answer set programming. - Wolfgang Faber 001; Gerald Pfeifer; Nicola Leone (Artif. Intell., 2011)

Finitely recursive programs: Decidability and bottom-up computation. - Francesco Calimeri; Susanna Cozza; Giovambattista Ianni; Nicola Leone (AI Commun., 2011)

A long tour from theory to practice. - Sergio Greco; Nicola Leone; Luigi Palopoli 001; Pasquale Rullo; Domenico Saccà (Intelligenza Artificiale, 2011)

Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. - Mario Alviano; Francesco Calimeri; Wolfgang Faber 001; Nicola Leone; Simona Perri (J. Artif. Intell. Res., 2011)

On the complexity of regular-grammars with integer attributes. - Marco Manna; Francesco Scarcello; Nicola Leone (J. Comput. Syst. Sci., 2011)

The Intelligent Grounder of DLV. - Wolfgang Faber 001; Nicola Leone; Simona Perri (Correct Reasoning, 2012)

Extending ASPIDE with User-defined Plugins. - Onofrio Febbraro; Nicola Leone; Kristian Reale; Francesco Ricca (CILC, 2012)

Magic-Sets for Datalog with Existential Quantifiers. - Mario Alviano; Nicola Leone; Marco Manna; Giorgio Terracina; Pierfrancesco Veltri (Datalog, 2012)

Datalog Development Tools - (Extended Abstract). - Onofrio Febbraro; Giovanni Grasso 001; Nicola Leone; Kristian Reale; Francesco Ricca (Datalog, 2012)

JASP: A Framework for Integrating Answer Set Programming with Java. - Onofrio Febbraro; Nicola Leone; Giovanni Grasso 001; Francesco Ricca (KR, 2012)

Efficiently Computable Datalog∃ Programs. - Nicola Leone; Marco Manna; Giorgio Terracina; Pierfrancesco Veltri (KR, 2012)

Distributed Ontology Based Data Access via Logic Programming. - Rosamaria Barilaro; Nicola Leone; Francesco Ricca; Giorgio Terracina (RR, 2012)

Efficient Query Answering over Datalog with Existential Quantifiers. - Nicola Leone; Marco Manna; Giorgio Terracina; Pierfrancesco Veltri (SEBD, 2012)

Magic Sets for disjunctive Datalog programs. - Mario Alviano; Wolfgang Faber 001; Gianluigi Greco; Nicola Leone (Artif. Intell., 2012)

The HiLeX System for Semantic Information Extraction. - Marco Manna; Ermelinda Oro; Massimo Ruffolo; Mario Alviano; Nicola Leone (Trans. Large Scale Data Knowl. Centered Syst., 2012)

Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues. - Mario Alviano; Wolfgang Faber 001; Nicola Leone; Marco Manna (Theory Pract. Log. Program., 2012)

Team-building with answer set programming in the Gioia-Tauro seaport. - Francesco Ricca; Giovanni Grasso 001; Mario Alviano; Marco Manna; Vincenzino Lio; Salvatore Iiritano; Nicola Leone (Theory Pract. Log. Program., 2012)

WASP: A Native ASP Solver Based on Constraint Learning. - Mario Alviano; Carmine Dodaro; Wolfgang Faber 001; Nicola Leone; Francesco Ricca (LPNMR, 2013)

Logic-Based Techniques for Data Cleaning: An Application to the Italian National Healthcare System. - Giorgio Terracina; Alessandra Martello; Nicola Leone (LPNMR, 2013)

Answer Set Programming: Language, Applications and Development Tools. - Giovanni Grasso 001; Nicola Leone; Francesco Ricca (RR, 2013)

Query Answering over Disjunctive Datalog with Existential Quantifiers. - Mario Alviano; Wolfgang Faber 001; Nicola Leone; Marco Manna (SEBD, 2013)

Development Tools for Datalog. - Onofrio Febbraro; Giovanni Grasso 001; Nicola Leone; Kristian Reale; Francesco Ricca (SEBD, 2013)

A graphic tool for ontology reasoning under Datalog∃. - Onofrio Febbraro; Nicola Leone; Francesco Ricca; Giorgio Terracina; Pierfrancesco Veltri (SEBD, 2013)

Introduction to the special issue on the 25th annual GULP conference. - Wolfgang Faber 001; Nicola Leone (Theory Pract. Log. Program., 2013)

Modular Paracoherent Answer Sets. - Giovanni Amendola; Thomas Eiter; Nicola Leone (JELIA, 2014)

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 (ICAISC, 2015)

Advances in WASP. - Mario Alviano; Carmine Dodaro; Nicola Leone; Francesco Ricca (LPNMR, 2015)

Semantic Views of Homogeneous Unstructured Data. - Weronika T. Adrian; Nicola Leone; Marco Manna (RR, 2015)

Allotment Problem in Travel Industry: A Solution Based on ASP. - Carmine Dodaro; Nicola Leone; Barbara Nardi; Francesco Ricca (RR, 2015)

Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications. - Nicola Leone; Francesco Ricca (Reasoning Web, 2015)

Ontology-driven Information Extraction. - Weronika T. Adrian; Nicola Leone; Marco Manna (CoRR, 2015)

Complexity and compilation of GZ-aggregates in answer set programming. - Mario Alviano; Nicola Leone (Theory Pract. Log. Program., 2015)

On the Application of Answer Set Programming to the Conference Paper Assignment Problem. - Giovanni Amendola; Carmine Dodaro; Nicola Leone; Francesco Ricca (AI*IA, 2016)

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

Modeling and Reasoning about NTU Games via Answer Set Programming. - Giovanni Amendola; Gianluigi Greco; Nicola Leone; Pierfrancesco Veltri (IJCAI, 2016)

Hypertree Decompositions: Questions and Answers. - Georg Gottlob; Gianluigi Greco; Nicola Leone; Francesco Scarcello (PODS, 2016)

Semi-equilibrium models for paracoherent answer set programs. - Giovanni Amendola; Thomas Eiter; Michael Fink 001; Nicola Leone; João Moura 001 (Artif. Intell., 2016)

Applications of Answer Set Programming. - Esra Erdem 001; Michael Gelfond; Nicola Leone (AI Mag., 2016)

Grounding and Solving in Answer Set Programming. - Benjamin Kaufmann; Nicola Leone; Simona Perri; Torsten Schaub (AI Mag., 2016)

Driving CDCL Search. - Carmine Dodaro; Philip Gasteiger; Nicola Leone; Benjamin Musitsch; Francesco Ricca; Konstantin Schekotihin (CoRR, 2016)

Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper). - Carmine Dodaro; Philip Gasteiger; Nicola Leone; Benjamin Musitsch; Francesco Ricca; Konstantin Schekotihin (Theory Pract. Log. Program., 2016)

On the Computation of Paracoherent Answer Sets. - Giovanni Amendola; Carmine Dodaro; Wolfgang Faber 001; Nicola Leone; Francesco Ricca (AAAI, 2017)

Document Layout Analysis for Semantic Information Extraction. - Weronika T. Adrian; Nicola Leone; Marco Manna; Cinzia Marte (AI*IA, 2017)

Entity set expansion from the Web via ASP. - Weronika T. Adrian; Marco Manna; Nicola Leone; Giovanni Amendola; Marek Adrian (ICLP (Technical Communications), 2017)

Reasoning on anonymity in Datalog+/-. - Giovanni Amendola; Nicola Leone; Marco Manna; Pierfrancesco Veltri (ICLP (Technical Communications), 2017)

The ASP System DLV2. - Mario Alviano; Francesco Calimeri; Carmine Dodaro; Davide Fuscà; Nicola Leone; Simona Perri; Francesco Ricca; Pierfrancesco Veltri; Jessica Zangari (LPNMR, 2017)

Querying finite or arbitrary models? No matter! Existential rules may rely on both once again (discussion paper). - Giovanni Amendola; Nicola Leone; Marco Manna (SEBD, 2017)

Finite model reasoning over existential rules. - Giovanni Amendola; Nicola Leone; Marco Manna (Theory Pract. Log. Program., 2017)

Structural Decomposition Methods: Key Notions and Database Applications. - Gianluigi Greco; Nicola Leone; Francesco Scarcello; Giorgio Terracina (A Comprehensive Guide Through the Italian Database Research, 2018)

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; et al. (IC3K, 2018)

The AI System DLV: Ontologies, Reasoning, and More. - Nicola Leone (KDIR, 2018)

Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward. - Giovanni Amendola; Nicola Leone; Marco Manna (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)

First Steps towards Reasoning on Big Data with DLV. - Nicola Leone; Simona Perri; Francesco Ricca; Pierfrancesco Veltri; Jessica Zangari (SEBD, 2018)

The ASP System DLV: Advancements and Applications. - Weronika T. Adrian; Mario Alviano; Francesco Calimeri; Bernardo Cuteri; Carmine Dodaro; Wolfgang Faber 001; Davide Fuscà; Nicola Leone; Marco Manna; Simona Perri; Francesco Ricca; Pierfrancesco Veltri; et al. (Künstliche Intell., 2018)

An ASP-based Approach for Optimizing DLV Evaluation. - Carlo Allocca; Francesco Calimeri; Roberta Costabile; Alessio Fiorentino; Nicola Leone; Marco Manna; Simona Perri; Jessica Zangari (CILC, 2019)

Large Scale DLV: Preliminary Results. - Nicola Leone; Carlo Allocca; Mario Alviano; Francesco Calimeri; Cristina Civili; Roberta Costabile; Bernardo Cuteri; Alessio Fiorentino; Davide Fuscà; Stefano Germano; Giovanni Laboccetta; Marco Manna; et al. (CILC, 2019)

Evaluation of Disjunctive Programs in WASP. - Mario Alviano; Giovanni Amendola; Carmine Dodaro; Nicola Leone; Marco Maratea; Francesco Ricca (LPNMR, 2019)

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 (LPNMR, 2019)

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; et al. (LPNMR, 2019)

Querying Large Expressive Horn Ontologies. - Carlo Allocca; Mario Alviano; Francesco Calimeri; Cristina Civili; Roberta Costabile; Bernardo Cuteri; Alessio Fiorentino; Davide Fuscà; Stefano Germano; Giovanni Laboccetta; Nicola Leone; Marco Manna; et al. (SEBD, 2019)

Fast Query Answering over Existential Rules. - Nicola Leone; Marco Manna; Giorgio Terracina; Pierfrancesco Veltri (ACM Trans. Comput. Log., 2019)

Enhancing Magic Sets with an Application to Ontological Reasoning. - Mario Alviano; Nicola Leone; Pierfrancesco Veltri; Jessica Zangari (Theory Pract. Log. Program., 2019)

Precomputing Datalog Evaluation Plans in Large-Scale Scenarios. - Alessio Fiorentino; Nicola Leone; Marco Manna; Simona Perri; Jessica Zangari (Theory Pract. Log. Program., 2019)

Evaluation of disjunctive programs in WASP. - Mario Alviano; Giovanni Amendola; Carmine Dodaro; Nicola Leone; Marco Maratea; Francesco Ricca (Zenodo, 2019)

ASP-Core-2 Input Language Format. - Francesco Calimeri; Wolfgang Faber 001; Martin Gebser; Giovambattista Ianni; Roland Kaminski; Thomas Krennwallner; Nicola Leone; Marco Maratea; Francesco Ricca; Torsten Schaub (Theory Pract. Log. Program., 2020)

A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification. - Roberta Costabile; Gelsomina Catalano; Bernardo Cuteri; Maria Concetta Morelli; Nicola Leone; Marco Manna (Theory Pract. Log. Program., 2020)

Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming. - Riccardo Bertolucci; Alessio Capitanelli; Carmine Dodaro; Nicola Leone; Marco Maratea; Fulvio Mastrogiovanni; Mauro Vallati (Theory Pract. Log. Program., 2021)

A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels. - Vito Barbara; Dimitri Buelli; Massimo Guarascio 001; Stefano Ierace; Salvatore Iiritano; Giovanni Laboccetta; Nicola Leone; Giuseppe Manco 001; Valerio Pesenti; Alessandro Quarta; Francesco Ricca; Ettore Ritacco (CILC, 2022)

A Formal Comparison between Datalog-based Languages for Stream Reasoning. - Nicola Leone; Marco Manna; Maria Concetta Morelli; Simona Perri (Datalog, 2022)

Smart Devices and Large Scale Reasoning via ASP: Tools and Applications. - Kristian Reale; Francesco Calimeri; Nicola Leone; Francesco Ricca (PADL, 2022)

A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version). - Nicola Leone; Marco Manna; Maria Concetta Morelli; Simona Perri (CoRR, 2022)

ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications. - Francesco Calimeri; Nicola Leone; Giovanni Melissari; Francesco Pacenza; Simona Perri; Kristian Reale; Francesco Ricca; Jessica Zangari (Algorithms, 2023)

Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels. - Vito Barbara; Massimo Guarascio 001; Nicola Leone; Giuseppe Manco 001; Alessandro Quarta; Francesco Ricca; Ettore Ritacco (Theory Pract. Log. Program., 2023)

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 (PPDP, 2024)