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 7 references indexed in Scilit:
- Intelligent agents: theory and practiceThe Knowledge Engineering Review, 1995
- Towards a semantics for concurrent MetateMLecture Notes in Computer Science, 1995
- Representing and executing agent-based systemsLecture Notes in Computer Science, 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
- Modal LogicPublished by Cambridge University Press (CUP) ,1980