An Algebraic Formulation of Temporal Knowledge for Reasoning about Recurring Events.
Robert A. MorrisWilliam D. ShoaffLina KhatibPublished in: TIME (1994)
Keyphrases
- temporal knowledge
- temporal reasoning
- temporal information
- event types
- temporal logic
- formal representation
- spatial reasoning
- temporal constraints
- representation language
- temporal patterns
- first order logic
- video sequences
- data mining
- software engineering
- conceptual modeling
- temporal data
- natural language
- model checking
- temporal abstractions
- artificial intelligence
- statistical analysis