Gerald Pfeifer

According to our database, Gerald Pfeifer authored at least 39 papers between 1997 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Semantics and complexity of recursive aggregates in answer set programming.

Wolfgang Faber, Gerald Pfeifer, Nicola Leone

Artif. Intell., 2011

2010

The Disjunctive Datalog System DLV.

Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina

Proceedings of the Datalog Reloaded - First International Workshop, 2010

2008

Design and implementation of aggregate functions in the DLV system.

Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa

Theory Pract. Log. Program., 2008

2007

On look-ahead heuristics in disjunctive logic programming.

Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Francesco Ricca

Ann. Math. Artif. Intell., 2007

2006

The DLV system for knowledge representation and reasoning.

Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello

ACM Trans. Comput. Log., 2006

Pruning Operators for Disjunctive Logic Programming Systems.

Francesco Calimeri, Wolfgang Faber, Gerald Pfeifer, Nicola Leone

Fundam. Informaticae, 2006

2004

A logic programming approach to knowledge-state planning: Semantics and complexity.

Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres

ACM Trans. Comput. Log., 2004

Interoperabilita' tra sistemi Datalog disgiuntivi e DBMS: DLV.

Vincenzino Lio, Gerald Pfeifer

Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004

Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs.

Gerald Pfeifer

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

System Description: DLV with Aggregates.

Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.

Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity.

Wolfgang Faber, Nicola Leone, Gerald Pfeifer

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

New DLV Features for Data Integration.

Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

2003

Computing preferred answer sets by meta-interpretation in answer set programming.

Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer

Theory Pract. Log. Program., 2003

Answer Set Planning Under Action Costs.

Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres

J. Artif. Intell. Res., 2003

Enhancing disjunctive logic programming systems by SAT checkers.

Christoph Koch, Nicola Leone, Gerald Pfeifer

Artif. Intell., 2003

A logic programming approach to knowledge-state planning, II: The DLV^K system.

Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres

Artif. Intell., 2003

Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV.

Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer

Proceedings of the IJCAI-03, 2003

Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.

Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran

Proceedings of the Answer Set Programming, 2003

Aggregate Functions in DLV.

Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer

Proceedings of the Answer Set Programming, 2003

Solving Hard Disjunctive Logic Programs Faster (Sometimes).

Gerald Pfeifer

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

Pruning operators for answer set programming systems.

Francesco Calimeri, Wolfgang Faber, Nicola Leone, Gerald Pfeifer

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

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

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

The DLV^K Planning System: Progress Report.

Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001

Optimizing the Computation of Heuristics for Answer Set Programming Systems.

Wolfgang Faber, Nicola Leone, Gerald Pfeifer

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

System Description: The DLV^K Planning System.

Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

System Description: DLV.

Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Experimenting with Heuristics for Answer Set Programming.

Wolfgang Faber, Nicola Leone, Gerald Pfeifer

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming.

Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer

Proceedings of the Answer Set Programming, 2001

2000

DLV - A System for Declarative Problem Solving

Thomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, Gerald Pfeifer

CoRR, 2000

Using the dlv System for Planning and Diagnostic Reasoning.

Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres

Proceedings of the 14. Workshop Logische Programmierung, 2000

Planning under Incomplete Knowledge.

Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres

Proceedings of the Computational Logic, 2000

1999

The Diagnosis Frontend of the dlv System.

Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer

AI Commun., 1999

Pushing Goal Derivation in DLP Computations.

Wolfgang Faber, Nicola Leone, Gerald Pfeifer

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

1998

The KR System dlv: Progress Report, Comparisons and Benchmarks.

Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Progress Report on the Disjunctive Deductive Database System <tt>dlv</tt>.

Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello

Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998

1997

The dlv System: Model Generator and Advanced Frontends (system description).

Simona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello

Proceedings of the Twelfth Workshop Logic Programming, 1997

A Deductive System for Non-Monotonic Reasoning.

Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

The Architecture of a Disjunctive Deductive Database System.

Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997