Heshan Du
Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable
Du, Heshan; Alechina, Natasha
Authors
Natasha Alechina
Abstract
Several qualitative spatial logics used in reasoning about geospatial data have a sound and complete axiomatisation over metric spaces. It has been open whether the same ax-iomatisation is also sound and complete for 2D Euclidean spaces. We answer this question negatively by showing that the axiomatisations presented in (Du et al. 2013; Du and Alechina 2016) are not complete for 2D Euclidean spaces and, moreover, the logics are not finitely axiomatisable.
Citation
Du, H., & Alechina, N. (2019, January). Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable. Presented at 33rd AAAI Conference on Artificial Intelligence (AAAI-19), Honolulu, Hawaii, USA
Presentation Conference Type | Edited Proceedings |
---|---|
Conference Name | 33rd AAAI Conference on Artificial Intelligence (AAAI-19) |
Start Date | Jan 27, 2019 |
End Date | Feb 1, 2019 |
Acceptance Date | Oct 31, 2018 |
Online Publication Date | Jul 17, 2019 |
Publication Date | Jul 17, 2019 |
Deposit Date | Dec 7, 2018 |
Publicly Available Date | Sep 18, 2019 |
Volume | 33 |
Pages | 2776-2783 |
Series ISSN | 2374-3468 |
Book Title | Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI-19) |
ISBN | 978-1-57735-836-7 |
DOI | https://doi.org/10.1609/aaai.v33i01.33012776 |
Public URL | https://nottingham-repository.worktribe.com/output/1383431 |
Publisher URL | https://aaai.org/Press/Proceedings/proceedings.php |
Related Public URLs | https://aaai.org/Conferences/AAAI-19/ |
Contract Date | Dec 7, 2018 |
Files
Aaai19-paper3144-DuAlechina-v9
(249 Kb)
PDF
Downloadable Citations
About Repository@Nottingham
Administrator e-mail: discovery-access-systems@nottingham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2025
Advanced Search