Eleventh International Workshop on

Non-Monotonic Reasoning

Lake District, England, May 30 - June 1, 2006

Special session on

Action and Change

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.


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
  • 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@ucy.ac.cy
  • Gerhard Lakemeyer, RWTH Aachen, Germany, gerhard@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: 17 Feb 2006
  • Notification of acceptance: 1 April 2006
  • Final version (PDF File): 1 May 2006