LPNMR 2013 - 12th International Conference 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 nonmonotonic aspects of logic programming and knowledge representation. We particularly encourage submission of papers on LPNMR techniques which have led to the development of significant applications. In addition, we also invite submissions of short papers, which may also present system and application descriptions and will be presented in a dedicated poster session.

The proceedings of the conference will be published in the Springer Verlag Lecture Notes in Computer Science series; see http://www.springer.com/lncs/. All accepted papers will be published in the proceedings.

Topics (non-exhaustive list)

Foundations of LPNMR Systems:

Semantics of new and existing languages;
Relationships among formalisms;
Complexity and expressive power;
Development of inference algorithms and search heuristics for LPNMR systems;
Extensions of "classical" LPNMR languages by new logical connectives and new inference capabilities such as abduction, reasoning by cases, etc;
Updates and other operations on LPNMR systems;
Uncertainty in LPNMR systems.
Implementation of LPNMR systems:

System descriptions, comparisons, evaluations
LPNMR benchmarks.
Applications of LPNMR systems:

Using LPNMR to model problems in KR and Commonsense Reasoning;
LPNMR languages and algorithms in planning, diagnosis, software engineering, decision making, and model checking;
Applications of LPNMR languages in Data Integration and Exchange systems;
Integration of LPNMR systems with other computational paradigms;
Embedded LPNMR: Systems using LPNMR subsystems.
Submission

LPNMR-11 welcomes submissions in the following formats.

Technical papers (13 pages)
Short papers (6 pages)
System descriptions (6 pages)
Application descriptions (6 pages)
The indicated number of pages includes title page, references and figures. Submissions must be formatted according to the Springer LNCS author instructions, be written in English, and present original research. All submissions will be peer-reviewed, and all accepted papers will appear in the conference proceedings. Paper submission will be electronic through http://www.easychair.org/conferences/?conf=lpnmr12 .

Workshops

The program of LPNMR-11 will also include several specialised workshops. These workshops provide a venue for presenting more specialised and focussed topics, and are intended to allow for intensive discussions and project collaboration in any area related to LPNMR, including cross-disciplinary areas.