LPNMR 2017

LPNMR 2017

Program

Workshops

Venue

Registration

Travel & Lodging

For Authors

Committees

For Authors

Important Dates

  • Paper registration: February 5th, 2017, 23:59 PDT (UPDATED)

  • Paper submission: February 9th, 2017, 23:59 PDT (UPDATED)

  • Notification: March 7th, 2017 (UPDATED)

  • Final versions due: March 26th, 2017 (UPDATED)

Submission

LPNMR 2017 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 authors along with their affiliations must be listed on the title page. Papers submitted for review may contain an appendix whose sole purpose is to provide some additional information (such as proofs) for the reviewers. The appendix does not count towards the page limit. However, the reviewers need not read/evaluate the appendix. Note that, for the camera ready versions of accepted papers, the appendix, if included in the paper, will count towards the page limit.

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. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer’s guidelines and technical instructions. Paper submission will be electronic through the LPNMR-17 Easychair site.

Multiple Submission Policy

LPNMR 2017 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.

Call for Papers

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 on conference topics including, but not limited to:

  • Foundations of LPNMR Systems:

    • Semantics of new and existing languages;

    • Action languages, causality;

    • Formalization of Commonsense Reasoning and understanding its laws and nature;

    • 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;

    • Algorithms and novel techniques for efficient evaluation;

    • LPNMR benchmarks.

  • Applications of LPNMR:

    • Use of LPNMR in 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 bioinformatics, linguistics, psychology, and other sciences;

    • Integration of LPNMR systems with other computational paradigms;

    • Embedded LPNMR: Systems using LPNMR subsystems.