On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus

&
Artificial Intelligence 108 (1-2):69-123 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(99)00002-8

Links

PhilArchive



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

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

A Canonical Model of the Region Connection Calculus.Jochen Renz - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):469-494.
Spatial reasoning in a fuzzy region connection calculus.Steven Schockaert, Martine De Cock & Etienne E. Kerre - 2009 - Artificial Intelligence 173 (2):258-298.
Relational proof systems for spatial reasoning.Joanna Golińska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):409-431.
On Qualitative Route Descriptions: Representation, Agent Models, and Computational Complexity.Matthias Westphal, Stefan Wölfl, Bernhard Nebel & Jochen Renz - 2015 - Journal of Philosophical Logic 44 (2):177-201.
A Connection Based Approach to Common-sense Topological Description and Reasoning.N. M. GottsJ M. GoodayA G. Cohn - 1996 - The Monist 79 (1):51-75.
A Connection Based Approach to Common-sense Topological Description and Reasoning.A. G. Cohn - 1996 - The Monist 79 (1):51-75.
A comment on rcc: From rcc to rcc ++.Tiansi Dong - 2008 - Journal of Philosophical Logic 37 (4):319 - 352.
A Comment on Rcc: From Rcc to Rcc++.Tiansi Dong - 2008 - Journal of Philosophical Logic 37 (4):319-352.
Decomposition and tractability in qualitative spatial and temporal reasoning.Jinbo Huang, Jason Jingshi Li & Jochen Renz - 2013 - Artificial Intelligence 195 (C):140-164.
Tractability and Intractability of Controlled Languages for Data Access.Camilo Thorne & Diego Calvanese - 2012 - Studia Logica 100 (4):787-813.
Types of I -free hereditary right maximal terms.Katalin Bimbó - 2005 - Journal of Philosophical Logic 34 (5/6):607 - 620.
Proof complexity of propositional default logic.Olaf Beyersdorff, Arne Meier, Sebastian Müller, Michael Thomas & Heribert Vollmer - 2011 - Archive for Mathematical Logic 50 (7-8):727-742.
A sound and complete tableau calculus for reasoning about only knowing and knowing at most.Riccardo Rosati - 2001 - Studia Logica 69 (1):171-191.
Boolean connection algebras: A new approach to the Region-Connection Calculus.J. G. Stell - 2000 - Artificial Intelligence 122 (1-2):111-136.
Spatial Reasoning and Ontology: Parts, Wholes, and Locations.Achille C. Varzi - 2007 - In Marco Aiello, Ian E. Pratt-Hartmann & Johan van Benthem (eds.), Handbook of Spatial Logics. Springer Verlag. pp. 945-1038.

Analytics

Added to PP
2020-12-22

Downloads
14 (#983,512)

6 months
12 (#208,422)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Generalized Region Connection Calculus.Sanjiang Li & Mingsheng Ying - 2004 - Artificial Intelligence 160 (1-2):1-34.
A Canonical Model of the Region Connection Calculus.Jochen Renz - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):469-494.
Composing cardinal direction relations.Spiros Skiadopoulos & Manolis Koubarakis - 2004 - Artificial Intelligence 152 (2):143-171.

View all 34 citations / Add more citations

References found in this work

No references found.

Add more references