Complexity of Hybrid Logics over Transitive Frames

Martin Mundhenk Thomas Schneider Thomas Schwentick Volker Weber

Published in: CoRR (2008)

Keyphrases

computational cost
worst case
expressive power
modal logic
real time
social networks
computational complexity
inference rules
computer vision
information systems
e learning
search algorithm
expert systems
visual features
image frames