Formalising Temporal Constraints on Part-Whole Relations.
Alessandro ArtaleNicola GuarinoC. Maria KeetPublished in: KR (2008)
Keyphrases
- temporal constraints
- temporal reasoning
- interval algebra
- constraint propagation
- simple temporal
- temporal knowledge
- temporal information
- temporal relations
- temporal constraint networks
- workflow systems
- resource constraints
- consistency checking
- clinical guidelines
- constraint reasoning
- constraint networks
- incremental algorithms
- constraint satisfaction problems
- path consistency
- functional dependencies
- point algebra
- temporal aspects
- spatial relations
- spatial information