************************* * FINAL CALL FOR PAPERS * ************************* 6th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR'01 Vienna, Austria, September 17-19, 2001 http://www.kr.tuwien.ac.at/lpnmr01/ 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 September 19-21 in Vienna. As for the previous conferences, 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 ). 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. LOCATION 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) WEB PAGE Please visit the conference web page at for further details and up-to-date information. SUPPORTED BY Microsoft