This is myworld: The logic of an Agent-Oriented DAI testbed
- 1 January 1995
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 160-178
- https://doi.org/10.1007/3-540-58855-8_10
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Executable Modal and Temporal LogicsPublished by Springer Nature ,1995
- Agent-oriented programmingArtificial Intelligence, 1993
- A guide to completeness and complexity for modal logics of knowledge and beliefArtificial Intelligence, 1992
- The Temporal Logic of Reactive and Concurrent SystemsPublished by Springer Nature ,1992
- Intention is choice with commitmentArtificial Intelligence, 1990
- FairnessPublished by Springer Nature ,1986
- A really abstract concurrent model and its temporal logicPublished by Association for Computing Machinery (ACM) ,1986
- Towards a general theory of action and timeArtificial Intelligence, 1984
- Dynamic LogicPublished by Springer Nature ,1984