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: 93,590

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

Qualitative spatial reasoning: The CLOCK project.Kenneth D. Forbus, Paul Nielsen & Boi Faltings - 1991 - Artificial Intelligence 51 (1-3):417-471.
Reasoning about qualitative temporal information.Peter van Beek - 1992 - Artificial Intelligence 58 (1-3):297-326.
Complexity classification in qualitative temporal constraint reasoning.Peter Jonsson & Andrei Krokhin - 2004 - Artificial Intelligence 160 (1-2):35-51.
Combining qualitative and quantitative constraints in temporal reasoning.Itay Meiri - 1996 - Artificial Intelligence 87 (1-2):343-385.
A method of spatial reasoning based on qualitative trigonometry.Jiming Liu - 1998 - Artificial Intelligence 98 (1-2):137-168.
A comparison of point-based approaches to qualitative temporal reasoning.James Delgrande, Arvind Gupta & Tim Van Allen - 2001 - Artificial Intelligence 131 (1-2):135-170.
The algebra IA fuz : a framework for qualitative fuzzy temporal reasoning.Silvana Badaloni & Massimiliano Giacomin - 2006 - Artificial Intelligence 170 (10):872-908.
A condensed semantics for qualitative spatial reasoning about oriented straight line segments.Reinhard Moratz, Dominik Lücke & Till Mossakowski - 2011 - Artificial Intelligence 175 (16-17):2099-2127.
Bounded treewidth as a key to tractability of knowledge representation and reasoning.Georg Gottlob, Reinhard Pichler & Fang Wei - 2010 - Artificial Intelligence 174 (1):105-132.
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.

Analytics

Added to PP
2020-12-22

Downloads
6 (#711,559)

6 months
3 (#1,723,834)

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