A knowledge-theoretic semantics for concurrent MetateM
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 357-374
- https://doi.org/10.1007/bfb0013597
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Reasoning About KnowledgePublished by MIT Press ,1995
- Intelligent agents: theory and practiceThe Knowledge Engineering Review, 1995
- Towards a semantics for concurrent MetateMPublished by Springer Nature ,1995
- Representing and executing agent-based systemsPublished by Springer Nature ,1995
- Agent-oriented programmingArtificial Intelligence, 1993
- The complexity of reasoning about knowledge and time. I. Lower boundsJournal of Computer and System Sciences, 1989
- Knowledge, belief and timeTheoretical Computer Science, 1988
- ActorsPublished by MIT Press ,1986
- Modal LogicPublished by Cambridge University Press (CUP) ,1980