A Formal Framework Supporting the Specification of the Interactions between Agents.

Farid Mokhati Mourad Badri Linda Badri

Published in: Informatica (Slovenia) (2006)

Keyphrases

multi agent systems
formal specification
multi agent
main contribution
formal model
high level
logical framework
cooperative
interaction model
resource allocation
dynamically evolving
formal methods
agent model
software agents
autonomous agents
multiagent systems
theoretical framework