License: Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.COSIT.2019.26
URN: urn:nbn:de:0030-drops-111183
URL: https://drops.dagstuhl.de/opus/volltexte/2019/11118/
Go to the corresponding LIPIcs Volume Portal


Li, Beidi ; Bhatt, Mehul ; Schultz, Carl

lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper)

pdf-format:
LIPIcs-COSIT-2019-26.pdf (2 MB)


Abstract

We present a framework and proof-of-concept implementation for functional spatial reasoning within high-order logic programming. The developed approach extends lambdaProlog to support reasoning over spatial variables via Constraint Handling Rules. We implement our approach within Embeddable lambdaProlog Interpreter (ELPI) and demonstrate key features from combined reasoning over spatial functions and relations. The reported research is an ongoing development of the declarative spatial reasoning paradigm.

BibTeX - Entry

@InProceedings{li_et_al:LIPIcs:2019:11118,
  author =	{Beidi Li and Mehul Bhatt and Carl Schultz},
  title =	{{lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper)}},
  booktitle =	{14th International Conference on Spatial Information Theory (COSIT 2019)},
  pages =	{26:1--26:8},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-115-3},
  ISSN =	{1868-8969},
  year =	{2019},
  volume =	{142},
  editor =	{Sabine Timpf and Christoph Schlieder and Markus Kattenbeck and Bernd Ludwig and Kathleen Stewart},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2019/11118},
  URN =		{urn:nbn:de:0030-drops-111183},
  doi =		{10.4230/LIPIcs.COSIT.2019.26},
  annote =	{Keywords: Spatial reasoning, Functional logic programming, Lambda-Prolog}
}

Keywords: Spatial reasoning, Functional logic programming, Lambda-Prolog
Collection: 14th International Conference on Spatial Information Theory (COSIT 2019)
Issue Date: 2019
Date of publication: 03.09.2019


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