Combinative Reasoning with RCC5 and Cardinal Direction Relations.
Juan ChenDayou LiuChanghai ZhangQi XiePublished in: KSEM (2007)
Keyphrases
- cardinal directions
- qualitative spatial
- cardinal direction relations
- qualitative spatial reasoning
- spatial reasoning
- consistency checking
- spatial representation and reasoning
- topological relations
- topological relationships
- maximal tractable
- spatial relations
- spatial databases
- binary relations
- qualitative reasoning
- image sequences
- spatial objects
- knowledge representation
- qualitative information
- human robot interaction
- theorem prover
- closely related
- multi dimensional