Karel Stokkermans

Learn More
The ultimate aim of this work is to nd a semantics for reasoning about actions and change in cooperating agent scenarios based on the concept of so called logical berings. As a rst step in this direction we describe a small but non-trivial 3-agent-robotics scenario using two diierent methods, viz. resource-oriented deductive planning and the mathematical(More)
We describe a small but non-trivial 3-agent-robotics scenario by two diierent methods, viz. resource-oriented deductive planning and logical berings. The ultimate aim is to nd a semantics for planning methods by means of berings. To this end, a comparison of the two methods is made and illustrated by the sample scenario, and the correspondences between the(More)
  • 1