Formal description and verification of MAS interaction protocols.
Hongbing ChenQun YangQianmu LiManwu XuPublished in: Multiagent Grid Syst. (2006)
Keyphrases
- interaction protocols
- multi agent systems
- multiagent systems
- agent systems
- multi agent
- agent communication
- communicative acts
- model checking
- autonomous agents
- agent societies
- resolve conflicts
- platform independent
- cooperative
- intelligent agents
- agent technology
- operational semantics
- dynamic environments
- databases
- information processing
- coalition formation
- peer to peer
- agent communication language