Dr. Gerald Pfeifer's Publications

Journals

[FLP11]

Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Semantics and complexity of recursive aggregates in answer set programming. Artificial Intelligence, 175(1):278-298, 2011. Special Issue: John McCarthy's Legacy.

[FPL+08]

Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, and Giuseppe Ielpa. Design and implementation of aggregate functions in the dlv system. Theory and Practice of Logic Programming, 8(5-6):545-580, 2008.

[FLPR07]

Wolfgang Faber, Nicola Leone, Gerald Pfeifer, and Francesco Ricca. On look-ahead heuristics in disjunctive logic programming. Annals of Mathematics and Artificial Intelligence, 51(2-4):229-266, 2007.

[CFLP06]

Francesco Calimeri, Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Pruning Operators for Disjunctive Logic Programming Systems. Fundamenta Informaticae, 71(2-3):183-214, 2006.

[LPF+06]

Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, and Francesco Scarcello. The DLV System for Knowledge Representation and Reasoning. ACM Transactions on Computational Logic, 7(3):499-562, July 2006. (PostScript)

[EFL+04]

Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, and Axel Polleres. A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity. ACM Transactions on Computational Logic, 5(2):206-263, April 2004.

[EFL+03a]

Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, and Axel Polleres. A Logic Programming Approach to Knowledge-State Planning, II: the small DLV ^{cal K} System. Artificial Intelligence, 144(1-2):157-211, March 2003.

[EFL+03b]

Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, and Axel Polleres. Answer Set Planning under Action Costs. Journal of Artificial Intelligence Research, 19:25-71, 2003.

[EFLP03]

Thomas Eiter, Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming. Theory and Practice of Logic Programming, 3:463-498, July/September 2003.

[KLP03]

Christoph Koch, Nicola Leone, and Gerald Pfeifer. Enhancing Disjunctive Logic Programming Systems by SAT Checkers. Artificial Intelligence, 15(1-2):177-212, December 2003.

[EFLP99]

Thomas Eiter, Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. The Diagnosis Frontend of the dlv System. AI Communications -- The European Journal on Artificial Intelligence, 12(1-2):99-111, 1999. (PostScript)

[ELM+97]

Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, and Francesco Scarcello. Projektbericht: Ein Nichtmonotones Disjunktives Datenbanksystem. ÖGAI Journal (J. of the Austrian Society for AI), 16(2):6-11, October 1997. In German. English Title: Project Report: A Nonmonotonic Disjunctive Deductive Database System.

Books, Book Chapters, Theses

[EFPP05]

Thomas Eiter, Wolfgang Faber, Gerald Pfeifer, and Axel Polleres. Declarative planning and knowledge representation in an action language. In Ioannis Vlahavas and Dimitris Vrakas, editors, Intelligent Techniques for Planning, chapter 1, pages 1-34. Idea Group, Inc., 2005.

[BPP04]

Monika Bargmann, Gerald Pfeifer, and Boris Piwinger. A Citizen's Perspective on Public Sector Information. In Georg Aichholzer and Herbert Burkert, editors, Public sector information in the digital age. Between markets, public management and citizens' rights. Edward Elgar Publishing, December 2004.

[EFLP00]

Thomas Eiter, Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Declarative Problem-Solving Using the DLV System. In Jack Minker, editor, Logic-Based Artificial Intelligence, pages 79-103. Kluwer Academic Publishers, 2000.

[Pfe00]

Gerald Pfeifer. DLV: Evaluation Algorithms and Efficient Implementation. PhD thesis, Institut für Informationssysteme, Technische Universität Wien, Wien, Österreich, 2000.

[GLP99]

Michael Gelfond, Nicola Leone, and Gerald Pfeifer, editors. Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'99), volume 1730 of Lecture Notes in Computer Science. Springer-Verlag, 1999.

[Pfe96]

Gerald Pfeifer. Disjunctive Datalog --- An Implementation by Resolution. Master's thesis, Institut für Informationssysteme, Technische Universität Wien, Wien, Österreich, 1996. Supported by Thomas Eiter.

Refereed Conferences and Workshops

2004+

[CCC+04]

Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, and Gerald Pfeifer. New dlv features for data integration. In JELIA, pages 698-701, 2004.

[DFI+04]

Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, and Gerald Pfeifer. System Description: DLV with Aggregates. In Vladimir Lifschitz and Ilkka Niemelä, editors, Proceedings of the 7th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR-7), volume 2923 of LNAI, pages 326-330. Springer, January 2004.

[EFF+04]

Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, and Stefan Woltran. Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. In Didier Dubois, Christopher Welty, and Mary-Anne Williams, editors, Proceedings Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), pages 377-387, Whistler, BC, Canada, June 2004. AAAI Press.

[FLP04]

Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Recursive aggregates in disjunctive logic programs: Semantics and complexity. In José Júlio Alferes and João Leite, editors, Proceedings of the 9th European Conference on Artificial Intelligence (JELIA 2004), volume 3229 of Lecture Notes in AI (LNAI), pages 200-212. Springer Verlag, September 2004.

[Pfe04]

Gerald Pfeifer. Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs. In Vladimir Lifschitz and Ilkka Niemelä, editors, Proceedings of the 7th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR-7), volume 2923 of LNAI, pages 220-233. Springer, January 2004.

2003

[DFI+03a]

Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, and Gerald Pfeifer. Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI) 2003, pages 847-852, Acapulco, Mexico, August 2003. Morgan Kaufmann Publishers.

[DFI+03b]

Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, and Gerald Pfeifer. Aggregate Functions in DLV. In Marina de Vos and Alessandro Provetti, editors, Proceedings ASP03 - Answer Set Programming: Advances in Theory and Implementation, pages 274-288, Messina, Italy, September 2003. Online at url http://CEUR-WS.org/Vol-78/.

[EFF+03]

Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, and Stefan Woltran. Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. In Marina de Vos and Alessandro Provetti, editors, Proceedings ASP03 - Answer Set Programming: Advances in Theory and Implementation, pages 69-83, Messina, Italy, September 2003. Online at url http://CEUR-WS.org/Vol-78/.

[Pfe03]

Gerald Pfeifer. Solving Hard Disjunctive Logic Programs Faster (Sometimes). In Proceedings of APPIA-GULP-PRODE 2003, Joint Conference on Declarative Programming, pages 226-237, Reggio Calabria, Italy, September 2003.

2002

[CFLP02]

Francesco Calimeri, Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Pruning Operators for Answer Set Programming Systems. In Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR'2002), pages 200-209, April 2002. (PostScript)

[EFL+02a]

Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, and Axel Polleres. Answer Set Planning under Action Costs. In Sergio Flesca, Sergio Greco, Giovambattista Ianni, and Nicola Leone, editors, Proceedings of the 8th European Conference on Artificial Intelligence (JELIA), volume 2424 of Lecture Notes in Computer Science, pages 186-197, Cosenza, Italy, September 2002.

[EFL+02b]

Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, and Axel Polleres. The DLV ^{cal K} Planning System: Progress Report. In Sergio Flesca, Sergio Greco, Giovambattista Ianni, and Nicola Leone, editors, Proceedings of the 8th European Conference on Artificial Intelligence (JELIA), volume 2424 of Lecture Notes in Computer Science, pages 541-544, Cosenza, Italy, September 2002. (System Description).

[LPF+02]

Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, and Axel Polleres. The DLV System. In Sergio Flesca, Sergio Greco, Giovambattista Ianni, and Nicola Leone, editors, Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA), volume 2424 of Lecture Notes in Computer Science, pages 537-540, Cosenza, Italy, September 2002. (System Description).

2001

[CFL+01]

Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri, and Gerald Pfeifer. DLV - Declarative Problem Solving using Answer Set Programming. In Proceedings of the Seventh Congress of the Italian Association for Artificial Intelligence AI*IA 2001, Bari, Italy, 2001.

[DFI+01]

Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, and Gerald Pfeifer. System Description: DLV. In Thomas Eiter, Wolfgang Faber, and Miroslaw Truszczynski, editors, Logic Programming and Nonmonotonic Reasoning --- 6th International Conference, LPNMR'01, Vienna, Austria, September 2001, Proceedings, volume 2173 of Lecture Notes in AI (LNAI), pages 409-412. Springer Verlag, September 2001.

[EFL+01a]

Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, and Axel Polleres. System Description: The DLV ^{cal K} Planning System. In Thomas Eiter, Wolfgang Faber, and Miroslaw Truszczynski, editors, Logic Programming and Nonmonotonic Reasoning --- 6th International Conference, LPNMR'01, Vienna, Austria, September 2001, Proceedings, volume 2173 of Lecture Notes in AI (LNAI), pages 413-416. Springer Verlag, September 2001. (PostScript)

[EFL+01b]

Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, and Axel Polleres. The DLV ^{cal K} Planning System. In Alessandro Cimatti, Héctor Geffner, Enrico Giunchiglia, and Jussi Rintanen, editors, IJCAI-01 Workshop on Planning under Uncertainty and Incomplete Information, pages 76-81, August 2001.

[EFLP01]

Thomas Eiter, Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Computing Preferred and Weakly Preferred Answer Sets by Meta-Interpretation in Answer Set Programming. In Alessandro Provetti and Son Tran Cao, editors, Proceedings AAAI 2001 Spring Symposium on Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, pages 45-52, Stanford, California, USA, March 2001. AAAI Press. (PostScript)

[FLP01a]

Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. A Comparison of Heuristics for Answer Set Programming. In Proceedings of the 5th Dutch-German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR 2001), pages 64-75, April 2001.

[FLP01b]

Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Experimenting with Heuristics for Answer Set Programming. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI) 2001, pages 635-640, Seattle, WA, USA, August 2001. Morgan Kaufmann Publishers. (PostScript)

[FLP01c]

Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Optimizing the Computation of Heuristics for Answer Set Programming Systems. In Thomas Eiter, Wolfgang Faber, and Miroslaw Truszczynski, editors, Logic Programming and Nonmonotonic Reasoning --- 6th International Conference, LPNMR'01, Vienna, Austria, September 2001, Proceedings, volume 2173 of Lecture Notes in AI (LNAI), pages 288-301. Springer Verlag, September 2001.

2000

[EFK+00]

Thomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, and Gerald Pfeifer. DLV -- A System for Declarative Problem Solving. In Chitta Baral and Miroslaw Truszczynski, editors, Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR'2000), Breckenridge, Colorado, USA, April 2000.

[EFL+00a]

Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, and Axel Polleres. Planning under Incomplete Knowledge. In John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, and Peter J. Stuckey, editors, Computational Logic - CL 2000, First International Conference, Proceedings, volume 1861 of Lecture Notes in AI (LNAI), pages 807-821, London, UK, July 2000. Springer Verlag.

[EFL+00b]

Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, and Axel Polleres. Using the dlv System for Planning and Diagnostic Reasoning. In François Bry, Ulrich Geske, and Dietmar Seipel, editors, Proceedings of the 14th Workshop on Logic Programming (WLP'99), pages 125-134. GMD -- Forschungszentrum Informationstechnik GmbH, Berlin, January 2000. ISSN 1435-2702.

1999

[EFG+99]

Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, and Francesco Scarcello. The DLV System. In Jack Minker, editor, Workshop on Logic-Based Artificial Intelligence, Washington, DC, College Park, Maryland, June 1999. Computer Science Department, University of Maryland. Workshop Notes.

[FLMP99]

Wolfgang Faber, Nicola Leone, Cristinel Mateis, and Gerald Pfeifer. Using Database Optimization Techniques for Nonmonotonic Reasoning. In INAP Organizing Committee, editor, Proceedings of the 7th International Workshop on Deductive Databases and Logic Programming (DDLP'99), pages 135-139. Prolog Association of Japan, September 1999. (PostScript)

[FLP99a]

Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. dlv: a DLP System for AI. In Evelina Lamma and Paola Mello, editors, Sixth Congress of the Italian Association for Artificial Intelligence (AIIA '99), pages 511-514, Bologna, Italy, September 1999. Pitagora Editrice Bologna.

[FLP99b]

Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Pushing Goal Derivation in DLP Computations. In Michael Gelfond, Nicola Leone, and Gerald Pfeifer, editors, Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'99), volume 1730 of Lecture Notes in AI (LNAI), pages 177-191, El Paso, Texas, USA, December 1999. Springer Verlag.

1998

[BFK+98]

Robert Bihlmeyer, Wolfgang Faber, Christoph Koch, Nicola Leone, Cristinel Mateis, and Gerald Pfeifer. dlv -- An Overview. In Uwe Egly and Hans Tompits, editors, Proceedings of the 13th Workshop on Logic Programming (WLP'98), pages 65-67, Vienna, Austria, October 1998.

[ELM+98a]

Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, and Francesco Scarcello. Progress Report on the Disjunctive Deductive Database System dlv. In Troels Andreasen, Henning Christiansen, and Henrik Legind Larsen, editors, Proceedings International Conference on Flexible Query Answering Systems (FQAS'98), volume 1495 of Lecture Notes in AI (LNAI), pages 148-163, Roskilde University, Denmark, May 1998. Springer. (PostScript)

[ELM+98b]

Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, and Francesco Scarcello. The KR System dlv: Progress Report, Comparisons and Benchmarks. In Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, editors, Proceedings Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), pages 406-417. Morgan Kaufmann Publishers, 1998. (PostScript)

[FLP98]

Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Representing School Timetabling in a Disjunctive Logic Programming Language. In Uwe Egly and Hans Tompits, editors, Proceedings of the 13th Workshop on Logic Programming (WLP'98), pages 43-52, Vienna, Austria, October 1998.

1997

[CEF+97]

Simona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, and Francesco Scarcello. The dlv System: Model Generator and Application Frontends. In François Bry, Burkhard Freitag, and Dietmar Seipel, editors, Proceedings of the 12th Workshop on Logic Programming (WLP'97), Research Report PMS-FB10, pages 128-137, München, Germany, September 1997. LMU München.

[ELM+97a]

Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, and Francesco Scarcello. A Deductive System for Nonmonotonic Reasoning. In Jürgen Dix and Ulrich Furbach and Anil Nerode, editor, Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97), volume 1265 of Lecture Notes in AI (LNAI), pages 363-374, Dagstuhl, Germany, July 1997. Springer.

[ELM+97b]

Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, and Francesco Scarcello. The Architecture of a Disjunctive Deductive Database System. In Moreno Falaschi, Marisa Navarro, and Alberto Policriti, editors, Proceedings Joint Conference on Declarative Programming (APPIA-GULP-PRODE '97), pages 141-151, June 1997.

Theses Supervised

[Kri03]

Andreas Krisch. Ubiquitous Computing und Privatsphäre. Master's thesis, Institut für Informationssysteme, Technische Universität Wien, 2003.

[Böc02]

Martin Böck. UsenetTest: Ein System zur vergleichenden Bewertung von Usenet News-Servern. Master's thesis, Institut für Informationssysteme, Technische Universität Wien, 2002.

[Cor02]

Alexander Corradini. Eine webbasierte übungsumgebung: Ein webbasiertes e-learning Tool im Bereich von Datenbanksystemen mit den Schwerpunkten ``minimale Überdeckung'', ``Schlüsselsuche'' und ``3. Normalform''. Master's thesis, Institut für Informationssysteme, Technische Universität Wien, 2002.

[Lie02]

Michael Liehmann. Erweiterung einer Webserver-Scriptingsprache um XQL: MetaHTML, XML und XQL. Master's thesis, Institut für Informationssysteme, Technische Universität Wien, 2002.

[Bih01]

Robert Bihlmeyer. GLOF: a Collaborative Distributed Database -- Design and Implementation. Master's thesis, Institut für Informationssysteme, Technische Universität Wien, 2001.

[Mul00]

Jürgen Multerer. Datenbankbasierte Finanzmarktprognosen in verteilten Systemen: automatisierte Prognoseberechnung mit FinCast. Master's thesis, Institut für Informationssysteme, Technische Universität Wien, 2000.

[Böh98]

Robert Böhm. Datenmodell und Datenbank für eine Servicemanagement Datenbank für den Betrieb eines SDH Transportnetzes. Master's thesis, Institut für Informationssysteme, Technische Universität Wien, 1998.

[Fab98]

Wolfgang Faber. Disjunctive Datalog with Strong and Weak Constraints: Representational and Computational Issues. Master's thesis, Institut für Informationssysteme, Technische Universität Wien, 1998. (PDF)

Technical Reports

[DFI+03]

Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, and Gerald Pfeifer. Semantics and Computation of Aggregate Functions in Disjunctive Logic Programming. Technical Report INFSYS RR-1843-03-07, Institut für Informationssysteme, Technische Universität Wien, April 2003. (PostScript)

[LPF+02]

Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, and Francesco Scarcello. The DLV System for Knowledge Representation and Reasoning. Technical Report cs.AI/0211004, arXiv.org, November 2002. Appearing as [leon-etal-2002-dlv]. (PostScript)

[FLPP01]

Wolfgang Faber, Nicola Leone, Simona Perri, and Gerald Pfeifer. Efficient Instantiation of Disjunctive Databases. Technical Report DBAI-TR-2001-44, Institut für Informationssysteme, Technische Universität Wien, Austria, November 2001. Online at url https://www.dbai.tuwien.ac.at/local/reports/dbai-tr-2001-44.pdf.

[FLP99]

Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Computing Consistent Preferred Answer Sets. Technical Report DBAI-TR-99-28a, Institut für Informationssysteme, Technische Universität Wien, Austria, April 1999.

[EFLP98]

Thomas Eiter, Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. The Diagnosis Frontend of the dlv System. Technical Report DBAI-TR-98-20, Institut für Informationssysteme, Technische Universität Wien, Austria, November 1998. Published in AICOM. (PostScript)