Keyphrases
- linear temporal logic
- spatial and temporal
- temporal reasoning
- temporal constraints
- spatio temporal
- multi valued
- asynchronous circuits
- temporal consistency
- temporal data
- temporal knowledge
- time stamped
- automated reasoning
- temporal patterns
- modal logic
- temporal information
- logic programming
- real time
- logical framework
- classical logic
- defeasible logic
- space time
- image sequences
- proof theory
- artificial intelligence