14-16 May 2010
Toronto, Canada
Apologies for cross postings 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