A knowledge-theoretic semantics for concurrent MetateM
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 357-374
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Reasoning About Knowledge1995
- 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 systems1995
- Agent-oriented programmingArtificial Intelligence, 1993
- MetateM: A framework for programming in temporal logic1990
- The complexity of reasoning about knowledge and time. I. Lower boundsJournal of Computer and System Sciences, 1989
- Knowledge, belief and timeTheoretical Computer Science, 1988
- Actors1986
- Modal Logic1980