LPNMR 2015

13th International Conference on Logic Programming and Non-monotonic Reasoning 

Lexington, KY, USA September 27-30, 2015 

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, implementation and application of logic-based programming languages and database systems, and those who work in the area of knowledge representation and non-monotonic reasoning. 

LPNMR 2015
This edition of LPNMR will feature several workshops, a special session dedicated to the 6th ASP Systems Competition, and will be collocated with the 4th International Algorithmic Decision Theory Conference (ADT 2015), of significant interest to the LPNMR community as an exciting potential area of applications for Answer Set Programming. Joint LPNMR-ADT Doctoral Consortium will be a part of the program. 

Complimentary Membership Offer for Conference Registrants New to AAAI!
LPNMR 2015 is pleased to acknowledge its cooperation with the Association for the Advancement of Artificial Intelligence (AAAI) [http://www.aaai.org], which will be publicizing the conference to its membership. Of special interest to conference attendees is an introductory membership offer from AAAI, which provides a complimentary 1-year online membership to conference participants who are new to AAAI. Please send a message to membership15@aaai.org for further details.

LPNMR 2015 flier A printable-friendly LPNMR 2015 flier is available here


Artificial Intelligence Journal


European Coordinating Committee for Artificial Intelligence

Artificial Intelligence Journal
Artificial Intelligence 

Association for Logic Programming

KR inc

National Science Foundation
National Science Foundation

University of Kentucky
University of Kentucky
Department of Mathematics and Computer Science - University of Calabria