Keyphrases
- autonomous agents
- multi agent
- multi agent systems
- dynamic logic
- alternating time temporal logic
- epistemic logic
- intelligent virtual agents
- logical framework
- intelligent agents
- multiple agents
- virtual agents
- multiagent systems
- dynamic environments
- cooperative
- virtual characters
- interacting agents
- modal logic
- coalition logic
- mobile agents
- logic programming
- decision making
- normative systems
- agent systems
- agent technology
- virtual environment
- classical logic
- artificial agents
- agent programming
- incomplete information
- software agents
- resource allocation
- complex environments
- agent based simulation
- single agent
- agent architecture
- distributed agents
- asynchronous circuits
- model checking
- coalition formation
- agent model