<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><br> CALL FOR PAPERS<br><br> 15th International Workshop on <br> Non-Monotonic Reasoning (NMR 2014)<br><br> <a href="http://www.kr.tuwien.ac.at/nmr14/">http://www.kr.tuwien.ac.at/nmr14/</a><br><br> Vienna, Austria, July 17–19, 2014<br><br> Co-located with <br><br> KR 2014 [<a href="http://kr.org/KR2014/">http://kr.org/KR2014/</a>],<br> DL 2014 [<a href="http://www.dbai.tuwien.ac.at/dl2014/">http://www.dbai.tuwien.ac.at/dl2014/</a>], <br> FLoC 2014, and Logic Colloquium 2014.<br><br> NMR 2014 is part of the Vienna Summer of Logic <br> [<a href="http://vsl2014.at/">http://vsl2014.at/</a>]<br><br>______________________________________________________________________<br><br><br>* Aims and Scope *<br><br>The NMR workshop series is the premier specialized forum for<br>researchers in non-monotonic reasoning and related areas. This will be<br>the 15th workshop in this series. Its aim is to bring together active<br>researchers in the broad area of non-monotonic reasoning, including<br>belief revision, reasoning about actions, argumentation, declarative<br>programming, preferences, non-monotonic reasoning for ontologies,<br>uncertainty, and other related topics.<br><br>NMR will share a joint session with the 27th International Workshop on<br>Description Logics (DL 2014).<br><br><br>* Topics *<br><br>NMR 2014 welcomes the submission of papers broadly centered on issues<br>and research in non-monotonic reasoning. We welcome papers of either<br>theoretical or practical nature. Topics of interest include (but are<br>not limited to):<br><br>- abductive reasoning and diagnosis,<br>- algorithms and complexity analysis,<br>- argumentation and dialog, <br>- answer-set programming,<br>- belief revision, belief update, and belief merging,<br>- benchmarks for non-monotonic reasoning,<br>- declarative programming for non-monotonic reasoning,<br>- default reasoning,<br>- empirical studies of reasoning strategies,<br>- foundations of non-monotonic reasoning,<br>- hybrid approaches (non-monotonic reasoning combined<br> with other computing paradigms),<br>- inconsistency handling,<br>- implementations and systems,<br>- non-monotonic logics in multi-agent interaction, including<br> negotiation and dispute resolution,<br>- non-monotonic reasoning for ontologies,<br>- reasoning and decision making under uncertainty,<br>- reasoning with preferences,<br>- representing actions and planning,<br>- causal reasoning, and<br>- similarity based-reasoning.<br><br><br>* Tracks *<br><br>To focus the different topics of submissions, the workshop comprises<br>the following thematic tracks:<br><br>1. Actions, Causality, and Belief Change;<br>2. Declarative Programming;<br>3. Argumentation and Dialog;<br>4. Preferences, Norms, and Trust;<br>5. NMR and Uncertainty;<br>6. Commonsense and NMR for Ontologies;<br><br>as well as the following special tracks:<br><br>7. Systems and Applications;<br>8. Benchmarks for NMR.<br><br><br>* Systems and Applications Track *<br><br>Recent years witnessed the development of mature solver technology for<br>some NMR based formalisms and, accordingly, successful real-world<br>applications. This track welcomes papers on describing implemented<br>NMR systems as well as papers presenting applications of NMR<br>formalisms and systems. Topics of interest include pure system<br>descriptions (providing information on the basic functionality and<br>usability of the respective systems), the comparison and evaluation of<br>NMR systems, NMR applications in industry and academia, software<br>engineering and modeling methodology aspects, and reports from the<br>field.<br><br><br>* Benchmarks for NMR special track *<br><br>The aim of the Benchmarks for NMR special track is to discuss the<br>construction of benchmarks for NMR. Benchmarks proved useful in a<br>variety of domains in order to develop efficient algorithms and<br>methods. They are for the moment insufficiently developed for main NMR<br>areas. We want to discuss this issue in NMR 2014. Typical questions of<br>interested could be:<br><br>- How to obtain benchmarks from real application cases? <br>- How to build sensible random benchmarks? <br>- How to export existing benchmarks in some formalism into<br> other domains formalisms? <br>- Etc.<br><br>Papers related to these issues, description of existing systems of<br>benchmarks, etc., are welcome.<br><br><br>* Submissions *<br><br>Papers should be between 4 and 10 pages in AAAI style<br>(<a href="http://www.aaai.org/Publications/Author/author.php">http://www.aaai.org/Publications/Author/author.php</a>) including<br>references, figures, and appendixes if any. System descriptions can<br>typically be on the lower bound of the page range.<br><br>Papers submission will be handled electronically by means of the<br>easychair system. Papers must be submitted in PDF only. The submission<br>page is available at<br><br><a href="http://www.easychair.org/conferences/?conf=nmr2014">http://www.easychair.org/conferences/?conf=nmr2014</a> <br><br>Papers already published at other conferences and that can be of<br>interest for an NMR audience are welcomed to NMR 2014, provided that<br>the initial publication is mentioned in a footnote on the first page.<br><br>Submissions will have to indicate to which of the above listed tracks<br>it is intended to belong to, as well as whether it constitutes new<br>research or recently published research.<br><br><br>* Proceedings *<br><br>There are no formal proceedings for NMR. The accepted papers will be<br>published as a technical report and will be made available in the CoRR<br>Computing Research Repository, see<br><br><a href="http://arxiv.org/corr/home">http://arxiv.org/corr/home</a>.<br><br>The copyright of the papers lies with the authors, and as far as NMR<br>is concerned, they are free to submit to other conferences and<br>workshops as well. Similarly, papers already published can be<br>submitted (but this has to be indicated in the submission).<br><br><br>* Important Dates *<br><br>Submission deadline: February 14, 2014<br>Notification: April 2, 2014<br>Camera-ready articles due: April 25, 2014<br>NMR 2014: July 17-19, 2014<br><br>* Location *<br><br>NMR 2014 will be held at the Vienna University of Technology and is<br>part of the Vienna Summer of Logic,<br><br><a href="http://vsl2014.at/">http://vsl2014.at/</a>,<br><br>which will probably be the largest scientific logic event in known<br>history.<br><br><br>* Workshop Chairs *<br><br>Sébastien Konieczny (CNRS, Université d'Artois, France)<br>Hans Tompits (Vienna University of Technology, Austria)<br><br>* Track Chairs *<div><br></div><div>1. Actions, Causality, and Belief Change</div><div><span class="Apple-tab-span" style="white-space: pre;"> </span>Renata Wasserman (Universidade de Săo Paulo, Brasil)</div><div>2. Declarative Programming</div><div><span class="Apple-tab-span" style="white-space: pre;"> </span>Tomi Janhunen (Aalto University, Finland)</div><div>3. Argumentation and Dialog</div><div><span class="Apple-tab-span" style="white-space: pre;"> </span>Paul E. Dunne (University of Liverpool, UK)</div><div>4. Preferences, Norms, and Trust</div><div><span class="Apple-tab-span" style="white-space: pre;"> </span>Mehdi Dastani (Utrecht University, Netherlands)</div><div>5. NMR and Uncertainty</div><div><span class="Apple-tab-span" style="white-space: pre;"> </span>Lluis Godo (Universitat Autonoma de Barcelona, Spain)</div><div>6. Commonsense and NMR for Ontologies</div><div><div><span class="Apple-tab-span" style="white-space: pre;"> </span>Guilin Qi<span class="Apple-tab-span" style="white-space: pre;"> </span>(Southeast University, China)</div>7. Systems and Applications</div><div><span class="Apple-tab-span" style="white-space: pre;"> </span>Esra Erdem (Sabanci University, Turkey)</div><div>8. Benchmarks for NMR<br></div><div><span class="Apple-tab-span" style="white-space: pre;"> </span>Sébastien Konieczny (CNRS, Université d'Artois, France)<br><br>Email: nmr14 [at] kr [dot] tuwien [dot] ac [dot] at<br><br><br>* Homepage *<br><br><a href="http://www.kr.tuwien.ac.at/nmr14/">http://www.kr.tuwien.ac.at/nmr14/</a></div></body></html>