Marco Aiello  Home/Search
Context
Related
| dit.unitn.it/~aiello...aiiaPhDaward.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: dit.unitn.it/~aiel...pubNoJScript (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Commonsense knowledge about the surrounding physical world and quantitative theories of space, such as metric geometry, can be viewed as two extremes on how human beings relate to space. Qualitative spatial representation and reasoning places itself in between these two approaches. Qualitative spatial reasoning is a set of high-level theories which abstract from the quantitative details and attempt to mimic the human commonsense knowledge about space as much as possible. Successful approaches... (Update)
Similar documents (at the sentence level):
6.4%: A Modal Walk Through Space - Aiello, van Benthem (2001) (Correct)
Active bibliography (related documents): More All
1.4: Logical Patterns in Space - Aiello, van Benthem (1999) (Correct)
0.8: Topo-distance: Measuring the Difference between Spatial Patterns - Aiello (2000) (Correct)
0.7: Qualitative Spatio-Temporal Representation and Reasoning.. - Wolter, Zakharyaschev (2001) (Correct)
Similar documents based on text: More All
0.4: Symmetric Synchronous Collaborative Navigation - Gerosa, al. (2004) (Correct)
0.3: Deriving Ontology-Based Metadata For E-Learning From The Acm .. - Saini, Ronchetti (Correct)
0.3: Distributed Access Control For Web And Business Processes - Koshutanski (2003) (Correct)
BibTeX entry: (Update)
@misc{ aiello-topoapproach,
author = "Marco Aiello",
title = "The Topo-Approach To Spatial Representation And Reasoning",
url = "citeseer.ist.psu.edu/648351.html" }
Citations (may not include all citations):575 Image Analysis and Mathematical Morphology (context) - Serra - 1982
502 Concurrency and Automata on Infinite Sequences (context) - Park - 1981
225 A Spatial Logic Based on Regions and Connection - Randell, Cui et al. - 1992
140 Tense logic and the theory of linear order (context) - Kamp - 1968
73 connection (context) - Clarke, of et al. - 1981
63 Cambridge University Press (context) - Blackburn, de Rijke et al. - 2001
53 Modal Logics for Qualitative Spatial Reasoning - Bennett - 1995
52 Toward a Geometry of Common Sense: a semantics and a complet.. - Asher, Vieu - 1995
41 Process and Reality (context) - Whitehead - 1929
33 Many-Dimensional Modal Logic (context) - Venema - 1992
32 What is Elementary Geometry (context) - Tarski - 1959
28 A complete axiom system for polygonal mereotopology - Pratt, Schoop - 1998
28 Default Reasoning about Spatial Occupancy - Shanahan - 1995
25 Parts and Places (context) - Casati, Varzi - 1999
24 The Algebra of Topology (context) - McKinsey, Tarski - 1944
20 Basic Model Theory - Doets - 1996
18 Modal Correspondence Theory (context) - van Benthem - 1976
16 Modal logics for incidence geometries (context) - Balbiani, del et al. - 1997
14 The Logic of Time (context) - van Benthem - 1983
13 Der Aussagenkalkul und die Topologie (context) - Tarski - 1938
11 Reasoning about Space: the Modal Way (context) - Aiello, van Benthem et al. - 2004
11 Modal Logics of Domains on the Real Plane (context) - Shehtman - 1983
10 Logical Patterns in Space - Aiello, van Benthem - 2002
7 Theories of Visual and Diagrammatic Reasoning: Foundational .. (context) - Gurr - 1998
7 Lines and Diamonds: a TwoSorted Modal Logic for Projective P.. (context) - Venema - 1999
6 Document Understanding for a Broad Class of Documents - Aiello, Monz et al. - 2002
6 Panstwowe Wydawnictwo naukowe (context) - Rasiowa, Sikorski et al. - 1963
5 The modal multilogic of geometry - Balbiani - 1998
5 The foundation of mathematics (context) - Lesniewski - 1983
5 A Semantic Characterization of Locative PPs - Winter, Zwarts - 1997
4 Logic Engineering: The Case of Description and Hybrid Logics (context) - Areces - 2000
4 A Modal Walk through Space - Aiello, van Benthem - 2002
3 CSLI and FoLLi (context) - Hammer, Visual - 1995
2 Somewhere else (context) - Segerberg - 1976
2 An algebraic method for solving proportional analogy problem.. (context) - Dastani, Scha et al. - 1997
2 Extended Modal Logic (context) - de Rijke - 1993
2 spatial cognition (context) - Herskovits - 1997
2 Document Image Analysis via Model Checking - Aiello - 2002
2 A Spatial Similarity Measure based on Games: Theory and Prac.. (context) - Aiello - 2002
2 From Images to Bodies: Modelling and Exploiting Occlusion an.. (context) - Randell, Witkowski et al. - 2001
2 Spatial Resoning: Theory and Practice (context) - Aiello - 2002
1 Complete Logics for QSR: A Guide to Plane Meretopology (context) - Lemon, Pratt - 1998
1 Computing Spatial Similarity by Games - Aiello - 2001
1 cacy of Visual Languages (context) - Lemon - 2002
1 Using mathematical morphology operators as modal operators f.. (context) - Bloch - 2000
1 Scotto di Luzio (context) - Barker-Plummer, Beaver et al. - 2002
1 Brown Little and Company (context) - Adams - 1981
1 Language and Computation dell Universita di Amsterdam (context) - Aiello, for - 2002
1 Relations for Document Understanding (context) - Aiello, Smeulders - 2004
Documents on the same site (http://www.dit.unitn.it/~aiellom/pubNoJScript.html): More
Topo-distance: Measuring the Difference between Spatial Patterns - Aiello (Correct)
Document Understanding for a Broad Class of Documents - Aiello, Monz, Todoran, Worring (2002) (Correct)
Document Image Analysis via Model Checking - Aiello (2002) (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