Deductive temporal reasoning with constraints.
Clare DixonBoris KonevMichael FisherSherly NietiadiPublished in: J. Appl. Log. (2013)
Keyphrases
- temporal reasoning
- constraint networks
- path consistency
- temporal constraints
- disjunctive temporal
- temporal information
- consistency checking
- qualitative and quantitative
- temporal intervals
- temporal knowledge
- reasoning tasks
- interval algebra
- temporal constraint networks
- point algebra
- spatial reasoning
- event calculus
- uncertainty management
- temporal relations
- series parallel
- simple temporal
- object oriented
- constraint satisfaction
- relational databases