A Fast Algorithm and Lower Bound for Temporal Reasoning
Manuel BodirskyJan KáraPublished in: CoRR (2008)
Keyphrases
- temporal reasoning
- lower bound
- upper bound
- temporal constraints
- branch and bound
- branch and bound algorithm
- temporal information
- qualitative and quantitative
- event calculus
- temporal knowledge
- constraint networks
- spatial reasoning
- reasoning tasks
- temporal constraint networks
- np hard
- objective function
- worst case
- path consistency
- optimal solution
- series parallel
- temporal relations
- constraint reasoning
- simple temporal
- disjunctive temporal
- uncertainty management
- temporal intervals