Previous: TR 91-02 Next: TR 91-07

Intellektik: Technical report 91-04

Towards a theory of simultaneous actions

Gerd Große and Richard Waldinger

We will lay down a model of concurrency for planning problems. The model will be expressive enough for representing real simultaneity of primitive actions without getting too complicated for the plan synthesis process. The model will be described in detail and its use in respect to the synthesis of terminating plans is demonstrated in an example.

Full Paper: Compressed postscript Compressed DVI

BibTeX entry