|
|
|
|
|
|
|
|
|
|
|
SUBWORKSHOPS |
|
|
|
|
|
|
|
SPONSORS |
 |
 |
 |
 |
|
International
Workshop on
|
Action and Causality
Specialized workshop in conjunction with NMR2004 (www.pims.math.ca/science/2004/NMR/papers.html)
One of the original motivations for developing formalisms for nonmonotonic reasoning was to provide solutions to the frame problem, a problem associated with the modeling of actions and events and their effects in complex and dynamic environments. Since the introduction of the major nonmonotonic families: circumscription, default logic, and modal nonmonotonic logics in the late 70's, development of nonmonotonic logics and associated automated reasoning techniques have gone hand in hand with the development of logics of action and change. Research in reasoning about actions has also been strongly influenced by the research in causality. In fact, understanding the distinction between classical implication and causal implication is a key in solving the ramification problem.
This workshop is a one-day event intended to bring together researchers interested in the area of nonmonotonic reasoning, reasoning about action, and causality to discuss current research, results, and foundational problems pertaining to action and causality. It will be a part of the technical program of the tenth Nonmonotonic Reasoning Workshop (NMR-04), to be held in Whistler, BC, Canada, immediately following the KR-04 conference.
TOPICS
Topics of interest include, but are not limited to:
- action calculi,
- action description languages,
- causal reasoning,
- cognitive robotics,
- frame problem,
- planning,
- ramification problem, qualification problem,
- systems for reasoning about actions
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.
ORGANIZERS
Michael Thielscher (mit@inf.tu-dresden.de),
Department of Computer Science, Dresden University of Technology
Tran Cao Son (tson@cs.nmsu.edu),
Department of Computer Science, New Mexico State University
PROGRAM COMMITTEE
Antonis Kakas, University of Cyprus
Alessandro Provetti, University of Messina
Mikhail Soutchanski, University of Toronto
Dongmo Zhang, University of Western Sydney
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
Richard A. Baldwin and Eric Neufeld
Frame consistency: computing with causal explanations
Andrea Bracciali, Antonis Kakas
Plan reversals for recovery in execution monitoring
Thomas Eiter, Esra Erdem, and Wolfgang Faber
Domain descriptions should be modular
Andreas Herzig and Ivan Varzinczak
Adding modal operators to the action language A
Aaron Hunter
Actions, planning and defeasible reasoning
Guillermo R. Simari, Alejandro J. Garcia and Marcela Capobianco