Tuesday
Wednesday
Thursday
LPNMR'05 is the eighth in the series of international meetings on logic programming and nonmonotonic reasoning. Seven previous meetings were held in Washington, D.C., (1991), in Lisbon, Portugal (1993), in Lexington, Kentucky (1995), in Dagstuhl, Germany (1997), in El Paso, Texas (1999), in Vienna, Austria (2001), and in Fort Lauderdale, Florida (2004).
LPNMR'05 will be organized by the Department of Mathematics of University of Calabria (Italy), and will be co-located with the INFOMIX Workshop on Data Integration.
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 exprimental 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 application of LPNMR techniques to build significant applications.