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