Specifying communicative multi-agent systems
- 1 January 1998
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- GOLOG: A logic programming language for dynamic domainsThe Journal of Logic Programming, 1997
- Foundations of a logical approach to agent programmingPublished by Springer Nature ,1996
- Executable Modal and Temporal LogicsPublished by Springer Nature ,1995
- State Constraints RevisitedJournal of Logic and Computation, 1994
- Proving properties of states in the situation calculusArtificial Intelligence, 1993
- The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal RegressionPublished by Elsevier ,1991
- Intention is choice with commitmentArtificial Intelligence, 1990