Keyphrases
- dynamic logic
- multi agent
- alternating time temporal logic
- multi agent systems
- logical framework
- epistemic logic
- multiagent systems
- multiple agents
- autonomous agents
- intelligent agents
- software agents
- cooperative
- artificial agents
- mobile agents
- distributed agents
- resource allocation
- normative systems
- agent architecture
- coalition logic
- decision theoretic
- predicate logic
- bdi agents
- decision making
- automated reasoning
- incomplete information
- modal logic
- artificial intelligence
- logic programming
- multi agent planning
- dynamic environments
- model checking
- learning agents
- trust model
- complex environments
- classical logic
- agent systems
- cognitive agents
- nonmonotonic logics
- coalition formation
- agent programming
- bounded rationality
- interacting agents
- moral hazard
- single agent
- reasoning process
- reinforcement learning
- agent receives
- multi valued