12th International Conference on
Logic Programming and Nonmonotonic Reasoning
LPNMR 2013
http://lpnmr2013.udc.es
Corunna, Spain
September 15-19, 2013
AIMS AND SCOPE
LPNMR 2013 is the twelfth in the series of international meetings on logic programming and nonmonotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between those researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those who work in the area of 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.
Authors are invited to submit papers presenting original and unpublished research on all aspects of nonmonotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers.
TOPICS
Conference topics include, but are not limited to:
- Foundations of LPNMR Systems:
- Semantics of new and existing languages;
- Action languages, Causality;
- Relationships among formalisms;
- Complexity and expressive power;
- Inference algorithms and heuristics for LPNMR systems;
- Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities;
- Updates, revision, and other operations on LPNMR systems;
- Uncertainty in LPNMR systems.
- Implementation of LPNMR systems:
- System descriptions, comparisons, evaluations;
- LPNMR benchmarks.
- Applications of LPNMR:
- Use of LPNMR in formalization of Commonsense Reasoning and other
areas of KR; - LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies;
- Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking;
- Applications of LPNMR to linguistics, psychology, and other sciences;
- Integration of LPNMR systems with other computational paradigms;
- Embedded LPNMR: Systems using LPNMR subsystems.
- Use of LPNMR in formalization of Commonsense Reasoning and other
SUBMISSION
LPNMR 2013 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories:
- Technical papers
- System descriptions
- Application descriptions
All submissions will be peer-reviewed, and all accepted papers will appear in the conference proceedings. As in previous editions, the proceedings of the conference will be published in the Springer Verlag Lecture Notes in Artificial Intelligence series.
WORKSHOPS
LPNMR-13 will also include five specialized workshops:
- WoMO’13 7th Workshop on Modular Ontologies
- ARCOE-LogIC’13 5th Intl. Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge
- GTTV’13 2nd Workshop on Grounding and Transformations for Theories with Variables
- LNMR’13 1st Workshop on Learning and Non-monotonic Reasoning
- NLPAR’13 1st Workshop on Natural Language Processing and Automated Reasoning
IMPORTANT DATES
- Paper registration: April 17th, 2013
- Paper submission: April 24th, 2013
- Notification: June 5th, 2013
- Final versions due: June 19th, 2013
VENUE
Corunna is a busy port located at the entrance of an estuary on the Atlantic coast of the north-western corner of Spain. The city features a complete offer of leisure activities ranging from beach sports along the seafront that surrounds it (surfing, sailing, biking, etc) to a complete program of cultural events, an active shopping area, restaurants, tapas bars and a crowded night life. The conference will be held at the hotel Melia Maria Pita.
PROGRAM CHAIRS
Pedro Cabalar, University of Corunna, Spain
Tran Cao Son, New Mexico State University, NM, USA
WORKSHOPS CHAIR
Marcello Balduccini, Kodak Research Labs, USA