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
Towards a Declarative Spatial Reasoning System
University of Bremen, Bremen, Germany.
University of Bremen, Bremen, Germany. (AASS)ORCID iD: 0000-0002-6290-5492
2012 (English)In: ECAI 2012: 20th European Conference on Artificial Intelligence, 27-31 August 2012, Montpellieer, France : including Prestigious Applications of Artificial Intelligence (PAIS-2010) systems demonstrations track : proceedings / [ed] Luc De Raedt, Christian Bessiere, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz, Peter Lucas, IOS Press , 2012, Vol. 242, p. 925-926Conference paper, Published paper (Refereed)
Abstract [en]

We present early results on the development of a declarative spatial reasoning system within the context of the Constraint Logic Programming (CLP) framework. The system is capable of modelling and reasoning about qualitative spatial relations pertaining to multiple spatial domains, i.e., one or more aspects of space such as topology, and intrinsic and extrinsic orientation. It provides a seamless mechanism for combining formal qualitative spatial calculi within one framework, and provides a Prolog-based declarative interface for AI applications to abstract and reason about quantitative, geometric information in a qualitative manner. Based on previous work concerning the formalisation of the framework [ 2], we present ongoing work to develop the theoretical result into a comprehensive reasoning system (and Prolog-based library) which may be used independently, or as a logic-based module within hybrid intelligent systems.

Place, publisher, year, edition, pages
IOS Press , 2012. Vol. 242, p. 925-926
Series
Frontiers in Artificial Intelligence and Applications, ISSN 0922-6389 ; 242
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:oru:diva-64254DOI: 10.3233/978-1-61499-098-7-925ISI: 000349006300168Scopus ID: 2-s2.0-84878782007ISBN: 978-1-61499-097-0 (print)ISBN: 978-1-61499-098-7 (electronic)OAI: oai:DiVA.org:oru-64254DiVA, id: diva2:1174470
Conference
20th European Conference on Artificial Intelligence (ECAI 2012), Montpellieer, France, August 27-31, 2012
Available from: 2018-01-15 Created: 2018-01-15 Last updated: 2018-01-19Bibliographically 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: 47 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