Corunna, September 15-19, 2013
LPNMR-2013 is the twelfth event in the series of international conferences on Logic Programming and Nonmonotonic Reasoning. Past editions were held in Washington, D.C., USA (1991), Lisbon, Portugal (1993), Lexington, Kentucky, USA (1995), Dagstuhl, Germany (1997), El Paso, Texas, USA (1999), Vienna, Austria (2001), Fort Lauderdale, Florida, USA (2004), Diamante, Italy (2005), Tempe, Arizona, USA (2007), Potsdam, Germany (2009) and Vancouver, Canada (2011).
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 theoretical and experimental studies that led or will lead to the construction of practical systems for declarative programming and knowledge representation.
LPNMR'13 will also host the presentation of results from the fourth edition of the ASP competition, as it is customary since the creation of the latter in 2007.