License: Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.ICLP.2016.4
URN: urn:nbn:de:0030-drops-67352
URL: https://drops.dagstuhl.de/opus/volltexte/2016/6735/
Go to the corresponding OASIcs Volume Portal


Brenton, Christopher ; Faber, Wolfgang ; Batsakis, Sotiris

Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments

pdf-format:
OASIcs-ICLP-2016-4.pdf (0.5 MB)


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).

BibTeX - Entry

@InProceedings{brenton_et_al:OASIcs:2016:6735,
  author =	{Christopher Brenton and Wolfgang Faber and Sotiris Batsakis},
  title =	{{Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments}},
  booktitle =	{Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
  pages =	{4:1--4:15},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-007-1},
  ISSN =	{2190-6807},
  year =	{2016},
  volume =	{52},
  editor =	{Manuel Carro and Andy King and Neda Saeedloei and Marina De Vos},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2016/6735},
  URN =		{urn:nbn:de:0030-drops-67352},
  doi =		{10.4230/OASIcs.ICLP.2016.4},
  annote =	{Keywords: answer set programming, qualitative spatio-temporal reasoning}
}

Keywords: answer set programming, qualitative spatio-temporal reasoning
Collection: Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)
Issue Date: 2016
Date of publication: 11.11.2016


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI