Component Counting Ian Pratt-Hartmann Department of Computer Science,...  Home/Search
Context
Related
| cs.man.ac.uk/~ipratt/papers/me...tcc.ps 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: cs.man.ac.uk/~ipratt/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A topological constraint language is a formal language whose variables range over certain subsets of topological spaces, and whose nonlogical primitives are interpreted as topological relations and functions taking these subsets as arguments. Thus, topological constraint languages typically allow us to make assertions such as "region V1 touches the boundary of region V2 ", "region V3 is connected" or "region V4 is a proper part of the closure of region V5 ". A formula in a topological... (Update)
Active bibliography (related documents): More All
0.8: Elementary Polyhedral Mereotopology - Schoop (Correct)
0.6: Spatial representation and reasoning in RCC-8 with Boolean .. - Wolter, Zakharyaschev (Correct)
0.4: Unknown - First-Order Mereotopology Ian (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ ian-topological,
author = "Component Counting Ian",
title = "A Topological Constraint Language with",
url = "citeseer.ist.psu.edu/761749.html" }
Citations (may not include all citations):951 Computational Complexity (context) - PAPADIMITRIOU - 1994
225 A Spatial Logic Based on Regions and Connection - RANDELL, CUI et al. - 1992
64 Individuals and points (context) - CLARKE - 1985
64 the complexity of qualitative spatial reasoning: A maximal t.. - RENZ, NEBEL
53 Modal Logics for Qualitative Spatial Reasoning - BENNETT - 1996
41 Topological Queries in Spatial Databases - PAPADIMITRIOU, SUCIU et al. - 1996
28 A complete axiom system for polygonal mereotopology of the r.. - PRATT, SCHOOP - 1998
12 Undecidability of Plane Polygonal Mereotopology - DORNHEIM - 1998
5 Point, line, and surface as sets of solids (context) - DE LAGUNA - 1922
5 Ontologies for plane, polygonal mereotopology - PRATT, LEMON - 1997
4 A complete classification of tractability in RCC5 (context) - JONSSON, DRAKENGREN - 1997
3 Expressivity in polygonal, plane mereotopology - PRATT, SCHOOP - 2000
3 the Translation of Qualitative Spatial Reasoning Problems in.. - NUTT - 1999
1 Elementary polyhedral mereotopology - PRATT, SCHOOP - 2002
1 A calculus of individuals based (context) - CLARKE - 1981
Documents on the same site (http://www.cs.man.ac.uk/~ipratt/): More
Temporal Prepositions and Temporal Generalized Quantifiers - Pratt, Francez (1998) (Correct)
A Two-Variable Fragment of English - Pratt-Hartmann (2001) (Correct)
Unknown - First-Order Mereotopology Ian (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