A Formal Framework Supporting the Specification of the Interactions between Agents.
Farid MokhatiMourad BadriLinda BadriPublished in: Informatica (Slovenia) (2007)
Keyphrases
- main contribution
- multi agent systems
- multi agent
- theoretical framework
- high level
- multi agent planning
- formal methods
- dynamically evolving
- reactive systems
- multiple agents
- dynamic environments
- probabilistic model
- cooperative
- multiagent systems
- agent architecture
- petri net
- specification language
- cognitive agents
- artificial agents
- negotiation protocol
- learning algorithm