Quantitative Temporal Reasoning.
E. Allen EmersonAloysius K. MokA. Prasad SistlaJai SrinivasanPublished in: Real Time Syst. (1992)
Keyphrases
- temporal reasoning
- qualitative and quantitative
- temporal constraints
- spatial reasoning
- temporal information
- event calculus
- temporal relations
- temporal constraint networks
- path consistency
- constraint networks
- series parallel
- uncertainty management
- reasoning tasks
- temporal knowledge
- simple temporal
- constraint reasoning
- relational databases
- consistency checking
- knowledge representation