An Application-independent Support System for Integrated Assumption-based Temporal Reasoning.
Clemens BecksteinTim GeislerPublished in: TIME (1994)
Keyphrases
- temporal reasoning
- temporal constraints
- temporal information
- temporal knowledge
- uncertainty management
- qualitative and quantitative
- constraint networks
- temporal constraint networks
- spatial reasoning
- reasoning tasks
- event calculus
- series parallel
- constraint reasoning
- high level
- consistency checking
- constraint satisfaction
- interval algebra
- contextual information
- temporal intervals
- reinforcement learning