Logic Modelling Workshop
Alternatives and Challenges
This section of the Logic Programming Workshop invites
contributions of scenario examples where current
approaches in the area are [claimed not to be] sufficient.
Contributions should describe
- the scenario world and a specific scenario within the world;
- an argument why those approaches currently being used in the
workshop are not sufficient;
- reference to a logic-based approach that is believed to be
adequate for the proposed scenario world;
- an axiomatization of the scenario in the referenced approach.
Latest update 30.6.1999 by EMTEK group.|
Edit mode aml, position code C.lmw.altcha.intro.