Undecidability of Multi-modal Hybrid Logics.

Martin Mundhenk Thomas Schneider

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

multi modal
multi modality
expressive power
modal logic
image annotation
high dimensional
audio visual
cross modal
description logics
number restrictions
fusing multiple
image processing
high level
semantic concepts