Hybrid Logics: Characterization, Interpolation and Complexity.

Carlos Areces Patrick Blackburn Maarten Marx

Published in: J. Symb. Log. (2001)

Keyphrases

expressive power
computational complexity
space complexity
interpolation methods
hybrid approaches
sparse sampling
machine learning
artificial intelligence
image processing
case study
image sequences
video sequences
expert systems
inference rules