Certain Bounds of Formulas in Free Temporal Algebras.
Francisco Miguel García-OlmedoAntonio J. Rodríguez SalasPedro González-RodelasPublished in: Axioms (2023)
Keyphrases
- temporal reasoning
- lower bound
- spatio temporal
- upper bound
- temporal constraints
- temporal information
- spatial and temporal
- interval algebra
- temporal databases
- temporal consistency
- lower and upper bounds
- temporal data
- temporal relations
- knowledge base
- upper and lower bounds
- average case
- temporal logic
- temporal evolution
- temporal dimension
- error bounds
- moving objects
- totally ordered