Research

Research Interests

• Logic Programming
• Deductive Databases
• Nonmonotonic Reasoning
• Planning
• Constraint Programming

Current Affiliation

Since October 1st, 1999, I am a faculty member at the Abteilung für Wissensbasierte Systeme, Institut für Informationssysteme, Technische Universität Wien.

Until September 30th, 1999, I have worked as a Research Assistant in the project "Design and Implementation of a Query System for Disjunctive Deductive Databases", Project P11580 of FWF, the Austrian Science Funds. This project is carried out at the Abteilung für Datenbanken und Artificial Intelligence, Institut für Informationssysteme, Technische Universität Wien.

Forthcoming Publications

All publications in this section are draft versions. View them at your own risk! Comments are of course welcome.

Publications

[EFL+00]

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.

[BFL99a]

Francesco Buccafurri, Wolfgang Faber, and Nicola Leone. Disjunctive Logic Programs with Inheritance. In Proceedings of the 16th International Conference on Logic Programming (ICLP '96), pages 79-93, November 1999. (Gzipped PostScript, 15 pages, 93818 bytes)

[BFL99b]

Francesco Buccafurri, Wolfgang Faber, and Nicola Leone. Disjunctive Logic Programs with Inheritance. Technical Report DBAI-TR-99-30, Institut für Informationssysteme, Technische Universität Wien, Austria, May 1999. Extended version of [BFL99a]. (PostScript)

[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.

[FLMP99]

Wolfgang Faber, Nicola Leone, Cristinel Mateis, and Gerald Pfeifer. Using Database Optimization Techniques for Nonmonotonic Reasoning. In Proceedings of the 7th International Workshop on Deductive Databases and Logic Programming (DDLP'99), September 1999. (Gzipped PostScript, 5 pages, 57549 bytes)

[FLP99]

Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Pushing Goal Derivation in DLP Computations. In Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'99), pages 177-191, December 1999. (Gzipped PostScript, 15 pages, 94238 bytes)

[BFK+98]

Robert Bihlmeyer, Wolfgang Faber, Christoph Koch, Nicola Leone, Cristinel Mateis, and Gerald Pfeifer. dlv -- an overview. In Proceedings of the 13th Workshop on Logic Programming (WLP '98), October 1998. (Gzipped PostScript, 3 pages, 34337 bytes)

[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. Extended version of [EFLP99]. (PostScript)

[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. (Gzipped PostScript, 116 pages, 332983 bytes)

[FLP98]

Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Representing school timetabling in a disjunctive logic programming language. In Proceedings of the 13th Workshop on Logic Programming (WLP '98), October 1998. (Gzipped PostScript, 10 pages, 84598 bytes)

[FT98]

Wolfgang Faber and Hans Tompits. Wlp'98 -- bericht über den workshop. ÖGAI Journal (Journal of the Austrian Society for AI), 17(4):26-27, 1998.

[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 F. Bry, B. Freitag, and D. 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. (Gzipped PostScript, 8 pages, 88819 bytes)

, ,