2 papers
cs.AI2020
Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming
Yusuf Izmirlioglu, Esra Erdem
We propose a novel formal framework (called 3D-nCDC-ASP) to represent and reason about cardinal directions between extended objects in 3-dimensional (3D) space, using Answer Set Pr…
cs.AI2019
Reasoning about Qualitative Direction and Distance between Extended Objects using Answer Set Programming
Yusuf Izmirlioglu
In this thesis, we introduce a novel formal framework to represent and reason about qualitative direction and distance relations between extended objects using Answer Set Programmi…