Keyphrases
- spatio temporal
- temporal constraints
- temporal data
- temporal analysis
- temporal reasoning
- temporal databases
- spatial and temporal
- temporal relations
- expert systems
- temporal information
- theorem proving
- temporal patterns
- formal proofs
- database
- time stamped
- temporal dimension
- temporal relationships
- information systems
- machine learning
- databases