Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

This volume contains the papers presented at the 13th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2015) held September 27–30, 2015, in Lexington, Kentucky, USA.LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation. The aim of the LPNMR conferences 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 have led or will lead to the construction of practical systems for declarative programming and knowledge representation. LPNMR 2015 was the 13th event in the series. 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), Vancouver, Canada (2011), and Corunna, Spain (2013).LPNMR 2015 received 60 submissions in three categories (technical papers, applications, and system descriptions) and two different formats (long and short papers). Each submission was reviewed by at least three Program Committee members. The final list of 40 accepted papers consists of 29 long and 11 short contributions, of which 21 were technical papers (16 long and 5 short), 13 were application papers (9 long, 4 short), and 6 were system descriptions (4 long, 2 short). The LPNMR 2015 program was anchored by the invited talks by Jérôme Lang, Nada Lavrač, and Pedro Cabalar. It also included presentations of the technical papers mentioned above, a session dedicated to the 6th Answer Set Programming Competition (a report on the results and the award ceremony), a doctoral consortium held jointly with the 4th International Conference on Algorithmic Decision Theory, ADT 2015, and four workshops.The conference proceedings include papers for the three invited talks, the 40 technical papers, the paper reporting on the Answer Set Programming competition, and four papers presented by LPNMR student attendees at the doctoral consortium. Many people and organizations contributed to the success of LPNMR 2015. Victor Marek, the conference general chair, oversaw all organization efforts and led interactions with the organizers of ADT 2015. The members of the Program Committee and the additional reviewers worked diligently to produce fair and thorough evaluations of the submitted papers. Martin Gebser, Marco Maratea, and Francesco Ricca organized and ran the programming competition, which has grown to be one of the major driving forces of our field. Esra Erdem and Nick Mattei put together an excellent doctoral consortium program, focused on the development of young logic programming, nonmonotonic reasoning and algorithmic decision theory researchers. Yuliya Lierler, the workshop chair, spearheaded the effort to expand the scope of the conference with an exciting selection of workshops, and all workshop organizers worked hard to make their workshops interesting and relevant. Most importantly, the invited speakers, and the authors of the accepted papers provided the conference with the state-of-the-art technical substance. We thank all of them! Furthermore, we gratefully acknowledge our sponsors for their generous support: the Artificial Intelligence journal, the Association of Logic Programming (ALP), the Association for the Advancement of Artificial Intelligence (AAAI), the European Coordinating Committee for Artificial Intelligence (ECCAI), the Knowledge Representation and Reasoning, Incorporated Foundation (KR, Inc.), the National Science Foundation (NSF USA), the University of Kentucky, and the University of Calabria. Last, but not least, we thank the people of EasyChair for providing resources and a marvelous conference management system.