Qualitative Spatial Logics for Buffered Geometries

Du, H orcid.org/0000-0002-6300-3503 and Alechina, N (2016) Qualitative Spatial Logics for Buffered Geometries. Journal of Artificial Intelligence Research, 56. pp. 693-745. ISSN 1943-5037



Copyright, Publisher and Additional Information: (c) 2016 , Association for the Advancement of Artificial Intelligence. This is an author produced version of a paper published in . Uploaded in accordance with the publisher's self-archiving policy
Keywords: qualitative spatial logic; geospatial data matching; soundness; completeness; decidability; complexity
  • Published: 31 August 2016
  • Accepted: 18 July 2016
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds) > Artificial Intelligence & Biological Systems (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 07 Sep 2016 10:01
Last Modified: 21 Jan 2018 19:15
Published Version: http://dx.doi.org/10.1613/jair.5140
Status: Published
Publisher: Association for the Advancement of Artificial Intelligence
Identification Number: https://doi.org/10.1613/jair.5140

Share / Export