Tractability of quantified temporal constraints to the max.
Manuel BodirskyHubie ChenMichal WronaPublished in: Int. J. Algebra Comput. (2014)
Keyphrases
- temporal constraints
- temporal reasoning
- constraint propagation
- temporal information
- np complete
- constraint satisfaction
- constraint satisfaction problems
- simple temporal
- workflow systems
- temporal constraint networks
- constraint reasoning
- tractable classes
- computational complexity
- temporal aspects
- functional dependencies
- plan execution
- qualitative and quantitative
- contextual information
- interval algebra