Keyphrases
- formal model
- multi agent
- cooperative
- multiagent systems
- intelligent agents
- agent oriented
- formal models
- heterogeneous agents
- security properties
- reinforcement learning
- multi agent systems
- coalition formation
- predicate calculus
- description logics
- knowledge representation
- agent communication
- cooperative agents
- team formation
- security patterns
- oriented programming
- multi agent coordination
- multi agent based simulation