Till Örebro universitet

oru.seÖrebro universitets publikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Ingå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-207Konferensbidrag, Publicerat paper (Refereegranskat)
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).

Ort, förlag, år, upplaga, sidor
Springer, 2016. s. 199-207
Serie
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 9718
Nyckelord [en]
Numerical optimisation; Declarative spatial reasoning; Constraint logic programming; Geometric and spatial reasoning
Nationell ämneskategori
Datavetenskap (datalogi)
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
Konferens
10th International Symposium (RuleML 2016), Stony Brook, NY, USA, July 6-9, 2016
Tillgänglig från: 2017-12-21 Skapad: 2017-12-21 Senast uppdaterad: 2018-01-19Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Person

Bhatt, Mehul

Sök vidare i DiVA

Av författaren/redaktören
Bhatt, Mehul
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 364 träffar
RefereraExporteraLänk till posten
Permanent länk

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