LPNMR-07

[Gerhard Brewka]

9th International Conference on Logic Programming and Nonmonotonic Reasoning
Tempe, Arizona, USA, 14-16 May, 2007
http://lpnmr2007.googlepages.com/

About the conference:

LPNMR'07 is the ninth in the series of international meetings on logic 
programming and nonmonotonic reasoning. Eight previous meetings were held in 
Washington, D.C., USA (1991), in Lisbon, Portugal (1993), in Lexington, 
Kentucky, USA (1995), in Dagstuhl, Germany (1997), in El Paso, Texas, USA 
(1999), in Vienna, Austria (2001), in Fort Lauderdale, Florida, USA (2004), 
and in Diamante, Italy (2005).

Aims and Scope:

LPNMR is a forum for exchanging ideas on declarative logic programming, 
nonmonotonic reasoning and knowledge representation. 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 nonmonotonic reasoning. LPNMR strives to encompass these 
theoretical and experimental studies that lead to the construction of 
practical systems for declarative programming and knowledge representation.

Authors are invited to submit papers presenting original and unpublished 
research on nonmonotonic aspects of logic programming and knowledge 
representation. We particularly encourage papers on LPNMR techniques which 
led to the development of significant applications. A non-exhaustive list of 
topics of interest includes:

1. Mathematical foundations of non-monotonic logical systems: semantics of 
new and existing languages; relationships among formalisms; complexity and 
expressive power; development of inference algorithms and search heuristics 
for LPNMR systems; extensions of ''classical'' LPNMR languages; 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, including LPNMR languages and algorithms 
in planning, diagnosis, software engineering, decision making, and other 
domains; applications of LPNMR languages in data integration and exchange 
systems; methodology of representing knowledge in LPNMR languages

Important Dates :

Paper registration 8 December 2006
Paper submission11 December 2006
Notification 1 February 2007
Final conference papers 26 February 2007

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. Papers must be written in English and present 
original research. Paper submission will be electronic. Details will be 
announced on the conference home page http://lpnmr2007.googlepages.com/. The 
proceedings of the conference will be published in the Springer Lecture 
Notes in Computer Science series.

Program Chairs:

Gerhard Brewka, University of Leipzig, Germany; 
brewka at informatik.uni-leipzig.de
John Schlipf, University of Cincinnati, USA, John.Schlipf at uc.edu

Local Arrangements Chair:

Chitta Baral, Arizona State University, USA, chitta at asu.edu