Formal Frameworks for Verifying Normative Multi-agent Systems.
Max KnobboutMehdi DastaniJohn-Jules Ch. MeyerPublished in: Theory and Practice of Formal Methods (2016)
Keyphrases
- multi agent systems
- normative systems
- agent oriented programming
- multi agent
- complex systems
- computational logic
- game theory
- cooperative
- autonomous agents
- software agents
- intelligent agents
- agent architecture
- agent technology
- agent oriented
- formal model
- agent platform
- agent communication
- website
- natural language
- multi agent reinforcement learning
- agent systems
- formal methods
- meta level
- formal specification
- coalition formation
- resource allocation
- multiagent systems