Keyphrases
- linear temporal logic
- temporal information
- spatio temporal
- temporal reasoning
- logic programming
- spatial and temporal
- temporal relations
- temporal databases
- predicate logic
- databases
- automated reasoning
- classical logic
- temporal logic
- truth values
- temporal constraints
- temporal data
- modal logic
- temporal sequences
- defeasible logic
- temporal dimension
- temporal consistency
- bayesian networks