NMR 2004
Call for Papers
Important Dates
Programme Committee
Author Instructions

Foundations of Nonmonotonic Reasoning
Computational Aspects of Nonmonotonic Reasoning
Action and Causality
Belief Change
Uncertainty Frameworks
Argument, Dialogue and Decision

NMR logo

International Workshop on
Non-Monotonic Reasoning

June 6-8, 2004
Westin Whistler Resort and Spa,
Whistler BC, Canada

Uncertainty Frameworks


Specialized workshop in conjunction with NMR2004 (www.pims.math.ca/science/2004/NMR/papers.html)

Intelligent agents have to manage incomplete and uncertain information about the world in order to achieve the goals they are seeking for. Many approaches have been developed for reasoning under incomplete information with uncertain rules having exceptions. Some of them are symbolic and based on a logical framework or on logic programming; others are more numerically oriented and make use of probabilities, qualitative or quantitative possibilities, or of mathematically more general uncertainty frameworks such as belief and plausibility functions, or upper and lower probabilities. Incomplete information, expressing either knowledge or preferences, may be given in a bipolar form distinguishing between positive and negative part of information. This raises new reasoning and revision issues.

This subworkshop will especially welcome papers contributing to a cross-fertilization of ideas or tools coming from both fields. Papers addressing problems related to the practical use and applications of probabilistic, possibilistic and other uncertainty frameworks in NMR are also welcome.


The main focus of the meeting is on nonmonotonic aspects related to the following topics:

  • modeling and reasoning with causalities,
  • handling goals, bipolar information,
  • formalisms for reasoning under uncertainty,
  • revision and update of uncertain knowledge or preferences,
  • handling inconsistency in uncertain knowledge,
  • fusion of uncertain knowledge or preferences,
  • uncertainty in logic programming and databases,
  • action and planning under uncertainty,
  • algorithms and complexity,
  • experimental studies of NMR formalisms,
  • applications of NMR.

All NMR2004 subworkshops have the same submission requirements. Submissions are limited to 12 pages (excluding title page and references) of standard LaTeX 12pt article format. Send a pdf file with the submission to each of the organizers by e-mail.

Salem Benferhat, CRIL, Lens (benferhat@cril.univ-artois.fr)
Henri Prade, IRIT, Toulouse (prade@irit.fr)

Ronen Brafman, Ben-Gurion University, (brafman@cs.bgu.ac.il),
Lluis Godo, Institut d'Investigació en Intel.ligència Artificial (IIIA), (godo@iiia.csic.es),
Rui Da Silva Neves, University of Toulouse-Le-Mirail, (neves@univ-tlse2.fr),
Weiru Liu, University of Ulster, UK (w.liu@ulster.ac.uk),
Thomas Lukasiewicz , Università di Roma "La Sapienza", Italy (Thomas.Lukasiewicz@dis.uniroma1.it),
Choh Man Teng, University of West Florida, (cmteng@ai.uwf.edu),
Leon Van der Torre, Centrum voor Wiskunde en Informatica, Amsterdam (torre@cwi.nl),
Emil Weydert, Luxembourg University of Applied Sciences, (emil.weydert@ist.lu),
Ronald R. Yager, Iona College, USA (yager@panix.com).

Final papers, limited to 9 KR-style pages, will be distributed at the meeting along with papers from the other NMR workshops. Accepted papers will also be arranged into on-line proceedings.

The other specialized workshops that will be held at NMR2004 are:

Submission of papers February 27, 2004
Notification of acceptance March 31, 2004
Final version (pdf file) April 30, 2004
Conference Dates: June 6-8, 2004


On the bipolarity in argumentation frameworks
Leila Amgoud, Claudette Cayrol and Marie-Christine Lagasquie

Probabilistic reasoning in dynamic multiagent systems
Xiangdong An, Yang Xiang and Nick Cercone

Ordinal and absolute representations of positive information in possibilistic logic
Didier Dubois, Souhila Kaci and Henri Prade

On Csaszar's condition in nonmonotonic reasoning
Angelo Gilio

Qualitative and probabilistic uncertainty in reasoning about actions with sensing
Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi and Riccardo Rosati

Modelling continuous positive and negative reasons in decision aiding
Meltem Ozturk and Alexis Tsoukias

A probabilistic approach to default reasoning
Miodrag Raskovic, Zoran Ognjanovic and Zoran Markovic

Combining individually inconsistent prioritized knowledge bases
Guilin Qi, Weiru Liu and David H. Glass

A fuzzy logic and default reasoning model of social norm and equilibrium selection in games under unforeseen contingencies
Lorenzo Sacconi and Stefano Moretti

Logic programs with annotated disjunctions
Joost Vennekens, Sofie Verbaeten and Maurice Bruynooghe

A resource bounded default logic
Gregory R. Wheeler

© 2003 Pacific Institute for the Mathematical Sciences
Last Modified: April 15, 2004