A REPRESENTATION OF PARALLEL ACTIVITY BASED ON EVENTS, STRUCTURE, AND CAUSALITY
- 1 January 1987
- book chapter
- Published by Elsevier
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- A representation of time for automatic planningPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Procedural knowledgeProceedings of the IEEE, 1986
- Hierarchical development of concurrent systems in a temporal logic frameworkLecture Notes in Computer Science, 1985
- Towards a general theory of action and timeArtificial Intelligence, 1984
- Synthesis of Communicating Processes from Temporal Logic SpecificationsACM Transactions on Programming Languages and Systems, 1984
- GEMPublished by Association for Computing Machinery (ACM) ,1983
- A Temporal Logic for Reasoning about Processes and Plans*Cognitive Science, 1982
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- Learning and executing generalized robot plansArtificial Intelligence, 1972