Formal semantics for an abstract agent programming language
- 1 January 1998
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 215-229
- https://doi.org/10.1007/bfb0026761
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- A survey of concurrent MetateM — The language and its applicationsPublished by Springer Nature ,2005
- A knowledge-theoretic semantics for concurrent MetateMPublished by Springer Nature ,1997
- The Design of Intelligent AgentsPublished by Springer Nature ,1996
- Foundations of a logical approach to agent programmingLecture Notes in Computer Science, 1996
- Compositional formal specification of multi-agent systemsLecture Notes in Computer Science, 1995
- DAISY: an object-oriented system for Distributed Artificial IntelligenceLecture Notes in Computer Science, 1995
- Agent-oriented programmingArtificial Intelligence, 1993
- Intention is choice with commitmentArtificial Intelligence, 1990
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971