Keyphrases
- linear temporal logic
- logic programming
- temporal information
- modal logic
- temporal reasoning
- temporal constraints
- temporal consistency
- spatio temporal
- temporal evolution
- classical logic
- spatial and temporal
- temporal databases
- temporal data
- proof theory
- predicate logic
- time stamped
- genetic algorithm
- logical framework
- temporal dimension
- temporal patterns
- inference rules
- temporal knowledge
- video sequences
- artificial intelligence