Answer set programming for qualitative spatio-temporal reasoning: Methods and experiments

Christopher Brenton, Wolfgang Faber, Sotiris Batsakis

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

5 Citations (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. An implementation of these transformations is provided by a tool that transforms problem instances specified in the language of the Generic Qualitative Reasoner (GQR) into ASP problems. Finally, we report on an experimental analysis of solving consistency problems for Allen's Interval Algebra and the Region Connection Calculus with eight base relations (RCC-8).

Original languageEnglish
Title of host publicationTechnical Communications of the 32nd International Conference on Logic Programming
Subtitle of host publicationICLP 2016
EditorsManuel Carro, Andy King, Neda Saeedloei, Marina De Vos
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages4:1-4:15
Number of pages15
Volume52
ISBN (Electronic)9783959770071
DOIs
Publication statusPublished - 13 Nov 2016
Event32nd International Conference on Logic Programming - New York City, United States
Duration: 16 Oct 201621 Oct 2016
Conference number: 32
http://software.imdea.org/Conferences/ICLP2016/ (Link to Conference Website)

Conference

Conference32nd International Conference on Logic Programming
Abbreviated titleICLP 2016
CountryUnited States
CityNew York City
Period16/10/1621/10/16
Internet address

Fingerprint Dive into the research topics of 'Answer set programming for qualitative spatio-temporal reasoning: Methods and experiments'. Together they form a unique fingerprint.

  • Cite this

    Brenton, C., Faber, W., & Batsakis, S. (2016). Answer set programming for qualitative spatio-temporal reasoning: Methods and experiments. In M. Carro, A. King, N. Saeedloei, & M. D. Vos (Eds.), Technical Communications of the 32nd International Conference on Logic Programming: ICLP 2016 (Vol. 52, pp. 4:1-4:15). [4] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/OASIcs.ICLP.2016.4