Cylindrical algebraic decomposition for reasoning about qualitative spatial knowledge.
Jae Hee LeePublished in: ACM Commun. Comput. Algebra (2010)
Keyphrases
- spatial knowledge
- spatial reasoning
- qualitative spatial
- qualitative spatial reasoning
- qualitative reasoning
- spatial relations
- topological relations
- spatial representation and reasoning
- temporal reasoning
- qualitative simulation
- decomposition method
- cardinal directions
- qualitative information
- decomposition methods
- formal theory
- wavelet packet
- qualitative and quantitative
- causal reasoning
- image decomposition
- quantitative and qualitative
- web documents