The Architecture of a Disjunctive Deductive Database System. - Thomas Eiter; Nicola Leone; Cristinel Mateis; Gerald Pfeifer; Francesco Scarcello (APPIA-GULP-PRODE, 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)

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

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

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

The Diagnosis Frontend of the dlv System. - Thomas Eiter; Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer (AI Commun., 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)

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)

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)

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)

Solving Hard Disjunctive Logic Programs Faster (Sometimes). - Gerald Pfeifer (APPIA-GULP-PRODE, 2003)

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

Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. - Thomas Eiter; Wolfgang Faber 001; Michael Fink 001; Gerald Pfeifer; Stefan Woltran (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)

Answer Set Planning Under Action Costs. - Thomas Eiter; Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer; Axel Polleres (J. Artif. Intell. Res., 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)

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)

Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. - Thomas Eiter; Wolfgang Faber 001; Michael Fink 001; Gerald Pfeifer; Stefan Woltran (KR, 2004)

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

Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs. - Gerald Pfeifer (LPNMR, 2004)

Interoperabilita' tra sistemi Datalog disgiuntivi e DBMS: DLV. - Vincenzino Lio; Gerald Pfeifer (SEBD, 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)

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 look-ahead heuristics in disjunctive logic programming. - Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer; Francesco Ricca (Ann. Math. Artif. Intell., 2007)

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)

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

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