Call for Papers / for Authors

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. This edition of LPNMR will 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.

Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic 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:
  1. 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.
  2. Implementation of LPNMR systems:
    • System descriptions, comparisons, evaluations;
    • Algorithms and novel techniques for efficient evaluation;
    • LPNMR benchmarks.
  3. 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.

Submission
LPNMR 2015 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories:
  • Technical papers
  • System descriptions
  • Application descriptions
The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer-Verlag Lecture Notes in Artificial Intelligence (LNAI/LNCS) series; in detail: 

LNAI 9345 volume, referenced as
Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski. Logic Programming and Nonmonotonic Reasoning, 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings.

At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be formatted according to the Springer LNCS author instructions,


must be written in English, and present original research. Paper submission will be electronic through the LPNMR-15 Easychair site:
    

Two best papers of general AI interest will be invited for rapid publication in the journal Artificial Intelligence - Journal - Elsevier. Two best papers with narrower logic programming focus will be invited for a rapid publication in the journal Theory and Practice of Logic Programming.

  http://www.springer.com/series/1244  
http://www.journals.elsevier.com/artificial-intelligence/
 
 
Multiple Submission Policy
LPNMR 2015 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings.


Full-text
The full-text version of this Call for Papers can be downloaded here (.txt).