LPNMR 2007


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).  

The proceedings of the conference will be published in the Springer Verlag Lecture Notes in Computer Science series; see http://www.springeronline.com/lncs/.

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.

Topics: 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. Development and mathematical studies of logical systems with non-monotonic entailment relations: 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 by new logical connectives and new inference capabilities such as abduction, reasoning by cases, etc; 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, model checking and other domains; Applications of LPNMR languages in Data Integration and Exchange systems; 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. 

In addition to Technical Papers we also invite submission of Posters which will be presented in a poster session. See below for submission details. It will be possible for authors of technical papers to specify interest in poster acceptance in case of rejection as full paper.

Systems and Applications Demonstrations: As part of the technical program we also plan a special session devoted to presentations and demonstrations of implemented nonmonotonic reasoning systems. Those interested in demonstrating a system/application should submit a system description (see below).

Important Dates:

Paper Submission Deadline: 11 Dec 2006, 23:59:59 GMT .
Notification (Accept/Reject): 1 February 2007.
Final Conference Papers: 26 February 2007.
Early Registration Deadline: March 15, 2007.

Submission of Papers:   

Technical 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 unpublished research. 

In addition to technical papers it is also possible to submit posters (up to 6 pages in Springer format)  and  system descriptions  (up to 6 pages in Springer format). Posters and systems will be presented in a special poster/demo session during LPNMR.

Paper submission (pdf files only) is electronic via the conference management systemThe system is now open for submission.

Back to main page