Temporal Reasoning Under Generalized Fairness Constraints.
E. Allen EmersonChin-Laung LeiPublished in: STACS (1986)
Keyphrases
- temporal reasoning
- constraint networks
- temporal constraints
- path consistency
- disjunctive temporal
- qualitative and quantitative
- interval algebra
- consistency checking
- temporal information
- temporal intervals
- temporal constraint networks
- spatial reasoning
- reasoning tasks
- temporal knowledge
- point algebra
- uncertainty management
- temporal relations
- series parallel
- event calculus
- constraint reasoning
- constraint programming
- simple temporal
- constraint language
- constraint satisfaction
- search space