Logic Modelling Workshop

Communicating Axiomatizations of Actions and Change

The Logic Modelling Workshop (LMW) is an environment for communicating axiomatizations of scenario examples of nontrivial size. Axiomatizations that use current approaches to reasoning about actions and change will be included in a systematic structure which facilitates for later contributions to build on, and to extend earlier contributions using the same approach. The structure will also facilitate comparisons of how the same problem is addressed in alternative approaches.

In addition, the LMW also has a section for "Alternatives and Challenges" which is for cases where current approaches are claimed not to be adequate, and where alternative approaches may be needed.

The following webpages can be accessed from the menue:

Latest update 30.7.1999 by EMTEK group.
Edit mode aml, position code C.lmw.gen.intro.