Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring.

Klaus Hülsmann Gunter Saake

Published in: Acta Informatica (1991)

Keyphrases

temporal reasoning
theoretical foundation
temporal constraints
temporal information
theoretical framework
real time
temporal relations
monitoring system
rough sets
neural network
sensor networks
spatio temporal
database
temporal dimension
condition monitoring
integrity checking
definite clause