Logic Modelling Workshop

Current and New Approaches

One of the basic principles in the Logic Modelling Workshop is that contributions ought to be modular so that later contributions can build on earlier ones. This requires a certain standardization of the formalisms. The Workshop therefore recommends that contributions should use some of the existing major approaches to reasoning about actions and change, and in particular it will rely on the reference articles for these approaches that have been reviewed and accepted for the ETAI. Each contribution of an axiomatization should therefore indicate which of those frameworks is being used, and adopt the notation that is defined in the reference article in question.

We do however welcome contributions that propose and use extensions to the formalisms in existing reference articles, provided that those extensions are well defined and truly needed - if the existing formalism is sufficient for the axiomatization task at hand then the extension is subject to Occam's razor.

The set of reference articles is not closed, and authors who feel that additional approaches ought to be represented are welcome to submit such reference articles to the ETAI. They will be refereed according to the same criteria as the existing reference articles.

We also foresee the possibility of contributions that argue that none of the existing approaches is sufficient for a certain problem or class of problems. A special section of the webpage structure will therefore be dedicated to "Alternatives and Challenges". Contributions to this section should consist of the following:

• A proposed, concrete scenario
• An argument why existing approaches are not sufficient for expressing the proposed scenario
• A correct formalization using an alternative approach
• A reference to an article or departmental report where the alternative approach is defined in more detail.

Maintenance information:

Latest update 18.6.1999 by EMTEK group. Edit mode aml, position code C.lmw.rules.approaches.