Concerted Instant-Interval Temporal Semantics II: Temporal Valuations and Logics of Change.
Alexander BochmanPublished in: Notre Dame J. Formal Log. (1990)
Keyphrases
- spatio temporal
- temporal information
- temporal dimension
- temporal constraints
- temporal data
- spatial and temporal
- temporal databases
- temporal reasoning
- temporal patterns
- temporal relations
- temporal consistency
- temporal analysis
- temporal evolution
- expressive power
- database
- temporal structure
- epistemic logic
- video sequences
- databases