Final Call for Papers: NMR 2010

[Tommie Meyer]

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 at meraka.org.za
http://ksg.meraka.org.za/~tmeyer/

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