Formalization and Pre-Validation for Interaction Protocols in a Multi Agent Systems.
Jean-Luc KoningGuillaume FrançoisYves DemazeauPublished in: ECAI (1998)
Keyphrases
- interaction protocols
- multi agent systems
- agent systems
- multi agent
- agent communication
- multiagent systems
- operational semantics
- agent communication language
- autonomous agents
- intelligent agents
- communicative acts
- cooperative
- agent technology
- game theory
- agent societies
- knowledge representation
- coalition formation
- agent interactions
- software agents
- agent architecture
- agent programming
- dynamic environments