Spatial reasoning with RCC 8 and connectedness constraints in Euclidean spaces

, &
Artificial Intelligence 217 (C):43-75 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2014.07.012

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Prolegomena to a cognitive investigation of Euclidean diagrammatic reasoning.Yacin Hamami & John Mumma - 2013 - Journal of Logic, Language and Information 22 (4):421-448.
Topology, connectedness, and modal logic.Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter & Michael Zakharyaschev - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 151-176.
Topology, connectedness, and modal logic.Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter & Michael Zakharyaschev - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 151-176.
A Logic for Metric and Topology.Frank Wolter & Michael Zakharyaschev - 2005 - Journal of Symbolic Logic 70 (3):795 - 828.
A Priori Concepts in Euclidean Proof.Peter Fisher Epstein - 2018 - Proceedings of the Aristotelian Society 118 (3):407-417.
Kant's Views on Non-Euclidean Geometry.Michael Cuffaro - 2012 - Proceedings of the Canadian Society for History and Philosophy of Mathematics 25:42-54.
Human diagrammatic reasoning and seeing-as.Annalisa Coliva - 2012 - Synthese 186 (1):121-148.
Husserl on Geometry and Spatial Representation.Jairo José Silva - 2012 - Axiomathes 22 (1):5-30.
Husserl on Geometry and Spatial Representation.Jairo José da Silva - 2012 - Axiomathes 22 (1):5-30.
The Contact Algebra of the Euclidean Plane has Infinitely Many Elements.Thomas Mormann - manuscript
Elementary polyhedral mereotopology.Ian Pratt-Hartmann & Dominik Schoop - 2002 - Journal of Philosophical Logic 31 (5):469-498.
A Canonical Model of the Region Connection Calculus.Jochen Renz - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):469-494.
Heyting Mereology as a Framework for Spatial Reasoning.Thomas Mormann - 2013 - Axiomathes 23 (1):137- 164.
Euclidean Functions of Computable Euclidean Domains.Rodney G. Downey & Asher M. Kach - 2011 - Notre Dame Journal of Formal Logic 52 (2):163-172.
A Geometric study of Wasserstein spaces: Euclidean spaces.Benoît Kloeckner - 2010 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 9 (2):297-323.

Analytics

Added to PP
2020-12-22

Downloads
7 (#1,356,784)

6 months
5 (#629,136)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

A calculus of individuals based on "connection".Bowman L. Clarke - 1981 - Notre Dame Journal of Formal Logic 22 (3):204-218.
Point, line, and surface, as sets of solids.Theodore de Laguna - 1922 - Journal of Philosophy 19 (17):449-461.
Individuals and points.Bowman L. Clark - 1985 - Notre Dame Journal of Formal Logic 26 (1):61-75.

View all 6 references / Add more references