hanasaari

LPNMR
2017

NEWS: Notification have been sent out.

LPNMR 2017

Program

Workshops

Venue

Registration

Travel & Lodging

For Authors

Committees

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 at list.aalto.fi

Sponsors In cooperation with

KR KR.org

ALP ALP

LNAI LNAI

EURAI EurAI

AAAI AAAI

Aalto Aalto University

COIN COIN

EIG EIG