Outline. A formalism for the specification of multiagent systems should be expressive enough to model not only the behavior of one
single agent, but also the collaboration among several agents and the influences caused by external events. For this, state machines [4] seem to provide an adequate means. Therefore, the approach of the team RoboLog Koblenz 2001 employs techniques from software engineering and artificial intelligence research by using UML statecharts and implementing
them systematically with logic and deduction in Prolog [3].
This research is partially supported by the grants Fu 263/6-1 and Fu 263/8-1 from the German research foundation DFG.