Semantical considerations on some primitives for agent specification
- 1 January 1996
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Intelligent Agents II Agent Theories, Architectures, and LanguagesPublished by Springer Nature ,1996
- SPECIFICATION AND VERIFICATION OF COMMUNICATION CONSTRAINTS FOR INTEROPERABLE TRANSACTIONSInternational Journal of Cooperative Information Systems, 1994
- A logic of intentions and beliefsJournal of Philosophical Logic, 1993
- A semantics for speech actsAnnals of Mathematics and Artificial Intelligence, 1993
- The design of a temporal logic for open distributed systemsPublished by Springer Nature ,1993
- Intention is choice with commitmentArtificial Intelligence, 1990
- How processes learnDistributed Computing, 1986
- REASONING ABOUT KNOWLEDGE: AN OVERVIEWPublished by Elsevier ,1986
- The knowledge levelArtificial Intelligence, 1982
- Modal LogicPublished by Cambridge University Press (CUP) ,1980