We study the translation of reasoning problems involving qualitative spatio-temporal calculi into answer set programming (ASP). We present various alternative transformations and provide a qualitative comparison among them. Furthermore, we provide a tool that transforms problem instances specified in the language of the Generic Qualitative Reasoner (GQR) into ASP problems using the various techniques. Finally, we report on an experimental analysis of solving consistency problems for the Region Connection Calculus with eight base relations (RCC-8).
|Title of host publication||Proceedings of 8th Workshop on Answer Set Programming and Other Computing Paradigms|
|Publisher||Computing Research Repository (CoRR)|
|Number of pages||15|
|Publication status||Published - Aug 2015|
|Event||8th Workshop on Answer Set Programming and Other Computing Paradigms - Cork, Ireland|
Duration: 31 Aug 2015 → 31 Aug 2015
Conference number: 8
|Conference||8th Workshop on Answer Set Programming and Other Computing Paradigms|
|Abbreviated title||ASPOCP 2015|
|Period||31/08/15 → 31/08/15|
Brenton, C., Faber, W., & Batsakis, S. (2015). Solving Qualitative Spatio-temporal Reasoning Problems by Means of Answer Set Programming: Methods and Experiments. In Proceedings of 8th Workshop on Answer Set Programming and Other Computing Paradigms Computing Research Repository (CoRR).