Structuring a Z specification to provide a formal framework for autonomous agent systems
Authors:
- 1 January 1995
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 46-62
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Agent theories, architectures, and languages: A survey1995
- COACHCommunications of the ACM, 1994
- KidSimCommunications of the ACM, 1994
- Agent-oriented programmingArtificial Intelligence, 1993