The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete.
Laura BozzelliAngelo MontanariAdriano PeronPietro SalaPublished in: CoRR (2022)
Keyphrases
- pspace complete
- temporal reasoning
- spatio temporal
- linear temporal logic
- automated reasoning
- satisfiability problem
- modal logic
- interval algebra
- temporal information
- spatial and temporal
- constraint satisfaction problems
- logic programming
- learning algorithm
- temporal constraints
- temporal data
- temporal evolution
- association rules
- database systems
- information systems