Everyone Knows that someone Knows: Quantifiers over Epistemic Agents.
Pavel NaumovJia TaoPublished in: Rev. Symb. Log. (2019)
Keyphrases
- mobile robot
- dynamic environments
- multi agent
- multi agent systems
- epistemic logic
- autonomous agents
- multiagent systems
- intelligent agents
- cooperative
- agent systems
- first order logic
- software agents
- distributed agents
- agent model
- multi agent planning
- multiple agents
- decision making
- complex environments
- natural language
- incomplete information
- agent architecture
- communicating agents
- agent cooperation
- mobile agents
- multi agent simulation
- resource allocation
- cognitive agents
- agent interactions
- model checking
- decision theoretic
- agent technology
- agent based simulation
- learning agents
- artificial agents
- resource bounded
- distributed constraint optimization problems
- belief change
- minority game