|
|
|
|
|
|
|
|
|
|
|
SUBWORKSHOPS |
|
|
|
|
|
|
|
SPONSORS |
 |
|
International
Workshop on
|
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.
TOPICS
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.
ORGANIZERS
Jim Delgrande (jim@cs.sfu.ca)
Marc Denecker (Marc.Denecker@cs.kuleuven.ac.be)
PROGRAM COMMITTEE
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
SUBMISSION DETAILS
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.
PROCEEDINGS
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.
NMR2004 AND OTHER NMR2004 SUBWORKSHOPS
The other specialized workshops that will be held at NMR2004 are:
IMPORTANT DEADLINES
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
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