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

Foundations of Nonmonotonic Reasoning


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

Nonmonotonic reasoning arose from the attempts of researchers to formalize reasoning with incomplete information, reasoning about change, action and causality, and many other forms of commonsense reasoning by means of classical logic systems. Research efforts of the last twenty-five years have laid solid theoretical foundation for the field of nonmonotonic reasoning. As well, the initial collection of unrelated results has been steadily coalescing into a coherent theory.

The specialized workshop on Foundations of Nonmonotonic Reasoning is a one-day event intended to bring together researchers interested in the area of nonmonotonic reasoning, and to discuss current research, results, and problems of a predominantly theoretical or foundational nature. This workshop will be a part of the technical program of the Tenth Nonmonotonic Reasoning Workshop (NMR2004), to be held in Whistler, BC, Canada, immediately following the KR-04 conference. The goal is to promote further development of the theory of nonmonotonic systems as well as connections to other research areas in knowledge representation and reasoning, and artificial intelligence.


Authors are invited to submit original papers on formal aspects or applications of nonmonotonicity. See www.pims.math.ca/science/2004/NMR/papers.html for details.

The list of topics of interest includes but is not limited to:

  • Theoretical and Epistemological foundations of Nonmonotonic logics including but not limited to circumscription, logic programming, default logic, autoepistmic logic, nonmonotone deductive systems, conditional logics, etc.
  • Fixpoint theory of Nonmonotonic logics
  • Theoretical foundations of nonmonotonic forms of reasoning including but not limited to abduction, induction, hypothetical reasoning, etc..
  • Interrelations
  • Complexity and expressiveness
  • New nonmonotonic logics and forms of nonmonotonic reasoning
  • Novel application areas of the theory of NMR (e.g. to causality, deontic reasoning, natural language, counterfactuals, etc.)
  • Formalizing preferences
  • Methodology of NMR

We also welcome suggestions for panel discussions.

Jim Delgrande (jim@cs.sfu.ca)
Marc Denecker (Marc.Denecker@cs.kuleuven.ac.be)

Philippe Besnard, IRIT, Toulouse, France
James Delgrande, Simon Fraser University, Burnaby, Canada
Marc Denecker, Katholieke Universiteit Leuven
Juergen Dix, University of Manchester, Manchester, UK
Thomas Eiter, Vienna University of Technology, Vienna, Austria
Michael Gelfond, Texas Tech University, Texas, USA
Heinrich Herre, Universitat Leipzig, Leipzig, Germany
John Horty, University of Maryland, Maryland, USA
Antonis Kakas, University of Cyprus, Nicosia, Cyprus
Gabriele Kern-Isberner, Fern Universität, Hagen, Germany
Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong, China
David Makinson, King's College, London, UK
Victor Marek, University of Kentucky, Kentucky, USA
Teodor Przymusinski, University of California at Riverside, California, USA

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.

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


CR-prolog with ordered disjunction
Marcello Balduccini and Veena Mellarkod

A plausible logic which detects loops
David Billington

A rank based description language for qualitative preferences
Gerhard Brewka

Paraconsistent default reasoning
Qing Han and Zuoquan Lin

Answer set programming with default logic
Victor W. Marek and Jeffrey B. Remmel

Sequent calculus for skeptical reasoning in autopeistemic logic
Robert Saxon Milnikel

A possibilistic approach to restore consistency in answer set programming
Pascal Nicolas, Laurent Garcia and Igor Stephan

Semantics of disjunctive programs with monotone aggregates - an operator-based approach
Nikolay Pelov and Miroslaw Truszczynski

Semantic considerations on rejection
Jan Sefranek

Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic
Joost Vennekens, David Gilis and Marc Denecker

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