Gerald Pfeifer

46 papers A* 4B 13C 1Journal 17Unranked 11

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