The Token Reification Approach to Temporal Reasoning.
Lluís VilaHan ReichgeltPublished in: Artif. Intell. (1996)
Keyphrases
- temporal reasoning
- temporal constraints
- temporal information
- qualitative and quantitative
- reasoning tasks
- temporal constraint networks
- uncertainty management
- temporal knowledge
- constraint networks
- spatial reasoning
- event calculus
- constraint reasoning
- consistency checking
- series parallel
- interval algebra
- knowledge base
- disjunctive temporal
- path consistency
- mobile devices
- temporal relations
- domain knowledge
- xml documents
- three dimensional