Temporal Reasoning over Linear Discrete Time.
Manuel EncisoInman P. de GuzmánCarlos RossiPublished in: JELIA (1996)
Keyphrases
- temporal reasoning
- temporal constraints
- qualitative and quantitative
- series parallel
- temporal information
- event calculus
- temporal constraint networks
- reasoning tasks
- spatial reasoning
- constraint networks
- temporal knowledge
- consistency checking
- simple temporal
- temporal relations
- uncertainty management
- relational databases
- knowledge base
- path consistency
- metadata