Representing and propagating constraints in temporal reasoning.
H. TolbaFrançois CharpilletJean Paul HatonPublished in: ICTAI (1991)
Keyphrases
- temporal reasoning
- constraint networks
- temporal constraints
- path consistency
- disjunctive temporal
- consistency checking
- temporal information
- qualitative and quantitative
- temporal intervals
- reasoning tasks
- spatial reasoning
- temporal constraint networks
- interval algebra
- event calculus
- constraint language
- temporal knowledge
- simple temporal
- point algebra
- uncertainty management
- temporal relations
- constraint reasoning
- series parallel
- maximal tractable
- mutual exclusion
- logic programs
- constraint satisfaction