Tractability of Quantified Temporal Constraints To The Max.
Manuel BodirskyHubie ChenMichal WronaPublished in: CoRR (2021)
Keyphrases
- temporal constraints
- temporal reasoning
- constraint propagation
- simple temporal
- constraint reasoning
- temporal constraint networks
- np complete
- temporal information
- constraint satisfaction problems
- constraint satisfaction
- resource constraints
- workflow systems
- temporal aspects
- clinical guidelines
- interval algebra
- tractable classes
- computational complexity
- consistency checking
- maximal tractable
- temporal events
- databases