Abstract
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).
| Original language | English |
|---|---|
| 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 https://sites.google.com/site/aspocp2015/ |
Conference
| Conference | 8th Workshop on Answer Set Programming and Other Computing Paradigms |
|---|---|
| Abbreviated title | ASPOCP 2015 |
| Country/Territory | Ireland |
| City | Cork |
| Period | 31/08/15 → 31/08/15 |
| Internet address |