The Complexity of One-Agent Refinement Modal Logic.

Laura Bozzelli Hans van Ditmarsch Sophie Pinchinat

Published 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