Identifying Tractable Quantified Temporal Constraints Within Ord-Horn.
Jakub RydvalZaneta SemanisinováMichal WronaPublished in: ICALP (2024)
Keyphrases
- temporal constraints
- interval algebra
- temporal reasoning
- ord horn
- point algebra
- constraint propagation
- path consistency
- temporal information
- maximal tractable
- simple temporal
- temporal constraint networks
- constraint satisfaction problems
- qualitative temporal reasoning
- tractable classes
- constraint networks
- workflow systems
- computational complexity
- consistency checking
- np complete
- qualitative and quantitative
- np hard
- databases
- reasoning tasks
- spatial reasoning