[We apologize if you receive multiple copies of this call for participation.]
**************************
* CALL FOR PARTICIPATION *
**************************
6th International Conference on Logic
Programming and Nonmonotonic Reasoning
LPNMR'01
Vienna, Austria, September 17-19, 2001
http://www.kr.tuwien.ac.at/lpnmr01/
EARLY REGISTRATION DEADLINE: July 9th, 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 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.
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.
IMPORTANT DATES
Early Registration Deadline July 9, 2001
Conference September 17-19, 2001
REGISTRATION
Registration is open via the conference webpage at
<URL:http://www.kr.tuwien.ac.at/lpnmr01/>.
INVITED TALKS
"Computational Logic and Multi-Agency"
J�rgen Dix (University of Manchester, UK)
"On the Complexity of Satisfiability and Inference in Minimal Models"
Phokion Kolaitis (University of California at Santa Cruz, USA)
"Data Integration Needs Reasoning"
Maurizio Lenzerini (Universit� di Roma "La Sapienza", Italy)
"Nonmonotonic Inductive Logic Programming"
Chiaki Sakama (Wakayama University, Japan)
"Declarative Information Extraction, Web Crawling
and Recursive Wrapping with Lixto"
Georg Gottlob (Vienna University of Technology, Austria
ACCEPTED REGULAR PAPERS
"A Comparative Study of Well-founded Semantics for Disjunctive Logic Programs"
Kewen Wang
"Algorithms for Computing X-minimal Models"
Chen Avin, Rachel ben-Eliyahu - Zohary
"Antitonic Logic Programs"
Carlos Viegas Dam�sio, Lu�s Moniz Pereira
"Bounded LTL Model Checking with Stable Models"
Keijo Heljanko, Ilkka Niemel�
"Declarative Specification and Solution of Combinatorial Auctions
Using Logic Programming"
Chitta Baral, Cenk Uyan
"Diagnosing Physical Systems in A-Prolog"
Michael Gelfond, Joel Galloway
"E-RES: Reasoning about Actions, Events and Observations"
A. Kakas, R. Miller, F. Toni
"Encoding Solutions of the Frame Problem in Dynamic Logic"
Norman Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Bao Quoc Vo
"Explicitly Using Default Knowledge in Concept Learning:
An Extended Description Logics plus Strict and Default Rules"
Veronique Ventos, Pierre Brezellec, Henry Soldano
"Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs
with Probabilistic Semantics"
Thomas Lukasiewicz
"Improving ASP Instantiators by Join-Ordering Methods"
Nicola Leone, Simona Perri, Francesco Scarcello
"Multi-Adjoint Logic Programming with Continuous Semantics"
Jesus Medina, Manuel Ojeda Aciego, Peter Vojtas
"Multi-dimensional Dynamic Knowledge Representation"
Jo�o Alexandre Leite, Jos� Julio Alferes, Lu�s Moniz Pereira
"New Generation Systems for Non Monotonic Reasonning"
Pascal Nicolas, Frederic Saubion, Igor Stephan
"Omega-Restricted Logic Programs"
Tommi Syrj�nen
"On the Effect of Default Negation of the Expressiveness of Disjunctive Rules"
Tomi Janhunen
"On the Expressibility of Stable Logic Programming"
V.W. Marek, J.B. Remmel
"On the Relationship Between Defeasible Logic and Well-Founded Semantics"
Gerhard Brewka
"Optimizing the Computation of Heuristics for Answer Set Programming Systems"
Wolfgang Faber, Nicola Leone, Gerald Pfeifer
"Planning with Domain-dependent Knowledge of Different Kinds
-- an Answer Set Programming Approach"
Tran Cao Son, Chitta Baral, Sheila McIlraith
"Reasoning with Open Logic Programs"
P.A. Bonatti
"Representation of Incomplete Knowledge by Induction of Default Theories"
Pascal NICOLAS, B�atrice DUVAL
"Strong Equivalence for Logic Programs and Default Theories (Made Easy)"
Hudson Turner
ACCEPTED SYSTEM DEMO PAPERS
"A-System: Programming with Abduction"
Antonis Kakas, Bert Van Nuffelen
"An Update Front-End for Extended Logic Programs"
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
"aspps -- an implementation of answer-set programming with
propositional schemata"
Deborah East, Miroslaw Truszczynski
"NoMoRe: A system for Non-Monotonic Reasoning under Answer Set Semantics (Abstract)"
Christian Anger, Kathrin Konczak, Thomas Linke
"plp: A Generic Compiler for Ordered Logic Programs"
James P. Delgrande, Torsten Schaub, Hans Tompits
"Prototypes for NMR with infinite stable models and function symbols"
P.A. Bonatti
"psmodels: Stable Models based on Pertinence"
Ram�n P. Otero
"System Description: DLV"
Tina Dell'Armi, Giuseppe Ielpa, Wolfgang Faber, Nicola Leone,
Simona Perri, Gerald Pfeifer
"System Description: The DLV^K Planning System"
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
"The Smodels System"
Tommi Syrj�nen, Ilkka Niemel�
"The USA-Advisor: A Case Study in Answer Set Planning"
Marcello Balduccini, Michael Gelfond, Richard Watson, Monica Nogueira
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)
SUPPORTED BY
Microsoft, US Air Force/EOARD, OCG (Austrian Computer Society),
European Commission, Austrian Ministry of Transport, Innovation &
Technology.
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.
