λProlog(QS): Functional spatial reasoning in higher order logic programming

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

We present a framework and proof-of-concept implementation for functional spatial reasoning within high-order logic programming. The developed approach extends λProlog to support reasoning over spatial variables via Constraint Handling Rules. We implement our approach within Embeddable λProlog 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.

OriginalsprogEngelsk
Titel14th International Conference on Spatial Information Theory, COSIT 2019
RedaktørerSabine Timpf, Christoph Schlieder, Markus Kattenbeck, Bernd Ludwig, Kathleen Stewart
ForlagSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Udgivelsesårsep. 2019
Artikelnummer26
ISBN (Elektronisk)9783959771153
DOI
StatusUdgivet - sep. 2019
Begivenhed14th International Conference on Spatial Information Theory, COSIT 2019 - Regensburg, Tyskland
Varighed: 9 sep. 201913 sep. 2019

Konference

Konference14th International Conference on Spatial Information Theory, COSIT 2019
LandTyskland
ByRegensburg
Periode09/09/201913/09/2019
SerietitelLeibniz International Proceedings in Informatics, LIPIcs
Vol/bind142
ISSN1868-8969

Se relationer på Aarhus Universitet Citationsformater

ID: 168249687