Gerald Pfeifer

2008
43	EE	Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa: Design and Implementation of Aggregate Functions in the DLV System CoRR abs/0802.3137: (2008)
42	EE	Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa: Design and implementation of aggregate functions in the DLV system. TPLP 8(5-6): 545-580 (2008)
2007
41	EE	Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Francesco Ricca: On look-ahead heuristics in disjunctive logic programming. Ann. Math. Artif. Intell. 51(2-4): 229-266 (2007)
2006
40	EE	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): 499-562 (2006)
39	EE	Francesco Calimeri, Wolfgang Faber, Gerald Pfeifer, Nicola Leone: Pruning Operators for Disjunctive Logic Programming Systems. Fundam. Inform. 71(2-3): 183-214 (2006)
2004
38	EE	Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. JELIA 2004: 200-212
37	EE	Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer: New DLV Features for Data Integration. JELIA 2004: 698-701
36		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: 377-387
35	EE	Gerald Pfeifer: Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs. LPNMR 2004: 220-233
34	EE	Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer: System Description: DLV with Aggregates. LPNMR 2004: 326-330
33		Vincenzino Lio, Gerald Pfeifer: Interoperabilita' tra sistemi Datalog disgiuntivi e DBMS: DLV. SEBD 2004: 42-53
32	EE	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): 206-263 (2004)
2003
31		Gerald Pfeifer: Solving Hard Disjunctive Logic Programs Faster (Sometimes). APPIA-GULP-PRODE 2003: 226-237
30	EE	Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer: Aggregate Functions in DLV. Answer Set Programming 2003
29	EE	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
28		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: 847-852
27	EE	Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: A logic programming approach to knowledge-state planning, II: The DLVK system. Artif. Intell. 144(1-2): 157-211 (2003)
26	EE	Christoph Koch, Nicola Leone, Gerald Pfeifer: Enhancing disjunctive logic programming systems by SAT checkers. Artif. Intell. 151(1-2): 177-212 (2003)
25	EE	Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: Answer Set Planning Under Action Costs. J. Artif. Intell. Res. (JAIR) 19: 25-71 (2003)
24		Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Computing preferred answer sets by meta-interpretation in answer set programming. TPLP 3(4-5): 463-498 (2003)
2002
23	EE	Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: Answer Set Planning under Action Costs. JELIA 2002: 186-197
22	EE	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: 537-540
21	EE	Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: The DLVK Planning System: Progress Report. JELIA 2002: 541-544
20		Francesco Calimeri, Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Pruning operators for answer set programming systems. NMR 2002: 200-209
19	EE	Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello: The DLV System for Knowledge Representation and Reasoning CoRR cs.AI/0211004: (2002)
18	EE	Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming CoRR cs.LO/0201013: (2002)
2001
17	EE	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
16		Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Experimenting with Heuristics for Answer Set Programming. IJCAI 2001: 635-640
15	EE	Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Optimizing the Computation of Heuristics for Answer Set Programming Systems. LPNMR 2001: 295-308
14	EE	Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer: System Description: DLV. LPNMR 2001: 424-428
13	EE	Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: System Description: The DLVK Planning System. LPNMR 2001: 429-433
12	EE	Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity CoRR cs.AI/0112006: (2001)
2000
11	EE	Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: Planning under Incomplete Knowledge. Computational Logic 2000: 807-821
10		Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: Using the dlv System for Planning and Diagnostic Reasoning. WLP 2000: 125-134
9	EE	Thomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, Gerald Pfeifer: DLV - A System for Declarative Problem Solving CoRR cs.AI/0003036: (2000)
1999
8		Michael Gelfond, Nicola Leone, Gerald Pfeifer: Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings Springer 1999
7	EE	Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Pushing Goal Derivation in DLP Computations. LPNMR 1999: 177-191
6		Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer: The Diagnosis Frontend of the dlv System. AI Commun. 12(1-2): 99-111 (1999)
1998
5	EE	Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello: Progress Report on the Disjunctive Deductive Database System dlv. FQAS 1998: 148-163
4		Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello: The KR System dlv: Progress Report, Comparisons and Benchmarks. KR 1998: 406-417
1997
3		Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello: The Architecture of a Disjunctive Deductive Database System. APPIA-GULP-PRODE 1997: 141-152
2		Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello: A Deductive System for Non-Monotonic Reasoning. LPNMR 1997: 364-375
1		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: 0-

Coauthor Index

1	Francesco Calimeri	[20] [22] [37] [39]
2	Manuela Citrigno	[37]
3	Simona Citrigno	[1]
4	Chiara Cumbo	[37]
5	Tina Dell'Armi	[14] [22] [28] [30] [34] [42] [43]
6	Thomas Eiter	[1] [2] [3] [4] [5] [6] [9] [10] [11] [12] [13] [17] [18] [19] [21] [22] [23] [24] [25] [27] [29] [32] [36] [40]
7	Wolfgang Faber	[1] [6] [7] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [27] [28] [29] [30] [32] [34] [36] [37] [38] [39] [40] [41] [42] [43]
8	Michael Fink	[29] [36]
9	Michael Gelfond	[8]
10	Georg Gottlob	[1] [19] [22] [40]
11	Giovambattista Ianni	[22]
12	Giuseppe Ielpa	[14] [22] [28] [30] [34] [42] [43]
13	Christoph Koch	[1] [9] [14] [22] [26]
14	Nicola Leone	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [30] [32] [34] [37] [38] [39] [40] [41] [42] [43]
15	Vincenzino Lio	[33]
16	Cristinel Mateis	[1] [2] [3] [4] [5]
17	Simona Perri	[14] [19] [22] [34] [37] [40]
18	Axel Polleres	[10] [11] [12] [13] [21] [22] [23] [25] [27] [32]
19	Francesco Ricca	[41]
20	Francesco Scarcello	[1] [2] [3] [4] [5] [19] [40]
21	Stefan Woltran	[29] [36]