Ternovskaia, E. Interval situation calculus. In Workshop Notes of the ECAI-94 Workshop "Logic and Change", pp.

Amsterdam.

van eek, an
ohen,    .         .  Exact and approximate reasoning about temporal relations.  Computational  Intelligence, 6, van    eek,    ., 
for temporal reasoning. Journal of Artificial Intelligence Research, 4, van alen, . . . . Logic and Structure. pringer-Verlag. Venema, Y.

Journal of Formal Logic, 31   ,
. Closed Terminologies and Temporal reasoning in Descriptions for Plan eida .

Recognition. h. . thesis, epartment of  omputer  cience,  olumbia  niversity, New York, NY,
itman, .

eida, -
an application to plan recognition. In Proc. of the 3 rd International Conference on PP Principles of Knowledge Representation and Reasoning, pp.

ambridge,  A.

eida,    ,
networks. In Proceedings of CAIA-94.

ilkins, P. Practical planning. Organ aufmann, an ateo A.