Important Dates
Call for Papers
Program Committee
Invited Talks
Paper Submission
Accepted Papers
Author Instructions
Travel Information

Final Call for Papers

New: Call for System Descriptions

Final Call for Papers

6th International Conference on Logic Programming and Nonmonotonic Reasoning


Vienna, Austria, September 17-19, 2001


LPNMR'01 is the sixth in the series of international meetings on logic programming and nonmonotonic reasoning. Five previous meetings were held in Washington, U.S.A. (1991), in Lisbon, Portugal (1993), in Lexington, U.S.A. (1995), in Dagstuhl, Germany (1997), and in El Paso, U.S.A. (1999). LPNMR'01 will be coordinated with the Joint German/Austrian Conference on AI (KI 2001), which will be held from 19.-21.9.2001 in Vienna. As in the past, the proceedings of LPNMR'01 will be published by Springer in the LNCS/LNAI series, see http://www.springer.de/comp/lncs/. Furthermore, a special issue of a journal which contains extended versions of selected papers presented at the conference is planned; selected papers of the previous LPNMR conference will appear in a special issue of Artificial Intelligence.

LPNMR: Aim and Scope

The aim of the conference is to facilitate interactions between researchers interested in the design and implementation of logic based programming languages and database systems, and researchers who work in the areas of knowledge representation and non-monotonic reasoning. LPNMR strives to encompass these theoretical and exprimental studies that lead to the construction of practical systems for declarative programming and knowledge representation.

A non-exhaustive list of topics of interest includes:

  1. Development and mathematical studies of logical systems with non-monotonic entailment relations:
    • Extensions of ``classical'' LPNMR languages by new logical connectives and new inference capabilities such as abduction, reasoning by cases, etc;
    • Semantics of new and existing languages;
    • Relationships between formalisms;
    • Complexity and expressive power;
    • Development of inference algorithms and search heuristics for LPNMR systems;
    • Updates and other operations on LPNMR systems;
    • Uncertainty in LPNMR systems.
  2. Implementation of LPNMR systems:
    • System descriptions, comparisons, evaluations;
    • LPNMR benchmarks.
  3. Applications of LPNMR systems:
    • LPNMR languages and algorithms in planning, diagnosis, software engineering, decision making, and other domains;
    • Methodology of representing knowledge in LPNMR languages: theory and practice;
    • Integration of LPNMR systems with other computational paradigms;
    • Embedded LPNMR systems: Systems using LPNMR subsystems.

Invited Speakers

Jürgen Dix (Universität Koblenz-Landau, Germany)
Phokion Kolaitis (University of California at Santa Cruz, USA)
Maurizio Lenzerini (Università di Roma "La Sapienza", Italy)
Chiaki Sakama (Wakayama University, Japan)

Important Dates

Abstract Submission Deadline: April 3, 2001 23:59:59 GMT
Paper Submission Deadline: April 6, 2001 23:59:59 GMT
Notification (Accept/Reject): May 28, 2001
Conference Schedule: June 16, 2001
Final Conference Papers: June 21,2001

Early Registration Deadline: July 2,2001

Conference: September 17-19, 2001

Submission of Papers

Papers must not exceed thirteen (13) pages including title page, references and figures, and must be formatted according to the Springer LNCS/LNAI authors' instructions (see http://www.springer.de/comp/lncs/authors.html). Papers must be written in English and present original research.

Paper submission is electronic via the conference home page http://www.kr.tuwien.ac.at/lpnmr01/. Papers must be registered (title, abstract, keywords, authors, contact information) by April 3, 2001, 23:59:59 GMT; the full paper must be uploaded by April 6, 2001, 23:59:59 GMT.


Vienna, the Austrian capital, is one of the most popular destinations in European city tourism--and with good reasons. Vienna's historical architecture, concentrated on the inner city and along the Ringstrasse, has been largely preserved and skillfully restored. Even the remains of a former Roman military camp dating back to the first century A.D. have been rediscovered. Some churches, monasteries and historic houses go back to the time of the Babenberg dynasty, which was in power at the beginning of the last millenium.

As the capital of the Habsburg empire, Vienna saw its heyday under the resigns of Maria Theresia and Franz Joseph I., Baroque palaces, the Hofburg, Schoenbrunn and Belvedere palace, the magnificent houses of the bourgeoisie and aristocracy give ample evidence of the splendour of these epochs. From the turn of the century onwards life in this metropolis was determined by an immensely rich and diverse culture. As a centre of musical life, Vienna had already won worldwide recognition. No need to mention that composers like Haydn, Mozart, Beethoven, Schubert, the Strauss dynasty, Bruckner, Brahms, Mahler, Schoenberg, Berg and many many more were living in Vienna. Since the opening-up of Eastern Europe ten years ago, Vienna has more than ever before become an important European centre.

Vienna is an attractive place at any season, and particularly nice in early fall, since the weather is still warm enough for enjoying outdoor parties at the traditional Viennese "Heurigen" restaurants in the evening, while the cultural season has already started and offers lots of concerts, exhibitions, and other events. Many visitors are charmed by Vienna, including Billy Joel:

It's alright you can afford to lose a day or two
When will you realize...
Vienna waits for you.

Program Co-Chairs

Thomas Eiter (Vienna University of Technology, Austria)
Miroslaw Truszczynski (University of Kentucky at Lexington, USA)

Program Committee

Alexander Bochman (Holon Academic Institute of Technology, Israel)
Piero Bonatti (Università degli Studi Milano/Crema, Italy)
Gerhard Brewka (University of Leipzig, Germany)
James Delgrande (Simon Fraser University, Canada)
Marc Denecker (Katholieke Universiteit Leuven, Belgium)
Norman Foo (University of New South Wales, Australia)
Michael Gelfond (Texas Tech University, USA)
Katsumi Inoue (Kobe University, Japan)
Antonis Kakas (University of Cyprus)
Nicola Leone (Università degli Studi della Calabria, Italy)
Vladimir Lifschitz (University of Texas at Austin, USA)
Fangzhen Lin (The Hong Kong University of Science and Technology, China)
Victor Marek (University of Kentucky at Lexington, USA)
Zhang Ming-Yi (Guizhou Academy of Sciences, China)
Ilkka Niemelä (Helsinki University of Technology, Finland)
Luís Moniz Pereira (Universidade Nova de Lisboa, Portugal)
Marco Schaerf (Università di Roma "La Sapienza", Italy)
Torsten Schaub (University of Potsdam, Germany)
Francesca Toni (Imperial College, London, U.K.)
Li-Yan Yuan (University of Alberta, Canada)

Publicity Chair

Wolfgang Faber (Vienna University of Technology, Austria)

Please visit the conference web page at http://www.kr.tuwien.ac.at/lpnmr01/ for further details and up-to-date information.