Towards Executable Specification: Combining i* and AgentSpeak(L) .

Farzad Salim Chee Fon Chang Aneesh Krishna Aditya Ghose

Published in: SEKE (2005)

Keyphrases

operational semantics
formal specification
agent architecture
formal semantics
high level
multi agent systems
bdi agents
main features
agent programming
data model
mental states