Localized event‐based reasoning for multiagent domain1
- 1 September 1988
- journal article
- Published by Wiley in Computational Intelligence
- Vol. 4 (3) , 319-340
- https://doi.org/10.1111/j.1467-8640.1988.tb00282.x
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Localized event‐based reasoning for multiagent domain1Computational Intelligence, 1988
- Planning as search: A quantitative approachArtificial Intelligence, 1987
- Temporal data base managementArtificial Intelligence, 1987
- ISIS—a knowledge‐based system for factory schedulingExpert Systems, 1984
- Domain-independent planning Representation and plan generationArtificial Intelligence, 1984
- Synthesis of Communicating Processes from Temporal Logic SpecificationsACM Transactions on Programming Languages and Systems, 1984
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- A temporal logic for reasoning about processes and plansCognitive 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