Metareasoning for Multi-agent Epistemic Logics.
Konstantine ArkoudasSelmer BringsjordPublished in: CLIMA (2004)
Keyphrases
- multi agent
- epistemic logic
- kripke models
- modal logic
- multi agent systems
- propositional dynamic logic
- expressive power
- modal operators
- dynamic epistemic logic
- cooperative
- multiagent systems
- autonomous agents
- intelligent agents
- inference rules
- decision theoretic
- multi agent planning
- model checking
- database
- multiple agents
- computation tree logic
- cooperative agents
- heterogeneous agents
- agent oriented
- agent behavior
- learning agents
- nonmonotonic logics
- single agent
- conditional logic
- multi agent architecture
- oriented programming
- multi agent coordination
- traffic signal control
- temporal logic
- data streams
- knowledge base
- machine learning