Login / Signup
Complexity Results for Modal Dependence Logic.
Peter Lohmann
Heribert Vollmer
Published in:
Circuits, Logic, and Games (2010)
Keyphrases
</>
modal logic
worst case
space complexity
nonmonotonic logics
database
real time
databases
artificial intelligence
social networks
image sequences
model checking
transition systems