14th International Conference on Logic Programming and Nonmonotonic Reasoning Hanasaari Conference Center, Espoo, Finland, July 3—6, 2017
LPNMR 2017 is the fourteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. This edition of LPNMR will feature several workshops and a special session dedicated to the 7th ASP Competition. A Doctoral Consortium will also be a part of the program.
The previous editions of the LPNMR conference series took place in Lexington -15, Corunna -13, Vancouver -11, Potsdam -09, Tempe -07, Diamante -05, Fort Lauderdale -04, Vienna -01, El Paso -99, Dagstuhl -97, Lexington -95, Lisbon -93, and Washington -91.
The proceedings of LPNMR 2017 will be published by Springer in the Lecture Notes in Artificial Intelligence (LNCS/LNAI) series. Two best papers of general AI interest will be invited for a rapid publication in the Artificial Intelligence Journal (AIJ). Two best papers with narrower logic programming focus will be invited for a rapid publication in Theory and Practice of Logic Programming (TPLP). An additional prize of 1000 EUR, sponsored by Springer, will be shared out among the best papers of the conference.
Email: lpnmr2017 list.aalto.fi
In cooperation with