On the Complexity of Fragments of Horn Modal Logics.

Davide Bresolin Emilio Muñoz-Velasco Guido Sciavicco

Published in: TIME (2016)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
nonmonotonic logics
computational complexity
classical logic
worst case
epistemic logic
default logic
decision problems
situation calculus
cooperative
sufficient conditions
np hard
theorem proving
special case
reinforcement learning
bayesian networks