dblp.uni-trier.dewww.uni-trier.de

Gerald Pfeifer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
43EEWolfgang 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)
42EEWolfgang 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
41EEWolfgang 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
40EENicola 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)
39EEFrancesco Calimeri, Wolfgang Faber, Gerald Pfeifer, Nicola Leone: Pruning Operators for Disjunctive Logic Programming Systems. Fundam. Inform. 71(2-3): 183-214 (2006)
2004
38EEWolfgang Faber, Nicola Leone, Gerald Pfeifer: Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. JELIA 2004: 200-212
37EEFrancesco 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
35EEGerald Pfeifer: Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs. LPNMR 2004: 220-233
34EETina 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
32EEThomas 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
30EETina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer: Aggregate Functions in DLV. Answer Set Programming 2003
29EEThomas 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
27EEThomas 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)
26EEChristoph Koch, Nicola Leone, Gerald Pfeifer: Enhancing disjunctive logic programming systems by SAT checkers. Artif. Intell. 151(1-2): 177-212 (2003)
25EEThomas 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
23EEThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: Answer Set Planning under Action Costs. JELIA 2002: 186-197
22EENicola 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
21EEThomas 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
19EENicola 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)
18EEThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming CoRR cs.LO/0201013: (2002)
2001
17EEThomas 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
15EEWolfgang Faber, Nicola Leone, Gerald Pfeifer: Optimizing the Computation of Heuristics for Answer Set Programming Systems. LPNMR 2001: 295-308
14EETina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer: System Description: DLV. LPNMR 2001: 424-428
13EEThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: System Description: The DLVK Planning System. LPNMR 2001: 429-433
12EEThomas 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
11EEThomas 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
9EEThomas 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
7EEWolfgang 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
5EEThomas 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)