Keyphrases
- multi agent systems
- alternating time temporal logic
- dynamic logic
- epistemic logic
- multi agent
- logical framework
- multiagent systems
- autonomous agents
- software agents
- intelligent agents
- cooperative
- modal logic
- classical logic
- multiple agents
- logic programming
- dynamic environments
- artificial agents
- agent programming
- model checking
- agent systems
- distributed agents
- multi agent planning
- normative systems
- interacting agents
- resource allocation
- bounded rationality
- agent architecture
- coalition logic
- agent based simulation
- automated reasoning
- agent technology
- incomplete information
- complex systems
- proof theory
- learning agents
- nonmonotonic logics
- multi valued
- agent model
- coalition formation