[DL] RAC at NMR'06

[event at in.tu-clausthal.de]

+++++++++++++++++++++++++++++++++++++++++++++++++++

                      REMINDER: CALL FOR PAPERS

            ELEVENTH INTERNATIONAL WORKSHOP ON
                       NON-MONOTONIC REASONING
                 Lake District, England, May 30 - June 1, 2006

                                  Special Session on
                          ACTION AND CHANGE

             (http://www.cs.ucl.ac.uk/staff/a.hunter/nmr/action.html)

One of the original motivations for developing formalisms for
nonmonotonic reasoning (NMR) 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.
This relationship between NMR and Reasoning about Action and
Change (RAC) is reinforced by the qualification problem where
the need for modular and compact representations of action theories
can be linked with default reasoning on the properties that qualify
the effect laws of an action theory. Research in RAC has also been
strongly influenced by the study of causality: effect laws include
statements of ramifications that capture the causal relationship
between different effects in the domain.

Advances in the study of these three foundational problems
(frame, ramification and qualification) have helped in the
development of cognitive agents where systems operate autonomously
in a complex and dynamic environment. A consistent and informed
view of the world of a cognitive agent is maintained through its
capability of reasoning about action and change. This has lead to
the need to consider the development of more advanced implemented
systems for RAC with a wider scope and larger scale application.

Topics

This workshop at NMR-2006 aims to bring researchers together to
consider the fundamental issues in the field of RAC with their links
to NMR, together with the new challenges that the deployment
of RAC into applications can bring. Topics of interest include,
but are not limited to:

   - action languages
   - causal reasoning
   - cognitive robotics
   - frame problem, ramification problem, qualification problem
   - systems for reasoning about actions
   - action theories in agent architectures
   - learning action models
   - scaling of reasoning about actions
   - modeling common sense knowledge

Special Theme

There will be a special theme at this year's workshop, similar to
the one held at NRAC-05 in Edinburgh: We especially encourage submissions
describing solutions to challenge problems for logically reasoning
agents based on existing systems for reasoning about actions.
Details on the NRAC-05 event can be found on the Logically Reasoning
Agents Problem Page at http://www.cl.inf.tu-dresden.de/~mit/LRAPP/.

This page will be updated soon with descriptions of the new challenge
problems. We plan to devote a session of the workshop on papers
presenting solutions to any of these problems and accompany the
presentation of these papers by a panel on Comparative Evaluations
of systems for logic-based agents.

Session co-chairs

- Antonis Kakas, University of Cyprus, Cyprus, antonis at ucy.ac.cy
- Gerhard Lakemeyer, RWTH Aachen, Germany, gerhard at cs.rwth-aachen.de

Program committee

- Thomas Eiter, TU Vienna, Austria
- Alfredo Gabaldon, NICTA, Australia
- Sebastian Sardina, RMIT, Australia
- Marek Sergot, Imperial College, UK
- Tran Cao Son, New Mexico State U, USA
- Michael Thielscher, TU Dresden, Germany

Submission details

All NMR-06 sessions have the same submission requirements.
Submissions are limited to 9 pages using KR paper format.
Send a PDF file with the submission to each of the organizers by e-mail.

Important dates

- Submission of papers: 1 Feb 2006
- Notification of acceptance: 1 April 2006
- Final version (PDF File): 1 May 2006

------------------------------------------------------------------------
This e-mail was delivered to you by event at in.tu-clausthal.de, what is a
moderated list ran by Computational Intelligence Group of Clausthal University of Technology, Germany. 
All event announcements sent through this list are also listed in our
conference planner at http://cig.in.tu-clausthal.de/index.php?id=planner.
 
In the case of any requests, questions, or comments, do not hesitate and 
contact event-owner at in.tu-clausthal.de ASAP. 
 
******************************************************
* CIG does not take any responsibility for validity  * 
* of content of messages sent through this list.     * 
******************************************************

Computational Intelligence Group
Department of Computer Science
Clausthal University of Technology
Germany
http://cig.in.tu-clausthal.de/