[We apologize if you receive multiple copies of this call for papers.]
**************************
* SECOND 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/.
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
Submission Deadline April 3, 2001
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 <URL:http://www.springer.de/comp/lncs/authors.html>).
Papers must be written in English and present original research.
For more details, see the submission information at the conference
home page <URL:http://www.kr.tuwien.ac.at/lpnmr01/>.
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 (Vienna University of Technology, Austria)
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
<URL:http://www.kr.tuwien.ac.at/lpnmr01/> for further details and
up-to-date information.
