The Complexity of One-Agent Refinement Modal Logic.
Laura BozzelliHans van DitmarschSophie PinchinatPublished in: JELIA (2012)
Keyphrases
- modal logic
- dynamic logic
- temporal logic
- decision procedures
- inference rules
- multi agent
- epistemic logic
- multiagent systems
- nonmonotonic logics
- classical logic
- multi agent systems
- prime implicates
- conditional logic
- intelligent agents
- situation calculus
- dynamic environments
- explanation based generalization
- worst case
- default logic
- decision making
- modal operators
- agent technology
- computational complexity
- expert systems
- probability distribution
- decision problems
- software agents
- model checking
- description logic alc