Axiomatizing Discrete Spatial Relations

Sindoni, G orcid.org/0000-0003-4003-2317, Sano, K orcid.org/0000-0002-7780-423X and Stell, JG orcid.org/0000-0001-9644-1908 (2018) Axiomatizing Discrete Spatial Relations. In: RAMiCS 2018: Relational and Algebraic Methods in Computer Science. International Conference on Relational and Algebraic Methods in Computer Science, 29 Oct - 02 Nov 2018, Groningen. Springer, Cham , pp. 113-130. ISBN 978-3-030-02148-1

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Copyright, Publisher and Additional Information:

© Springer Nature Switzerland AG 2018. This is a post-peer-review, pre-copyedit version of an article published in Lecture Notes in Computer Science volume 11194. The final authenticated version is available online at: https://doi.org/10.1007/978-3-030-02149-8_8.

Keywords: Spatial Relations; Discrete Space; Intuitionistic-Modal Logic; Qualitative Representation and Reasoning
Dates:
  • Published: 6 October 2018
  • Accepted: 16 August 2018
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 29 Oct 2018 11:17
Last Modified: 17 Dec 2024 11:29
Status: Published
Publisher: Springer, Cham
Identification Number: 10.1007/978-3-030-02149-8_8
Related URLs:
Open Archives Initiative ID (OAI ID):

Export

Statistics