@techreport{R-88-06, TITLE = {A Representation of Coordinated
Actions Characterized by Interval Valued Conditions}, AUTHOR =
{Christer B{\"a}ckstr{\"o}m}, YEAR = {1988}, NUMBER = {R-88-06},
INSTITUTION = ida, ADDRESS = idaaddr, ABSTRACTURL =
{/publications/cgi-bin/tr-fetch.pl?r-88-06+abstr}, ABSTRACT =
{We introduce the concept of action structures as a set of
actions together with information about their relative temporal
ordering. Actions are characterized by pre- and post-conditions
stating how they change the world. They are also characterized
by prevail- and keep-conditions, stating what they require and
cause, respectively, to hold during their execution. This way,
the definition of actions can implicitly specify when actions
are allowed to or have to occur in parallel. It is also possible
to let the definition of an action implicitly specify the
terminating condition for the action. The conditions used to
characterize actions are expressed as partial world states. The
main novelty of this report is tha