oru.sePublications
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
Constructive Geometric Constraint Solving as a General Framework for KR-Based Declarative Spatial Reasoning
The Design Space Group, Germany; University of Münster, Germany.
The Design Space Group, Germany; University of Bremen, Germany. (AASS)ORCID iD: 0000-0002-6290-5492
2016 (English)In: Declarative Learning Based Programming: Technical Report WS-16-07, AI Access Foundation , 2016, p. 417-423Conference paper, Published paper (Refereed)
Abstract [en]

We present a robust and scalable KR-centered foundation for modularly supporting general declarative spatial representation and reasoning within diverse declarative programming AI frameworks. Based on Constructive Geometric Constraint Solving, our approach provides the foundations for mixed qualitative-quantitative reasoning about space - mereotopology, relative orientation, size, proximity - encompassing key application-driven capabilities such as qualification, spatial consistency solving, quantification, and dynamic geometry. The paper also demonstrates: (a) the framework with benchmark problems (e.g., contact and orientation problems) and applications in spatial Q/A; (b) integration with constraint logic programming, and (c) empirical results illustrating how the proposed encodings outperform existing methods by orders of magnitude on the selected problems.

Place, publisher, year, edition, pages
AI Access Foundation , 2016. p. 417-423
Keywords [en]
declarative spatial reasoning; knowledge representation and reasoning; logic programming
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:oru:diva-63594Scopus ID: 2-s2.0-8502191305ISBN: 9781577357599 (print)OAI: oai:DiVA.org:oru-63594DiVA, id: diva2:1168921
Conference
30th AAAI Conference on Artificial Intelligence (AAAI 2016), Phoenix, United States, February 12-13, 2016
Available from: 2017-12-21 Created: 2017-12-21 Last updated: 2018-01-13Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

ScopusConstructive Geometric Constraint Solving as a General Framework for KR-Based Declarative Spatial Reasoning

Authority records BETA

Bhatt, Mehul

Search in DiVA

By author/editor
Bhatt, Mehul
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 37 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