LPNMR 2007 

Tempe, AZ. May 14-17 2007

Ninth International Conference on Logic Programming and Nonmonotonic Reasoning 

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 FortLauderdale, 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.  

ASP Solver Competition:  a competition will take place in conjunction with LPNMR Note that the competition itself is prior to LPNMR. The results will be presented during the conference. For details click the appropriate link to the left.

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 31, 2007.