The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete.
Laura BozzelliAngelo MontanariAdriano PeronPietro SalaPublished in: Log. Methods Comput. Sci. (2024)
Keyphrases
- pspace complete
- linear temporal logic
- spatio temporal
- temporal logic
- temporal constraints
- temporal information
- logic programming
- modal logic
- temporal data
- temporal databases
- automated reasoning
- temporal relations
- predicate logic
- interval algebra
- temporal behavior
- space time
- model checking
- database
- logical framework
- information systems
- neural network