Complexity of hybrid logics over transitive frames.

Martin Mundhenk Thomas Schneider Thomas Schwentick Volker Weber

Published in: J. Appl. Log. (2010)

Keyphrases

real time
inference rules
multimedia
computational complexity
computational cost
worst case
modal logic
description logics
preference relations
multi frame
frame rate
decision problems
bit rate
logic programming
computer vision
genetic algorithm
data sets