Specification of Heterogeneous Agent Architectures.

Simone Marini Maurizio Martelli Viviana Mascardi Floriano Zini

Published in: ATAL (2000)

Keyphrases

agent architecture
intelligent agents
multi agent systems
bdi agents
hybrid architecture
software agents
high level
formal methods
specification language
real world
formal specification
belief desire intention
bdi architecture
software engineering
heterogeneous data
layered architecture