Logic Modelling Workshop

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 are 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:

Background: More details about the purpose of the LMW
Approaches: More on the reportoire of approaches, and how it can be extended
Rules: Requirements for submissions to the LMW
Submission: Practical aspects of making submissions to the LMW. (Forthcoming)
Computer formats: Alternative formats whereby submitted axiomatizations can be on the formats used by current software systems. (Forthcoming)

Maintenance
information: Latest update 21.6.1999 by EMTEK group.
Edit mode aml, position code C.lmw.rules.intro.