On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol.
Viviana MascardiDaniela BriolaDavide AnconaPublished in: AI*IA (2013)
Keyphrases
- multiagent systems
- multi agent
- autonomous agents
- multiagent architecture
- distributed artificial intelligence
- multiagent planning
- lightweight
- expressive power
- interaction protocols
- multiagent learning
- agent technology
- formal analysis
- formal model
- autonomous vehicles
- knowledge representation
- robotic soccer
- multiagent reinforcement learning
- learning in multi agent systems
- authentication protocol
- trust model
- electronic commerce
- multi agent systems