To Örebro University

oru.seÖrebro University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Numerical Optimisation Based Characterisation of Spatial Reasoning
University of Münster, Münster, Germany; The DesignSpace Group, Bremen, Germany.
University of Bremen, Bremen, Germany; The DesignSpace Group, Bremen, Germany. (AASS)ORCID iD: 0000-0002-6290-5492
2016 (English)In: Rule Technologies. Research, Tools, and Applications: 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / [ed] Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman, Springer, 2016, p. 199-207Conference paper, Published paper (Refereed)
Abstract [en]

We present a novel numerical optimisation based characterisation of spatial reasoning in the context of constraint logic programming (CLP). The approach —formalised and implemented within CLP— is developed as an extension to CLP(QS), a declarative spatial reasoning framework providing a range of mixed quantitative-qualitative spatial representation and reasoning capabilities. We demonstrate the manner in which the numerical optimisation based extensions further enhance the declarative spatial reasoning capabilities of CLP(QS).

Place, publisher, year, edition, pages
Springer, 2016. p. 199-207
Series
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 9718
Keywords [en]
Numerical optimisation; Declarative spatial reasoning; Constraint logic programming; Geometric and spatial reasoning
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:oru:diva-63600DOI: 10.1007/978-3-319-42019-6_13ISI: 000387770700013Scopus ID: 2-s2.0-84979021170ISBN: 978-3-319-42018-9 (print)ISBN: 978-3-319-42019-6 (print)OAI: oai:DiVA.org:oru-63600DiVA, id: diva2:1168909
Conference
10th International Symposium (RuleML 2016), Stony Brook, NY, USA, July 6-9, 2016
Available from: 2017-12-21 Created: 2017-12-21 Last updated: 2018-01-19Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Bhatt, Mehul

Search in DiVA

By author/editor
Bhatt, Mehul
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 326 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf