hanasaari

LPNMR
2017

LPNMR 2017

Program

Workshops

Proceedings

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 is available in the Lecture Notes in Artificial Intelligence (LNCS/LNAI) series. Two best papers of general AI interest were invited for a rapid publication in the Artificial Intelligence Journal (AIJ). Two best papers with narrower logic programming focus were invited for a rapid publication in Theory and Practice of Logic Programming (TPLP). An additional prize of 1000 EUR, sponsored by Springer, is shared out among the best papers of the conference:

Best System Description: Jörg Pührer: ArgueApply: A Mobile App for Argumentation.
Best Application Paper: Peter Schüller: Adjudication of Coreference Annotations via Answer Set Optimization.
Best Student Paper: Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, and Philipp Wanko: Hybrid Metabolic Network Completion.
Best Technical Paper: Pedro Cabalar, Jorge Fandinno, Torsten Schaub, and Sebastian Schellhorn: Gelfond-Zhang Aggregates as Propositional Formulas.

Email: lpnmr2017 at list.aalto.fi

Sponsors

SKR Finnish Cultural Foundation

KR KR.org

ALP ALP

LNAI LNAI

EURAI EurAI

Sponsors

In cooperation with

Aalto Aalto University

COIN COIN

EIG EIG

AAAI AAAI

Venue

Espoo, the second largest and the fastest growing city in Finland, is located right next to the capital Helsinki in the coastal Finland. Espoo is Northern Europe’s largest high-tech and innovation hub where science, business and culture meet the wilderness of Nuuksio National Park and stunning seaside environment. Espoo’s location offers excellent traffic connections: only half an hour from the international airport and harbors. The main campus of Aalto University is situated in Espoo. The LPNMR 2017 conference will take place in the Hanasaari Conference Center that is located on an island of its own and is only 15 minutes away from Helsinki center by public transport.

archipelago keilaniemi canoing