Formalizing ARTIS Agent Model Using RT-Maude.

Toufik Marir Farid Mokhati Hassina Seridi-Bouchelaghem

Published in: MATES (2009)

Keyphrases

agent model
agent architecture
intelligent agents
bdi agents
collective decision making
formal specification
equational theories
multi agent systems
situation awareness
agent coordination
virtual humans
software agents
mobile robot
virtual agents