Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.dbai.tuwien.ac.at/lpnmr99/
Email: lpnmr99@dbai.tuwien.ac.at
Organizers: Michael Gelfond (University of Texas at El Paso, USA), Nicola Leone (Vienna University of Technology, Austria), Jose Julio Alferes (Universidade de Evora, Portugal), Chitta Baral (University of Texas at El Paso, USA), Nicole Bidoit (Université de Bordeaux 1, France), Jürgen Dix (University of Koblenz, Germany), Thomas Eiter (Vienna University of Technology, Austria), Vladimir Lifschitz (University of Texas at Austin, USA), Fangzhen Lin (The Hong Kong University of Science and Technology, China), Jack Minker (University of Maryland, USA), Anil Nerode (Cornell University, USA), Ilkka Niemela (Helsinki University of Technology, Finland), Dino Pedreschi (University of Pisa, Italy), Pasquale Rullo (University of Calabria, Rende, Italy), Chiaki Sakama (Wakayama University, Japan), V.S. Subrahmanian (University of Maryland, USA), Francesca Toni (Imperial College, London, U.K.), Miroslaw Truszczynski (University of Kentucky at Lexington, USA), Hudson Turner (University of Minnesota at Duluth, USA), Moshe Y. Vardi (Rice University, USA), Jia-Huai You (University of Alberta, Canada), Gerald Pfeifer (Vienna University of Technology, Austria)
Deadline for abstracts: March 28, 1999
Description:
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.
A non-exhaustive list of topics of interest include:
1.Development and mathematical investigation of logical systems with non-monotonic entailment relations. This includes (but is not limited to) 1.Extensions of ``classical'' LPNMR languages by new logical connectives and new inference capabilities such as abduction, reasoning by cases, etc; 2.Semantics of new and existing languages; 3.Relationship between various formalisms; 4.Complexity and expressive power; 5.Development and implementation of inference mechanisms for LPNMR systems; 6.Updates and other operations on LPNMR systems; 7.LPNMR systems with uncertainty. 2.Applications of LPNMR systems. 1.Methodology of representing knowledge in LPNMR languages. Theory and practice; 2.LPNMR languages and algorithms in planning, diagnoses, software engineering, and other domains; 3.Implemented LPNMR systems: Descriptions, Comparisons, Evaluations and Benchmarks.
Date received: January 09, 1999
© 2008 Atlas Conferences Inc.