[apologies for multiple posting]
Call for Participation
*** REGISTRATION is now open ***
---
13th International Conference on
Logic Programming and Non-monotonic Reasoning
LPNMR 2015
http://lpnmr2015.mat.unical.it/
Lexington, KY, USA
September 27-30, 2015
(Collocated with the 4th Conference on Algorithmic Decision Theory 2015)
---
REGISTRATION
Registration procedure is available via http://www.cs.uky.edu/lpnmr2015/.
AIMS AND SCOPE
LPNMR 2015 is the thirteenth 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 the construction of
systems for declarative programming and knowledge representation, as well
as their use in practical applications.
LPNMR 2015
The program will include three invited talks:
- Stable Models for Temporal Theories - By Pedro Cabalar, University of
Corunna, Spain
- Algorithmic decision theory meets logic - By Jérôme Lang, Université
Paris-Dauphine, France (Plenary session with ADT 2015).
- Relational and Semantic Data Mining - By Nada Lavrač, Jožef Stefan
Institute and University of Nova Gorica, Slovenia
This edition of LPNMR will also feature several workshops, a special session
dedicated to the 6th ASP Systems Competition, and will be collocated with the
4th Algorithmic Decision Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral
Consortium will be a part of the program. Some details follow; full info are
available via the official conference website http://lpnmr2015.mat.unical.it/.
ASSOCIATED EVENTS
WORKSHOPS - LPNMR 2015 will include specialized workshops to be held on
September 27 prior to the main conference. Currently planned workshops
include:
- Grounding, Transforming, and Modularizing Theories with Variables
Organizers: Marc Denecker, Tomi Janhunen
Website: https://sites.google.com/site/gttv2015/
- Action Languages, Process Modeling, and Policy Reasoning
Organizer: Joohyung Lee, Gail-Joon Ahn
Website: https://sites.google.com/site/alpp2015/
- Natural Language Processing and Automated Reasoning
Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller
Website: https://sites.google.com/site/nlpar2015/
- Learning and Nonmonotonic Reasoning
Organizers: Alessandra Russo and Alessandra Mileo
Website: http://lnmr2015.insight-centre.org/
ASP COMPETITION - A special session dedicated to a discussion of the
6th ASP System Competition, including the methodology of the competition,
benchmarks used, lessons learned and, most importantly, the results and
the announcement of the winners.
ALGORITHMIC DECISION THEORY (ADT) 2015 (collocated - same time and place)
Algorithmic Decision Theory is a vibrant and growing area of research
concerned with algorithmic aspects of problems arising in social choice
and economics that involve optimal ways to aggregate preferences. The
area abounds in hard computational problems and may be an axciting area
of applications for ASP. The two conferences will seek ways to identify
and promote synergies between their respective areas of focus.
JOINT LPNMR-ADT DOCTORAL CONSORTIUM:
co-Chairs:
- Esra Erdem (LPNMR), Sabanci University, Turkey
- Nick Mattei (ADT), NICTA, Australia
More info:
http://lpnmr2015.mat.unical.it/associated-events/adt-lpnmr-2015-doctoral-consortium
STUDENT SUPPORT GRANTS
The organizing committee has limited funds to partially support students
attending LPNMR, with priority to authors of accepted papers that are not
funded by the doctoral consortium and have no other funding available.
The funding will cover registration and partially cover stay in the conference
hotel or some other hotel located nearby (the exact number of free nights to
be determined).
Applicants should submit their requests to
lpnmr2...@mat.unical.it. A proof of student status is requested.
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
