Guaranteeing Temporal Validity with a Real-Time Logic of Knowledg.

Stuart Anderson Juliana Küster Filipe

Published in: ICDCS Workshops (2003)

Keyphrases

real time
linear temporal logic
spatio temporal
control system
logic programming
temporal databases
low cost
spatial and temporal
modal logic
temporal reasoning
real time systems
database systems
quality of service
temporal patterns
computational properties
asynchronous circuits