Logics for Real Time: Decidability and Complexity.

Yoram Hirshfeld Alexander Moshe Rabinovich

Published in: Fundam. Informaticae (2004)

Keyphrases

real time
low cost
worst case
decision procedures
control system
machine learning
neural network
description logics
real time systems
query processing
computational complexity
wireless sensor networks
high speed
decision problems
query answering
modal logic
databases