Keyphrases
- linear temporal logic
- spatio temporal
- temporal information
- classical logic
- temporal dimension
- temporal reasoning
- neural network
- temporal data
- modal logic
- spatial and temporal
- knowledge base
- databases
- temporal ordering
- temporal databases
- temporal relations
- logical framework
- sound and complete axiomatization
- temporal behavior
- asynchronous circuits
- set theory
- semantic structures
- multi valued
- temporal patterns
- temporal constraints
- space time
- image sequences
- case study
- information systems
- artificial intelligence