Anthony G. Cohn, Brandon Bennett, John Gooday, Nicholas Mark Gotts  Home/Search
Context Related
| agora.leeds.ac.uk/s...geoinformatica.ps comp.leeds.ac.uk/q...oinformatica.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: scs.leeds.ac.uk/sp...publications (more) Homepages: A.Cohn |
Rate this article:      (best)Comment on this article |
Abstract: . This paper surveys the work of the qualitative spatial reasoning group at the University of Leeds. The group has developed a number of logical calculi for representing and reasoning with qualitative spatial relations over regions. We motivate the use of regions as the primary spatial entity and show how a rich language can be built up from surprisingly few primitives. This language can distinguish between convex and a variety of concave shapes and there is also an extension which handles... (Update)
Cited by: More
Preprint 0 (2001) ?--? 1 Approximate Qualitative Temporal .. - Thomas Bittner.. (Correct)
Towards a League-Independent Qualitative Soccer.. - Dylla, Ferrein.. (2004) (Correct)
Spatial Inference with Constraints - Schmoeger, Gips, Wysotzki (2005) (Correct)
Similar documents (at the sentence level):
53.9%: Representing And Reasoning With Qualitative Spatial.. - Cohn, Bennett.. (Correct)
Active bibliography (related documents): More All
5.0: Qualitative Spatial Representation and Reasoning Techniques - Cohn (1997) (Correct)
3.1: Calculi for Qualitative Spatial Reasoning - Cohn (1996) (Correct)
2.7: Qualitative Spatial Representation and Reasoning: An Overview - Cohn, Hazarika (2001) (Correct)
Similar documents based on text: More All
0.3: Modal Logics for Qualitative - Spatial Reasoning Brandon (Correct)
0.3: A Comparison Of Structures In Spatial And Temporal Logics - Cohn, Gooday, Bennett (1994) (Correct)
0.3: An Axiomatic Approach to Topology For Spatial Information Systems - Gotts (1996) (Correct)
Related documents from co-citation: More All
42: A spatial logic based on regions and connection - Randell, Cui et al. - 1992
26: Maintaining knowledge about temporal intervals (context) - Allen - 1983
23: Point-set topological spatial relations (context) - Egenhofer, Franzosa - 1991
BibTeX entry: (Update)
Cohn, A. (1997). Qualitative spatial representation and reasoning techniques. In Brewka, G., Habel, C., and Nebel, B., editors, KI-97: Advances in Articial Intelligence, Lecture Notes in Articial Intelligence, pages 1-30. Springer-Verlag, Berlin. http://citeseer.ist.psu.edu/article/cohn97qualitative.html More
@article{ cohn97qualitative,
author = "Anthony G. Cohn and Brandon Bennett and John Gooday and Nicholas Mark Gotts",
title = "Qualitative Spatial Representation and Reasoning with the Region Connection Calculus",
journal = "GeoInformatica",
volume = "1",
number = "3",
pages = "275-316",
year = "1997",
url = "citeseer.ist.psu.edu/article/cohn97qualitative.html" }
Citations (may not include all citations):1044 Maintaining knowledge about temporal intervals (context) - Allen - 1983
444 Towards a general theory of action and time (context) - Allen - 1984
284 Constraint propagation algorithms for temporal reasoning (context) - Vilain, Kautz - 1986
272 Argonne National Laboratory (context) - McCune - 1990
225 A spatial logic based on regions and connection - Randell, Cui et al. - 1992
152 Point-set topological spatial relations (context) - Egenhofer, Franzosa - 1991
131 Readings in Qualitative Reasoning About Physical Systems (context) - Weld, De Kleer - 1990
117 Reasoning about binary topological relations (context) - Egenhofer - 1991
111 Reasoning about temporal relations: a maximal tractable subs.. - Nebel
99 Temporal reasoning based on semi-intervals - Freksa - 1992
85 The second naive physics manifesto (context) - Hayes
76 Parts: A Study In Ontology (context) - Simons - 1987
73 connection (context) - Clarke - 1981
68 A qualitative model for space (context) - Mukerjee, Joe - 1990
64 the complexity of qualitative spatial reasoning: a maximal t.. - Renz, Nebel - 1997
64 Individuals and points (context) - Clarke - 1985
61 Spatial reasoning with propositional logics - Bennett
58 Representing visible locations for qualitative navigation - Schlieder - 1993
54 Naive physics I: Ontology for liquids (context) - Hayes
53 Modal logics for qualitative spatial reasoning - Bennett - 1995
52 Complete visualizations of concurrentprograms and their exec.. (context) - Kahn, Saraswat - 1990
52 Toward a geometry of common sense: A semantics and a complet.. - Asher, Vieu - 1995
51 Reasoning about gradual changes of topological relationships (context) - Egenhofer, Al-Taha - 1992
50 Holes and Other Superficialities (context) - Casati, Varzi - 1994
50 Topological inference - Grigni, Papadias et al. - 1995
48 An interval-based representation of temporal knowledge (context) - Allen - 1981
47 Modelling topological and metrical properties of physical pr.. - Randell, Cohn - 1989
45 the equivalence of topological relations - Egenhofer, Franzosa - 1995
42 Order of magnitude reasoning (context) - Raiman - 1986
41 Process and Reality (context) - Whitehead - 1929
41 A critical examination of Allen's theory of action and time (context) - Galton - 1990
40 egg-yolk' representation of regions with indeterminate bound.. - Cohn, Gotts
40 A connection based approach to commonsense topological descr.. - Gotts, Gooday et al. - 1996
39 A more expressive formulation of many sorted logic (context) - Cohn - 1987
38 Qualitative simulation based on a logical formalism of space.. - Cui, Cohn et al. - 1992
38 Time representation: A taxonomy of interval relations (context) - Ladkin - 1986
36 Computational properties of qualitative spatial reasoning: F.. - Nebel
35 The Logic of Time (context) - Van Benthem - 1983
35 A small set of formal topological relationships suitable for.. (context) - Clementini, Di Felice et al. - 1994
34 Computing transitivity tables: A challenge for automated the.. (context) - Randell, Cohn et al. - 1992
32 What is elementary geometry (context) - Tarski - 1959
31 How far can we `C (context) - Gotts
30 The paradoxical success of fuzzy logic - Elkan - 1994
30 Foundations of the geometry of solids (context) - Tarski - 1956
29 Taxonomies of logically defined qualitative spatial relation.. - Cohn, Randell et al. - 1995
28 A complete axiom system for polygonal mereotopology of the p.. - Pratt, Schoop - 1997
28 The calculus of individuals and its uses (context) - Leonard, Goodman - 1940
26 Calculi for qualitative spatial reasoning - Cohn - 1996
25 The Logic of Time Representation - Ladkin - 1987
25 Qualitative and topological relationships in spatial databas.. (context) - Cui, Cohn et al. - 1993
22 Qualitative kinematics: A framework (context) - Forbus, Nielsen et al. - 1987
21 Modeling topological spatial relations: strategies for query.. (context) - Clementini, Sharma et al. - 1994
21 Formal semantics of visual languages using spatial reasoning (context) - Haarslev - 1995
20 Recent Advances in Qualitative Physics (context) - Faltings, Struss - 1992
19 String graphs ii: recognizing string graphs is NP-hard (context) - Kratochv'il - 1991
16 A fully formalized theory for describing visual notations - Haarslev - 1996
16 YOLK reliability hierarchy: Semantic data integrationusing s.. (context) - Lehmann, Cohn - 1994
15 An algebraic model for spatial objects with undetermined bou.. (context) - Clementini, Di Felice - 1994
14 S'emantique des relations spatiales et inf'erences spatio-te.. (context) - Vieu - 1991
14 Approximate topological relations (context) - Clementini, Di Felice - 1997
14 Spatial Information Theory: a theoretical basis for GIS (context) - Frank, Kuhn - 1995
14 Formal order-of-magnitude reasoning (context) - Mavrovouniotis, Stephanopoulos - 1988
14 Spatial Information Theory: A Theoretical Basis for GIS: Pro.. (context) - Frank, Campari - 1993
13 Towards a qualitative theory of movement - Galton
13 Undecidability of some topological theories (context) - Grzegorczyk - 1951
13 A canonical model for a class of areal spatial objects (context) - Worboys, Bofakos - 1993
13 Qualitative spatial reasoning and representation (context) - Cohn, Randell et al. - 1993
13 Constraint networks of topological relations and convexity (context) - Davis, Gotts et al. - 1997
12 An axiomatic approach to topology for spatial information sy.. - Gotts
12 A comparison of structures in spatial and temporal logics - Cohn, Gooday et al. - 1994
12 Connection structures (context) - Biacino, Gerla - 1991
10 Formalising commonsense topology: The INCH calculus (context) - Gotts
10 Carving up space: steps towards construction of an absolutel.. - Bennett
10 A mereological approach to representing spatial vagueness - Cohn, Gotts
10 When does a composition table provide a complete and tractab.. - Bennett, Isli et al. - 1997
9 Measuring concavity on a rectangular mosaic (context) - Sklansky - 1972
9 Semantic Networks (context) - Randell, Cohn et al. - 1992
9 A hierarchcial representation of qualitative shape based on .. (context) - Cohn - 1995
8 Reasoning about space: the hole story - Varzi
8 Toplogical relations between regions with holes (context) - Egenhofer, Clementini et al. - 1994
7 Spatial reasoning in a holey world (context) - Varzi
7 The algebra of topology (context) - McKinsey, Tarski - 1944
7 Using the RCC formalism to describe the topology of spherica.. - Gotts
6 Visual language syntax and semantics: A spatial logic approa.. - Gooday, Cohn
5 Spatial regions with undetermined boundaries - Cohn, Gotts
5 A theory of spatial regions with indeterminate boundaries - Cohn, Gotts
5 Modal and non-modal qualitative spatial logics - Cohn - 1993
5 Generation of qualitative spatio-temporal representations fr.. - Fernyhough - 1997
5 doughnut' made difficult (context) - Gotts, Defining
5 Taking dimension seriously in qualitative spatial reasoning (context) - Galton - 1996
4 Some observations and puzzles about composing spatial and te.. - Bennett
4 Exploiting temporal continuity in temporal calculi (context) - Cohn, Gotts et al. - 1997
4 Event recognition using qualitative reasoning on automatical.. - Fernyhough, Cohn et al. - 1997
4 A mereological approach to spatial vagueness (context) - Gotts, Cohn - 1995
4 Vergleichende analyse topologischer ansaetze des qualitative.. (context) - Dornheim - 1995
4 Topological similarity (context) - Egenhofer - 1994
3 Real time generation of semantic regions from video sequence.. (context) - Fernyhough, Cohn et al. - 1996
2 Temporal and spatial reasoning (context) - Stock - 1997
2 Toplogy from a single primitive relation: defining topologic.. (context) - Gotts
2 Some letcures on intuitionistic logic (context) - Nerode - 1990
2 The transition calculus: A high-level formalism for reasonin.. - Gooday, Galton - 1996
2 The application of qualitative spatial reasoning to GIS (context) - Bennett
1 A qualitative approach to continuity - Galton
1 Proceeding of the 10th International Workshop on Qualitative.. (context) - Gooday, Cohn
1 Kluwer Academic Publishers (context) - --, fl - 1997
1 Qualitative Representation of Spatial Knowledge (context) - CONNECTION, Hern'andez - 1994
1 Representing and reasoning with qualitative spatial relation.. (context) - CONNECTION, Cohn et al. - 1997
1 On binary constraint problems (context) - report, Ladkin et al. - 1994
1 A qualitative spatial reasoner: progress report (context) - Haarslev, Moller - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.scs.leeds.ac.uk/spacenet/publications.html): More
When does a Composition Table Provide a Complete and.. - Brandon Bennett (1997) (Correct)
Connection Relations in Mereotopology - Cohn, Varzi (1998) (Correct)
Connection Relations in Mereotopology - Cohn, Varzi (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC