Large Scale Reasoning Using Allen's Interval Algebra.
Matthew MantleSotirios BatsakisGrigoris AntoniouPublished in: MICAI (2) (2016)
Keyphrases
- interval algebra
- reasoning problems
- reasoning tasks
- temporal reasoning
- point algebra
- maximal tractable
- temporal constraints
- description logics
- path consistency
- constraint networks
- logic programming
- temporal relations
- automated reasoning
- temporal information
- constraint propagation
- qualitative spatial and temporal reasoning
- spatial reasoning
- consistency checking
- answer set programming
- qualitative and quantitative
- computational properties
- decision procedures
- tree decomposition
- constraint satisfaction problems
- knowledge representation
- knowledge base
- constraint satisfaction
- expressive power
- np complete