Gerald Pfeifer

Publication Activity (10 Years)

Years Active: 1997-2011
Publications (10 Years): 0

Publications

Wolfgang Faber, Gerald Pfeifer, Nicola Leone
Semantics and complexity of recursive aggregates in answer set programming. Artif. Intell. 175 (1) (2011)
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
Answer Set Planning Under Action Costs CoRR (2011)
Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina
The Disjunctive Datalog System DLV. Datalog (2010)
Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa
Design and Implementation of Aggregate Functions in the DLV System CoRR (2008)
Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa
Design and implementation of aggregate functions in the DLV system. Theory Pract. Log. Program. 8 (5-6) (2008)
Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Francesco Ricca
On look-ahead heuristics in disjunctive logic programming. Ann. Math. Artif. Intell. 51 (2-4) (2007)
Francesco Calimeri, Wolfgang Faber, Gerald Pfeifer, Nicola Leone
Pruning Operators for Disjunctive Logic Programming Systems. Fundam. Informaticae 71 (2-3) (2006)
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello
The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7 (3) (2006)
Wolfgang Faber, Nicola Leone, Gerald Pfeifer
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. JELIA (2004)
Vincenzino Lio, Gerald Pfeifer
Interoperabilita' tra sistemi Datalog disgiuntivi e DBMS: DLV. SEBD (2004)
Gerald Pfeifer
Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs. LPNMR (2004)
Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer
New DLV Features for Data Integration. JELIA (2004)
Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran
Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. KR (2004)
Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer
System Description: DLV with Aggregates. LPNMR (2004)
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
A logic programming approach to knowledge-state planning: Semantics and complexity. ACM Trans. Comput. Log. 5 (2) (2004)
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
Answer Set Planning Under Action Costs. J. Artif. Intell. Res. 19 (2003)
Gerald Pfeifer
Solving Hard Disjunctive Logic Programs Faster (Sometimes). APPIA-GULP-PRODE (2003)
Christoph Koch, Nicola Leone, Gerald Pfeifer
Enhancing disjunctive logic programming systems by SAT checkers. Artif. Intell. 151 (1-2) (2003)
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
Computing preferred answer sets by meta-interpretation in answer set programming. Theory Pract. Log. Program. 3 (4-5) (2003)
Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer
Aggregate Functions in DLV. Answer Set Programming (2003)
Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. IJCAI (2003)
Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran
Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. Answer Set Programming (2003)
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
system. Artif. Intell. 144 (1-2) (2003)
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming CoRR (2002)
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello
The DLV System for Knowledge Representation and Reasoning CoRR (2002)
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
The DLV System. JELIA (2002)
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
Answer Set Planning under Action Costs. JELIA (2002)
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
Planning System: Progress Report. JELIA (2002)
Francesco Calimeri, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
Pruning operators for answer set programming systems. NMR (2002)
Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer
System Description: DLV. LPNMR (2001)
Wolfgang Faber, Nicola Leone, Gerald Pfeifer
Optimizing the Computation of Heuristics for Answer Set Programming Systems. LPNMR (2001)
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming. Answer Set Programming (2001)
Wolfgang Faber, Nicola Leone, Gerald Pfeifer
Experimenting with Heuristics for Answer Set Programming. IJCAI (2001)
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
Planning System. LPNMR (2001)
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity CoRR (2001)
Thomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, Gerald Pfeifer
DLV - A System for Declarative Problem Solving CoRR (2000)
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
Planning under Incomplete Knowledge. Computational Logic (2000)
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
Using the dlv System for Planning and Diagnostic Reasoning. WLP (2000)
Wolfgang Faber, Nicola Leone, Gerald Pfeifer
Pushing Goal Derivation in DLP Computations. LPNMR (1999)
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
The Diagnosis Frontend of the dlv System. AI Commun. 12 (1-2) (1999)
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
. FQAS (1998)
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
The KR System dlv: Progress Report, Comparisons and Benchmarks. KR (1998)
Simona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
The dlv System: Model Generator and Advanced Frontends (system description). WLP (1997)
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
A Deductive System for Non-Monotonic Reasoning. LPNMR (1997)
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
The Architecture of a Disjunctive Deductive Database System. APPIA-GULP-PRODE (1997)