Identifying Tractable Quantified Temporal Constraints within Ord-Horn.
Jakub RydvalZaneta SemanisinováMichal WronaPublished in: CoRR (2024)
Keyphrases
- temporal constraints
- interval algebra
- temporal reasoning
- ord horn
- point algebra
- simple temporal
- maximal tractable
- constraint propagation
- path consistency
- temporal information
- temporal constraint networks
- workflow systems
- consistency checking
- qualitative temporal reasoning
- temporal relations
- low level
- heuristic search
- constraint satisfaction problems