Decidability of a Hybrid Duration Calculus.

Thomas Bolander Jens Ulrik Hansen Michael R. Hansen

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

Keyphrases

type checking
query answering
description logics
databases
decision procedures
knowledge base
database systems
multiscale
special case