Keyphrases
- linear temporal logic
- spatio temporal
- temporal information
- temporal data
- spatial and temporal
- temporal reasoning
- classical logic
- temporal constraints
- temporal behavior
- temporal aspects
- temporal consistency
- temporal evolution
- automated reasoning
- modal logic
- multi valued
- databases
- real time
- database
- temporal patterns
- expressive power
- case study
- computational properties
- information retrieval
- temporal analysis
- neural network
- asynchronous circuits
- data sets