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
CLP(QS): A Declarative Spatial Reasoning Framework
Spatial Cognition Research Center (SFB/TR 8), University of Bremen, Bremen, Germany. (AASS)ORCID iD: 0000-0002-6290-5492
Spatial Cognition Research Center (SFB/TR 8), University of Bremen, Bremen, Germany.
Spatial Cognition Research Center (SFB/TR 8), University of Bremen, Bremen, Germany.
2011 (English)In: Spatial Information Theory: 10th International Conference, COSIT 2011, Belfast, ME, USA, September 12-16, 2011. Proceedings / [ed] Max Egenhofer, Nicholas Giudice, Reinhard Moratz, Michael Worboys, Springer , 2011, Vol. 6899, p. 210-230Conference paper, Published paper (Refereed)
Abstract [en]

We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We systematically formalize and implement the semantics of a range of qualitative spatial calculi using a system of non-linear polynomial equations in the context of a classical constraint logic programming framework. Whereas CLP(QS) is a general framework, we demonstrate its applicability for the domain of Computer Aided Architecture Design. With CLP(QS) serving as a prototype, we position declarative spatial reasoning as a general paradigm open to other formalizations, reinterpretations, and extensions. We argue that the accessibility of qualitative spatial representation and reasoning mechanisms via the medium of high-level, logic-based formalizations is crucial for their utility toward solving real-world problems.

Place, publisher, year, edition, pages
Springer , 2011. Vol. 6899, p. 210-230
Series
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 6899
Keywords [en]
geometric and qualitative spatial reasoning; constraint logic programming; declarative programming; spatial computing; architecture design
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:oru:diva-64259DOI: 10.1007/978-3-642-23196-4_12ISI: 000307083100012Scopus ID: 2-s2.0-80052980536ISBN: 978-3-642-23195-7 (print)ISBN: 978-3-642-23196-4 (electronic)OAI: oai:DiVA.org:oru-64259DiVA, id: diva2:1174458
Conference
10th International Conference on Spatial Information Theory (COSIT 2011), Belfast, ME, United States, September 12-16, 2011
Available from: 2018-01-15 Created: 2018-01-15 Last updated: 2018-01-22Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

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: 46 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