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
|
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: | 28 Aug 2021 16:38 |
URI: | http://eprints.hud.ac.uk/id/eprint/29805 |
Downloads
Downloads per month over past year
Repository Staff Only: item control page
![]() |
View Item |