Decomposition and tractability in qualitative spatial and temporal reasoning

, &
Artificial Intelligence 195 (C):140-164 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2012.09.009

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

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 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.
On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus.Jochen Renz & Bernhard Nebel - 1999 - Artificial Intelligence 108 (1-2):69-123.
Extended simples and qualitative heterogeneity.Kris McDaniel - 2009 - Philosophical Quarterly 59 (235):325-331.
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.
A Logic for Metric and Topology.Frank Wolter & Michael Zakharyaschev - 2005 - Journal of Symbolic Logic 70 (3):795 - 828.
Evidence for mental-model-based reasoning: A comparison of reasoning with time and space concepts.Andre Vandierendonck - 1996 - Thinking and Reasoning 2 (4):249 – 272.
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.
Spatial Entities.Roberto Casati & Achille C. Varzi - 1997 - In Oliviero Stock (ed.), Spatial and Temporal Reasoning. Kluwer Academic Publishers. pp. 73–96.
Analyzing Nonlinear Dynamics via Data-Driven Dynamic Mode Decomposition-Like Methods.Soledad Le Clainche & José M. Vega - 2018 - Complexity 2018:1-21.
Spatial semiosis and time.Leonid Tchertov - 2005 - Sign Systems Studies 33 (2):297-314.
Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning.Isabelle Bloch - 2002 - Journal of Applied Non-Classical Logics 12 (3):399-423.
Spatial and Temporal Reasoning.Oliviero Stock (ed.) - 1997 - Kluwer Academic Publishers.
Spatial and Temporal Reasoning.F. D. Anger & R. V. Rodriguez (eds.) - 1994 - Aaai.
Spatial semiosis and time.Leonid Tchertov - 2005 - Sign Systems Studies 33 (2):297-314.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,544,164)

6 months
3 (#983,674)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Recursive conditioning.Adnan Darwiche - 2001 - Artificial Intelligence 126 (1-2):5-41.

Add more references