Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming.
Yusuf IzmirliogluEsra ErdemPublished in: CoRR (2020)
Keyphrases
- answer set programming
- cardinal directions
- qualitative spatial
- qualitative spatial reasoning
- logic programming
- logic programs
- answer sets
- spatial objects
- consistency checking
- answer set programs
- binary relations
- knowledge representation
- spatial relationships
- spatial queries
- spatial relations
- spatial databases
- multi dimensional
- spatial reasoning
- moving objects