Complexity Results for Modal Dependence Logic

Peter Lohmann Heribert Vollmer

Published in: CoRR (2011)

Keyphrases

modal logic
logic programming
real time
computational complexity
temporal logic
nonmonotonic logics
databases
machine learning
information retrieval
database systems
worst case
complexity analysis
automated reasoning
predicate logic
dynamic logic