Search:
Computing and Library Services - delivering an inspiring information environment

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

Brenton, Christopher, Faber, Wolfgang and Batsakis, Sotiris (2016) Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments. In: Technical Communications of the 32nd International Conference on Logic Programming (ICLP'16). OASIcs, 52 . Dagstuhl. ISBN 978359770071

[img]
Preview
PDF - Published Version
Available under License Creative Commons Attribution.

Download (345kB) | Preview

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

Item Type: Book Chapter
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Q Science > QA Mathematics > QA76 Computer software
Schools: School of Computing and Engineering
School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge
School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge
Related URLs:
Depositing User: Wolfgang Faber
Date Deposited: 08 Nov 2016 11:24
Last Modified: 05 Oct 2017 08:28
URI: http://eprints.hud.ac.uk/id/eprint/29805

Downloads

Downloads per month over past year

Repository Staff Only: item control page

View Item View Item

University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©