Final Call for Papers: NMR 2010
13th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING
May 14-16, 2010, Sutton Place, Toronto, Canada
Submission deadline: January 29, 2010
Notification: March 1, 2010
Website:   http://www.cs.sfu.ca/NMR2010/
(Collocated with KR 2010, ICAPS 2010, FOIS 2010 and AAMAS 2010)

NMR 2010 will be composed of six specialized sub-workshops:
* Argument, Dialog and Decision
* Declarative Programming for NMR
* Action and Belief Change
* Preferences and Norm
* Commonsense and NMR for Ontologies
* NMR and Uncertainty

Papers should be submitted to the appropriate sub-workshop. If it is not clear
which sub-workshop is most appropriate, please contact the program chairs
for clarification.

Invited speakers:
Franz Baader (to be confirmed)
Gerhard Brewka
Marc Denecker
Jack Minker
Torsten Schaub

The NMR workshop series is the premier specialized forum for researchers
in non-monotonic reasoning and related areas. This will be the 13th workshop
in the series. Its aim is to bring together active researchers in the broad area of
non-monotonic reasoning, including belief revision, reasoning about actions,
argumentation, declarative programming, preferences, non-monotonic
reasoning for ontologies, uncertainty, and other related topics.

Topics of Interest: NMR'10 welcomes the submission of papers broadly centred
on issues and research in non-monotonic reasoning. We welcome papers of
either a theoretical or practical nature. Topics of interest include (but are not
limited to): foundations of non-monotonic reasoning, default reasoning,
representing actions and planning, belief revision and information fusion,
reasoning and decision-making under uncertainty, answer set programming,
belief updating and inconsistency handling,  similarity-based reasoning,
empirical studies of reasoning strategies,  argument-based non-monotonic logics,
abductive reasoning, algorithms and implementations, non-monotonic logics in
multi-agent interaction, including negotiation and dispute resolution, non-
monotonic reasoning for ontologies, declarative programming for non-
monotonic reasoning, and reasoning with preferences.

Programme co-chairs:
Thomas Meyer
tommie.meyer@meraka.org.za
http://ksg.meraka.org.za/~tmeyer/

Eugenia Ternovska
ter@cs.sfu.ca
http://www.cs.sfu.ca/~ter