Introduction to Modal and Temporal Mu-Calculi (Abstract).
Julian C. BradfieldPublished in: CONCUR (2002)
Keyphrases
- spatio temporal
- temporal relations
- modal logic
- temporal reasoning
- temporal information
- temporal databases
- interval algebra
- space time
- spatial and temporal
- temporal patterns
- temporal data
- temporal constraints
- temporal ordering
- temporal evolution
- higher level
- data mining
- temporal dimension
- data streams
- temporal behavior
- decision making