Branching interval algebra: An almost complete picture.
Alessandro BertagnonMarco GavanelliAlessandro PassantinoGuido SciaviccoStefano TrevisaniPublished in: Inf. Comput. (2021)
Keyphrases
- complete picture
- interval algebra
- temporal reasoning
- temporal constraints
- path consistency
- point algebra
- constraint propagation
- temporal relations
- constraint networks
- temporal information
- reasoning problems
- branch and bound
- qualitative spatial and temporal reasoning
- reasoning tasks
- maximal tractable
- constraint solving
- answer set programming
- qualitative and quantitative
- special case
- combinatorial optimization