Keyphrases
- linear temporal logic
- spatio temporal
- spatial and temporal
- temporal reasoning
- knowledge base
- temporal constraints
- predicate logic
- temporal information
- modal logic
- temporal patterns
- temporal data
- temporal dimension
- temporal evolution
- classical logic
- temporal relations
- logic programming
- automated reasoning
- multi valued
- computational properties
- bayesian networks
- database
- temporal databases
- temporal logic
- logical framework
- space time
- temporal consistency
- digital circuits
- artificial intelligence
- temporal aspects
- probabilistic knowledge
- data sets