Foundations of Nonmonotonic Reasoning
CALL FOR PAPERS | ACCEPTED PAPERS
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:
We also welcome suggestions for panel discussions.
NMR2004 AND OTHER NMR2004 SUBWORKSHOPS
Submission of papers February 27, 2004
Marcello Balduccini and Veena Mellarkod
A plausible logic which detects loops
A rank based description language for qualitative preferences
Paraconsistent default reasoning
Answer set programming with default logic
Sequent calculus for skeptical reasoning in autopeistemic logic
A possibilistic approach to restore consistency in answer set programming
Semantics of disjunctive programs with monotone aggregates - an operator-based approach
Semantic considerations on rejection
Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic
Pacific Institute for
the Mathematical Sciences
Last Modified: April 15, 2004