Some Decidability Results for Duration Calculus under Synchronous Interpretation.

Manoranjan Satpathy Dang Van Hung Paritosh K. Pandya

Published in: FTRTFT (1998)

Keyphrases

type checking
description logics
image interpretation
automated deduction
information retrieval
case study
multiscale
algebraic structure
database query languages
database
machine learning
computer vision
relational calculus