The Logic of Discrete Qualitative Relations

Sindoni, G and Stell, JG (2017) The Logic of Discrete Qualitative Relations. In: Clementini, E, Donnelly, M, Yuan, M, Kray, C, Fogliaroni, P and Ballatore, A, (eds.) LIPIcs : Leibniz International Proceedings in Informatics. 13th International Conference on Spatial Information Theory (COSIT2017), 04-08 Sep 2017, L’Aquila, Italy. Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik ISBN 978-3-95977-043-9

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
  • Sindoni, G
  • Stell, JG
Editors:
  • Clementini, E
  • Donnelly, M
  • Yuan, M
  • Kray, C
  • Fogliaroni, P
  • Ballatore, A
Copyright, Publisher and Additional Information:

© Giulia Sindoni and John G. Stell; licensed under Creative Commons License CC-BY.

Keywords: Modal logic; Qualitative spatial reasoning; Discrete space
Dates:
  • Accepted: 25 April 2017
  • Published: September 2017
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: 19 Jun 2017 12:13
Last Modified: 17 Nov 2017 14:11
Status: Published
Publisher: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
Identification Number: 10.4230/LIPIcs.COSIT.2017.1
Open Archives Initiative ID (OAI ID):

Export

Statistics