Corunna, September 15-19, 2013

Heracle's Lighthouse by Molinelly Corunna skyline by Molinelly Melia Hotel, Conference Venue San Anton Castle Molinelly Sights from Melia Hotel, Conference Venue Orzan beach by Molinelly Orzan beach by Molinelly Obelisco by Molinelly Melia Hotel, Conference Venue

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

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

>>> Check here the CONFERENCE PROGRAMME. <<<

Co-located Events

LPNMR'13 will be co-located with CLIMA XIV and WoMO'13.

Promotional Flyer


Registration is open