Solving Qualitative Spatio-temporal Reasoning Problems by Means of Answer Set Programming: Methods and Experiments

Christopher Brenton, Wolfgang Faber, Sotirios Batsakis

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

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 languageEnglish
Title of host publicationProceedings of 8th Workshop on Answer Set Programming and Other Computing Paradigms
PublisherComputing Research Repository (CoRR)
Number of pages15
Publication statusPublished - Aug 2015
Event8th Workshop on Answer Set Programming and Other Computing Paradigms - Cork, Ireland
Duration: 31 Aug 201531 Aug 2015
Conference number: 8
https://sites.google.com/site/aspocp2015/

Conference

Conference8th Workshop on Answer Set Programming and Other Computing Paradigms
Abbreviated titleASPOCP 2015
CountryIreland
CityCork
Period31/08/1531/08/15
Internet address

Fingerprint Dive into the research topics of 'Solving Qualitative Spatio-temporal Reasoning Problems by Means of Answer Set Programming: Methods and Experiments'. Together they form a unique fingerprint.

Cite this