Improving Reasoning Efficiency for Subclasses of Allen's Algebra with Instantiation Intervals.
Jörg KahlLothar HotzHeiko MildeStephanie WesselPublished in: KI (1999)
Keyphrases
- interval algebra
- maximal tractable
- temporal reasoning
- reasoning tasks
- reasoning problems
- temporal relations
- constraint propagation
- temporal constraints
- path consistency
- point algebra
- computational properties
- endpoints
- temporal information
- description logics
- constraint networks
- automated reasoning
- data model
- consistency checking
- model based diagnosis
- meta level
- databases
- relational algebra
- query language
- knowledge base
- information systems
- data mining