To Örebro University

oru.seÖrebro universitets publikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • 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 (engelsk)Inngår i: 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, s. 199-207Konferansepaper, Publicerat paper (Fagfellevurdert)
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).

sted, utgiver, år, opplag, sider
Springer, 2016. s. 199-207
Serie
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 9718
Emneord [en]
Numerical optimisation; Declarative spatial reasoning; Constraint logic programming; Geometric and spatial reasoning
HSV kategori
Identifikatorer
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 (tryckt)ISBN: 978-3-319-42019-6 (tryckt)OAI: oai:DiVA.org:oru-63600DiVA, id: diva2:1168909
Konferanse
10th International Symposium (RuleML 2016), Stony Brook, NY, USA, July 6-9, 2016
Tilgjengelig fra: 2017-12-21 Laget: 2017-12-21 Sist oppdatert: 2018-01-19bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Person

Bhatt, Mehul

Søk i DiVA

Av forfatter/redaktør
Bhatt, Mehul

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 364 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf