The Complexity of One-Agent Refinement Modal Logic.
Laura BozzelliHans van DitmarschSophie PinchinatPublished in: IJCAI (2013)
Keyphrases
- modal logic
- dynamic logic
- temporal logic
- decision procedures
- inference rules
- multi agent
- intelligent agents
- autonomous agents
- classical logic
- decision making
- multi agent systems
- nonmonotonic logics
- multiagent systems
- multiple agents
- conditional logic
- situation calculus
- pspace complete
- epistemic logic
- default logic
- worst case
- computational complexity
- dynamic programming
- model checking
- prime implicates
- agent architecture
- expert systems
- dynamic environments