Formal semantics for an abstract agent programming language
Authors:
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 215-229
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- A knowledge-theoretic semantics for concurrent MetateM1997
- The Design of Intelligent Agents1996
- Foundations of a logical approach to agent programming1996
- AgentSpeak(L): BDI agents speak out in a logical computable language1996
- Compositional formal specification of multi-agent systems1995
- DAISY: an object-oriented system for Distributed Artificial Intelligence1995
- Agent-oriented programmingArtificial Intelligence, 1993
- Intention is choice with commitmentArtificial Intelligence, 1990
- Foundations of Logic Programming1987
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971