Fair Derivations in Monodic Temporal Reasoning.
Michel LudwigUllrich HustadtPublished in: CADE (2009)
Keyphrases
- temporal reasoning
- temporal constraints
- predicate logic
- qualitative and quantitative
- temporal information
- constraint networks
- uncertainty management
- event calculus
- spatial reasoning
- reasoning tasks
- temporal constraint networks
- temporal knowledge
- path consistency
- temporal relations
- series parallel
- inference rules
- constraint reasoning
- simple temporal
- three dimensional
- interval algebra
- consistency checking
- temporal data
- temporal intervals
- feature extraction