NMR 2014

15th International Workshop on Non-Monotonic Reasoning

17–19 July 2014, Vienna


NMR 2014 welcomes the submission of papers broadly centered on issues and research in non-monotonic reasoning. We welcome papers of either theoretical or practical nature. Topics of interest include (but are not limited to):

  • abductive reasoning and diagnosis,
  • algorithms and complexity analysis,
  • argumentation and dialog,
  • answer-set programming,
  • belief revision, belief update, and belief merging,
  • benchmarks for non-monotonic reasoning,
  • declarative programming for non-monotonic reasoning,
  • default reasoning,
  • empirical studies of reasoning strategies,
  • foundations of non-monotonic reasoning,
  • hybrid approaches (non-monotonic reasoning combined with other computing paradigms),
  • inconsistency handling,
  • implementations and systems,
  • non-monotonic logics in multi-agent interaction, including negotiation and dispute resolution,
  • non-monotonic reasoning for ontologies,
  • reasoning and decision making under uncertainty,
  • reasoning with preferences,
  • representing actions and planning,
  • causal reasoning, and
  • similarity based-reasoning.


To focus the different topics of submissions, the workshop comprises the following thematic tracks:

  1. Actions, Causality, and Belief Change;
  2. Declarative Programming;
  3. Argumentation and Dialog;
  4. Preferences, Norms, and Trust;
  5. NMR and Uncertainty;
  6. Commonsense and NMR for Ontologies;

as well as the following special tracks:

  1. Systems and Applications;
  2. Benchmarks for NMR.

Systems and Applications Track

Recent years witnessed the development of mature solver technology for some NMR based formalisms and, accordingly, successful real-world applications. This track welcomes papers on describing implemented NMR systems as well as papers presenting applications of NMR formalisms and systems. Topics of interest include pure system descriptions (providing information on the basic functionality and usability of the respective systems), the comparison and evaluation of NMR systems, NMR applications in industry and academia, software engineering and modeling methodology aspects, and reports from the field.

Benchmarks for NMR Special Track

The aim of the Benchmarks for NMR special track is to discuss the construction of benchmarks for NMR. Benchmarks proved useful in a variety of domains in order to develop efficient algorithms and methods. They are for the moment insufficiently developed for main NMR areas. We want to discuss this issue in NMR 2014. Typical questions of interested could be:

  • How to obtain benchmarks from real application cases?
  • How to build sensible random benchmarks?
  • How to export existing benchmarks in some formalism into other domains formalisms?
  • Etc.

Papers related to these issues, description of existing systems of benchmarks, etc., are welcome.


Papers should be between 4 and 10 pages in AAAI style including references, figures, and appendixes, if any. System descriptions can typically be on the lower bound of the page range.

Paper submission will be handled electronically by means of the easychair system. Papers must be submitted in PDF only. The submission page is available here.

Papers already published at other conferences and that can be of interest for an NMR audience are welcomed to NMR 2014, provided that the initial publication is mentioned in a footnote on the first page.

Submissions will have to indicate to which of the above listed tracks it is intended to belong to, as well as whether it constitutes new research or recently published research.


There are no formal proceedings for NMR. The accepted papers will be published as a technical report and will be made available in the Computing Research Repository (CoRR).

The copyright of the papers lies with the authors, and as far as NMR is concerned, they are free to submit to other conferences and workshops as well. Similarly, papers already published can be submitted (but this has to be indicated in the submission).