Keyphrases
- multi agent systems
- dynamic logic
- epistemic logic
- logical framework
- multi agent
- alternating time temporal logic
- multiple agents
- intelligent agents
- multiagent systems
- artificial agents
- distributed agents
- software agents
- cooperative
- autonomous agents
- resource allocation
- agent technology
- dynamic environments
- logic programming
- learning agents
- interacting agents
- coalition logic
- decision making
- artificial intelligence
- modal logic
- agent architecture
- trust model
- complex environments
- reinforcement learning
- mobile agents
- decision theoretic
- classical logic
- coalition formation
- multi valued
- automated reasoning
- action selection
- predicate logic
- single agent
- mechanism design
- proof theory
- agent programming
- complex systems
- agent model