Qualitative Reasoning about 2D Cardinal Directions using Answer Set Programming.
Yusuf IzmirliogluEsra ErdemPublished in: J. Artif. Intell. Res. (2023)
Keyphrases
- answer set programming
- cardinal directions
- qualitative spatial
- qualitative spatial reasoning
- logic programs
- logic programming
- consistency checking
- answer sets
- spatial objects
- spatial databases
- answer set programs
- binary relations
- spatial relations
- spatial reasoning
- formal theory
- qualitative spatial and temporal reasoning
- spatial data
- knowledge representation
- databases
- spatial relationships
- spatial information
- machine learning
- database