Chapter 13 Qualitative Spatial Representation and Reasoning

Foundations of Artificial Intelligence

Volumn 3, Issue , 2008, Pages 551-596

  Cohn, Anthony G ^a   Renz, Jochen ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 40849088101     PISSN: 15746526     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S1574-6526(07)03013-1     Document Type: Review

References (219)

1. Aiello M., van Benthem J., and Pratt-Hartmann I. Handbook of Spatial Logics (2007), Springer
2. Allen J.F. Maintaining knowledge about temporal intervals. Communications of the ACM 26 11 (1983) 832-843
3. Asher N., and Lang J. When nonmonotonicity comes from distance. In: Nebel B., and Dreschler-Fischer L. (Eds). KI-94: Advances in Artificial Intelligence (1994), Springer-Verlag 308-318
4. N. Asher and L. Vieu. Toward a geometry of common sense: A semantics and a complete axiomatization of mereotopology. In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal, 1995
5. Aurnague M., and Vieu L. A three-level approach to the semantics of space. In: Zelinsky-Wibbelt C. (Ed). The Semantics of Prepositions-from Mental Processing to Natural Language Processing (1993), Mouton de Gruyter, Berlin
6. Aurnague M., Vieu L., and Borillo A. La représentation formelle des concepts spatiaux dans la langue. In: Denis M. (Ed). Langage et Cognition Spatiale (1997), Mason, Paris 69-102
7. Balbiani B., Dugat V., del Cerro L.F., and Lopez A. Eléments de géométrie mécanique (1994), Editions Hermes
8. P. Balbiani, J.-F. Condotta, and L.F. del Cerro. A new tractable subclass of the rectangle algebra. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99), pages 442-447, 1999
9. Balbiani P., Condotta J.-F., and del Cerro L.F. Tractability results in the block algebra. Journal of Logic and Computations 12 5 (2002) 885-909
10. Balbiani P., del Cerro L.F., Tinchev T., and Vakarelov D. Modal logics for incidence geometries. Journal of Logic and Computations 7 1 (1997) 59-78
11. Bennett B. Spatial reasoning with propositional logics. In: Doyle J., Sandewall E., and Torasso P. (Eds). Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94) (1994), Morgan Kaufmann, San Francisco, CA
12. Bennett B. Modal logics for qualitative spatial reasoning. Bulletin of the Interest Group in Pure and Applied Logic (IGPL) 4 1 (1996) 23-45
13. B. Bennett. Logical representations for automated reasoning about spatial relationships. PhD thesis, School of Computer Studies, The University of Leeds, 1997
14. Bennett B. A categorical axiomatisation of region-based geometry. Fundamenta Informaticae 46 (2001) 145-158
15. Bennett B. Physical objects, identity and vagueness. In: Fensel D., McGuinness D., and Williams M.-A. (Eds). Principles of Knowledge Representation and Reasoning: Proceedings of the Eighth International Conference (KR2002) (2002), Morgan Kaufmann, San Francisco, CA
16. B. Bennett, A.G. Cohn, P. Torrini, and S.M. Hazarika. A foundation for region-based qualitative geometry. In W. Horn, editor, Proceedings of the 14th European Conference on Artificial Intelligence (ECAI'00), pages 204-208, 2000
17. Bennett B., and Düntsch I. Axioms, algebras and topology. In: Pratt-Hartmann I., Aiello M., and van Benthem J. (Eds). Handbook of Spatial Logics (2007), Springer
18. Biacino L., and Gerla G. Connection structures. Notre Dame Journal of Formal Logic 32 2 (1991) 242-247
19. Bittner T. On ontology and epistemology of rough location. In: Freksa C., and Mark D.M. (Eds). Spatial Information Theory-Cognitive and Computational Foundations of Geographic Information Science. Lecture Notes in Computer Science vol. 1661 (1999), Springer 433-448
20. Bittner T., and Stell J.G. Rough sets in qualitative spatial reasoning. Rough Sets and Current Trends in Computing, Banff, October 2000, Proceedings. Lecture Notes in Computer Science vol. 2005 (2001), Springer 445-453
21. Borgo S., Guarino N., and Masolo C. A pointless theory of space based on strong connection and congruence. In: Aiello L.C., and Doyle J. (Eds). Principles of Knowledge Representation and Reasoning: Proceedings of the 5th International Conference (KR94) (1996), Morgan Kaufmann
22. S. Borgo and M. Masolo. Full mereogeometries. Journal of Philosophical Logic, submitted for publication
23. H.T. Bruns and M. Egenhofer. Similarity of spatial scenes. In Proceedings of the 7th International Symposium on Spatial Data Handling, SDH'96, pages 173-184. Francis Taylor, Delft, 1996
24. Carlson L., and van der Zee E. Representing Directions in Language and Space (2003), Oxford University Press, Oxford
25. Cartwright R. Scattered objects. In: Lehrer K. (Ed). Analysis and Metaphysics (1975), Reidel, Dordrecht 153-171
26. Casati R., and Varzi A. The structure of spatial localization. Philosophical Studies 82 (1996) 205-239
27. Casati R., and Varzi A. Parts and Places: The Structures of Spatial Representation (1999), MIT Press, Cambridge, MA and London
28. Z.-Z. Chen, M. Grigni, and C.H. Papadimitriou. Planar map graphs. In Proceedings of the Thirtieth Annual ACM Symposium on the Theory of Computing (STOC 1998), pages 514-523, 1998
29. Chen Z.-Z., Grigni M., and Papadimitriou C.H. Map graphs. Journal of the ACM 49 2 (2002) 127-138
30. Chen Z.-Z., Grigni M., and Papadimitriou C.H. Recognizing hole-free 4-map graphs in cubic time. Algorithmica 45 2 (2006) 227-262
31. Z.-Z. Chen, Z.-Z. He, and M.-Y. Kao. Nonplanar topological inference and political-map graphs. In Proceedings of the Tenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 1999), pages 195-204, 1999
32. Chevriaux Y., Saux E., and Claramunt C. A landform-based approach for the representation of terrain silhouettes. GIS '05: Proceedings of the 13th Annual ACM International Workshop on Geographic Information Systems (2005), ACM Press, New York, NY, USA 260-266
33. Clarke B.L. A calculus of individuals based on 'connection'. Notre Dame Journal of Formal Logic 23 3 (July 1981) 204-218
34. Clarke B.L. Individuals and points. Notre Dame Journal of Formal Logic 26 1 (1985) 61-75
35. Clementini E., and Billen R. Modeling and computing ternary projective relations between regions. IEEE Transactions on Knowledge and Data Engineering 18 6 (2006) 799-814
36. Clementini E., and Di Felice P. A comparison of methods for representing topological relationships. Information Sciences 3 (1995) 149-178
37. Clementini E., and Di Felice P. An algebraic model for spatial objects with undetermined boundaries. In: Burrough P., and Frank A.M. (Eds). Proceedings, GISDATA Specialist Meeting on Geographical Entities with Undetermined Boundaries (1996), Taylor Francis
38. Clementini E., and Di Felice P. Approximate topological relations. International Journal of Approximate Reasoning 16 (1997) 173-204
39. Clementini E., and Di Felice P. A global framework for qualitative shape description. GeoInformatica 1 1 (1997)
40. Clementini E., Di Felice P., and Hernández D. Qualitative representation of positional information. Artificial Intelligence 95 2 (1997) 317-356
41. Clementini E., Di Felice P., and Oosterom P. A small set of formal topological relationships suitable for end user interaction. In: Abel D., and Ooi B.C. (Eds). Advances in Spatial Databases, Proceedings of the 3rd International Symposium on Spatial Databases (SSD'93), Singapore. Lecture Notes in Computer Science vol. 692 (1994), Springer-Verlag 277-295
42. Cohn A.G. Formalising bio-spatial knowledge. In: Welty C., and Smith B. (Eds). Proc. 2nd International Conference on Formal Ontology in Information Systems (FOIS'01) (2001), ACM 198-209
43. Cohn A.G., Bennett B., Gooday J., and Gotts N. RCC: a calculus for region based qualitative spatial reasoning. GeoInformatica 1 (1997) 275-316
44. Cohn A.G., Bennett B., Gooday J., and Gotts N. Representing and reasoning with qualitative spatial relations about regions. In: Stock O. (Ed). Spatial and Temporal Reasoning (1997), Kluwer 97-134
45. Cohn A.G., and Gotts N.M. The 'egg-yolk' representation of regions with indeterminate boundaries. In: Burrough P., and Frank A.M. (Eds). Proceedings, GISDATA Specialist Meeting on Geographical Objects with Undetermined Boundaries (1996), Francis Taylor 171-187
46. Cohn A.G., and Gotts N.M. A mereological approach to representing spatial vagueness. In: Aiello L.C., Doyle J., and Shapiro S. (Eds). Principles of Knowledge Representation and Reasoning: Proceedings of the 5th International Conference (KR 1996) (1996), Morgan Kaufmann 230-241
47. Cohn A.G., and Hazarika S.M. Qualitative spatial representation and reasoning: An overview. Fundamenta Informaticae 46 1-2 (2001) 1-29
48. Cohn A.G., Randell D.A., and Cui Z. Taxonomies of logically defined qualitative spatial relations. Int. J. of Human-Computer Studies 43 (1995) 831-846
49. Cohn A.G., and Varzi A. Mereotopological connection. Journal of Philosophical Logic 32 (2003) 357-390
50. Cristani M. The complexity of reasoning about spatial congruence. Journal of Artificial Intelligence Research 11 (1999) 361-390
51. Cristani M., Cohn A., and Bennett B. Spatial locations via morpho-mereology. In: Cohn A.G., Giunchiglia F., and Selman B. (Eds). Principles of Knowledge Representation and Reasoning: Proceedings of the 7th International Conference (KR 2000) (2000), Morgan Kaufmann 15-25
52. Cui Z., Cohn A.G., and Randell D.A. Qualitative simulation based on a logical formalism of space and time. Proceedings of the 10th National Conference on Artificial Intelligence (AAAI-92) (1992), AAAI Press, Menlo Park, CA 679-684
53. Davis E. Continuous shape transformation and metrics on regions. Fundamenta Informaticae 46 1-2 (2001) 31-54
54. Davis E. The expressivity of quantifying over regions. Journal of Logic and Computation 16 6 (2006) 891-916
55. Davis E., Gotts N.M., and Cohn A.G. Constraint networks of topological relations and convexity. Constraints 4 3 (1999) 241-280
56. de Laguna T. Point, line and surface as sets of solids. The Journal of Philosophy 19 (1922) 449-461
57. M. Donnelly. An axiomatic theory of common-sense geometry. PhD thesis, University of Texas, 2001
58. Donnelly M. A formal theory for reasoning about parthood, connection, and location. Artificial Intelligence 160 1-2 (2004) 145-172
59. Düntsch I. Relation algebras and their application in temporal and spatial reasoning. Artificial Intelligence Review 23 (2005) 315-357
60. Düntsch I., and Gediga G. Uncertainty measures of rough set predictions. Artificial Intelligence 106 (1998) 109-137
61. Düntsch I., Wang J., and McCloskey S. A relation-algebraic approach to the region connection calculus. Theoretical Computer Science 255 1-2 (2001) 63-83
62. Edelman S. Representation and Recognition in Vision (1999), MIT Press, Cambridge, MA
63. Edwards G. The Voronoi model and cultural space: Applications to the social sciences and humanities. In: Frank A.U., and Campari I. (Eds). Spatial Information Theory: A Theoretical Basis for GIS. Lecture Notes in Computer Science vol. 716 (1993), Berlin, Springer-Verlag 202-214
64. Egenhofer M. Topological similarity. Proceedings of the FISI workshop on the Topological Foundations of Cognitive Science. Reports of the Doctoral Series in Cognitive Science vol. 37 (1994), University of Hamburg
65. Egenhofer M., and Franzosa R. Point-set topological spatial relations. International Journal of Geographical Information Systems 5 2 (1991) 161-174
66. Egenhofer M.J. Query processing in spatial-query-by-sketch. Journal of Visual Languages and Computing 8 4 (1997) 403-424
67. Egenhofer M.J., and Al-Taha K.K. Reasoning about gradual changes of topological relationships. In: Frank A.U., Campari I., and Formentini U. (Eds). Theories and Methods of Spatio-temporal Reasoning in Geographic Space. Lecture Notes in Computer Science vol. 639 (1992), Springer-Verlag, Berlin 196-219
68. Egenhofer M.J., Clementini E., and Di Felice P. Topological relations between regions with holes. Int. Journal of Geographical Information Systems 8 2 (1994) 129-144
69. Egenhofer M.J., and Franzosa R.D. On the equivalence of topological relations. International Journal of Geographical Information Systems 9 2 (1995) 133-152
70. Egenhofer M.J., and Mark D. Naive geography. In: Frank A.U., and Kuhn W. (Eds). Spatial Information Theory: A Theoretical Basis for GIS. Lecture Notes in Computer Science vol. 988 (1995), Springer-Verlag, Berlin 1-16
71. 2. In: David A., and Ooi B. (Eds). Proceedings of the 3rd International Symposium on Advances in Spatial Databases, SSD'93, Singapore. Lecture Notes in Computer Science vol. 692 (June 1993), Springer
72. C. Eschenbach. A mereotopological definition of point. In C. Eschenbach, C. Habel, and B. Smith, editors, Topological Foundations of Cognitive Science, Papers from the Workshop at the FISI-CS, Buffalo, 1994
73. Eschenbach C., and Heydrich W. Classical mereology and restricted domains. International Journal of Human-Computer Studies 43 (1995) 723-740
74. Escrig M.T., Cabedo L.M., Pacheco J., and Toledo F. Several models on qualitative motion as instances of the CSP. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 17 (2002) 55-71
75. Escrig M.T., and Toledo F. A framework based on CLP extended with CHRs for reasoning with qualitative orientation and positional information. Journal of Visual Languages and Computing 9 (1998) 81-101
76. Evans M. Can there be vague objects?. Analysis 38 (1978) 208
77. Reprinted in his. Collected Papers (1985), Clarendon Press, Oxford
78. Faltings B. A symbolic approach to qualitative kinematics. Artificial Intelligence 56 2 (1992)
79. Faltings B. Qualitative spatial reasoning using algebraic topology. In: Frank A.U., and Kuhn W. (Eds). Spatial Information Theory: A Theoretical Basis for GIS. Lecture Notes in Computer Science vol. 988 (1995), Springer-Verlag, Berlin 17-30
80. Ferguson R.W., Bokor J.L., Mappus IV R.L., and Feldman A. Maintaining spatial relations in an incremental diagrammatic reasoner. In: Kuhn W., Worboys M.F., and Timpf S. (Eds). COSIT. Lecture Notes in Computer Science vol. 2825 (2003), Springer 136-150
81. Fernyhough J., Cohn A.G., and Hogg D. Constructing qualitative event models automatically from video input. Image and Vision Computing 18 (2000) 81-103
82. Fleck M.M. The topology of boundaries. Artificial Intelligence 80 1 (1996) 1-27
83. K. Forbus, P. Nielsen, and B. Faltings. Qualitative kinematics: A framework. In Proceedings of the 10th International Joint Conference on Artificial Intelligence (IJCAI-87), pages 430-436, 1987
84. K.D. Forbus, R.W. Ferguson, and J.M. Usher. Towards a computational model of sketching. In Intelligent User Interfaces, pages 77-83, 2001
85. Forbus K.D., Nielsen P., and Faltings B. Qualitative spatial reasoning: The clock project. Artificial Intelligence 51 (1991) 417-471
86. Forbus K.D., Usher J., and Chapman V. Qualitative spatial reasoning about sketch maps. AI Magazine 25 3 (2004) 61-72
87. Frank A.U. Qualitative spatial reasoning about distance and directions in geographic space. Journal of Visual Languages and Computing 3 (1992) 343-373
88. Freksa C. Temporal reasoning based on semi-intervals. Artificial Intelligence 54 (1992) 199-227
89. Freuder E.C. Synthesizing constraint expressions. Communications of the ACM 21 (1978) 958-966
90. Gabelaia D., Kontchakov R., Kurucz A., Wolter F., and Zakharyaschev M. Combining spatial and temporal logics: expressiveness vs. complexity. Journal of Artificial Intelligence Research 23 (2005) 167-243
91. A. Galata, A.G. Cohn, D.R. Magee, and D. Hogg. Modeling interaction using learnt qualitative spatio-temporal relations and variable length Markov models. In F. van Harmelen, editor, Proceedings of the 15th European Conference on Artificial Intelligence (ECAI'02), pages 741-745, 2002
92. Galton A. The mereotopology of discrete space. Spatial Information Theory-Cognitive and Computational Foundations of Geographic Information Science. Lecture Notes in Computer Science vol. 1661 (1999), Springer 251-266
93. A.P. Galton. Towards an integrated logic of space time and motion. In Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-93), Chambery, France, September 1993
94. Galton A.P. Qualitative Spatial Change (2000), Oxford University Press
95. Gerevini A., and Nebel B. Qualitative spatio-temporal reasoning with RCC-8 and Allen's interval calculus: Computational complexity. In: van Harmelen F. (Ed). Proceedings of the 15th European Conference on Artificial Intelligence, ECAI'2002. Lyon, France, July 2002 (2002), IOS Press 312-316
96. Gerevini A., and Renz J. Combining topological and size information for spatial reasoning. Artificial Intelligence 137 1-2 (2002) 1-42
97. Gerla G. Pointless geometries. In: Buekenhout F. (Ed). Handbook of Incidence Geometry (1995), Elsevier Science B.V. 1015-1031 (Chapter 18)
98. Glasgow J., Narayanan N.H., and Chandrasekara B. Diagrammatic Reasoning (1995), MIT Press
99. J.M. Gooday and A.G. Cohn. Visual language syntax and semantics: A spatial logic approach. In K. Marriott and B. Meyer, editors. Proc. Workshop on Theory of Visual Languages, Gubbio, Italy, 1996
100. N.M. Gotts. Using the RCC formalism to describe the topology of spherical regions. Technical report, Report 96.24, School of Computer Studies, University of Leeds, 1996
101. Gotts N.M., Gooday J.M., and Cohn A.G. A connection based approach to common-sense topological description and reasoning. The Monist 79 1 (1996) 51-75
102. R. Goyal and M. Egenhofer. Consistent queries over cardinal directions across different levels of detail. In Proceedings of the 11th International Workshop on Database and Expert Systems Applications, pages 876-880, 2000
103. Grenon P., and Smith B. Snap and span: Towards dynamic spatial ontology. Spatial Cognition and Computation 5 1 (2004) 69-104
104. Grigni M., Papadias D., and Papadimitriou C. Topological inference. Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI-95) (1995), Morgan Kaufmann 901-906
105. Grzegorczyk A. Undecidability of some topological theories. Fundamenta Mathematicae 38 (1951) 137-152
106. Grzegorczyk A. Axiomatizability of geometry without points. Synthese 12 (1960) 228-235
107. V. Haarslev. Theory and practice of visual languages and description logics. Habilitationsschrift, Fachbereich Informatik, Universität Hamburg
108. V. Haarslev and M. Wessel. Querying GIS with animated spatial sketches. In Proceedings 1997 IEEE Symposium on Visual Languages (VL-97), pages 201-208, 1997
109. Hayes P.J. The naive physics manifesto. In: Mitchie D. (Ed). Expert Systems in the Micro-Electronic Age (1979), Edinburgh University Press
110. Hayes P.J. Naive physics I: Ontology for liquids. In: Hobbs J.R., and Moore B. (Eds). Formal Theories of the Commonsense World (1985), Ablex 71-89
111. S. Hazarika. Qualitative spatial change: space-time histories continuity. PhD thesis, School of Computing, 2005
112. Hazarika S.M., and Cohn A.G. Abducing qualitative spatio-temporal histories from partial observations. In: Fensel D., Guinchiglia F., McGuinness D., and Williams A. (Eds). Proceedings of the Eighth Conference on Principles of Knowledge Representation and Reasoning (KR 2002) (2002), Morgan Kaufmann 14-25
113. Hernández D. Qualitative Representation of Spatial Knowledge. Lecture Notes in Artificial Intelligence vol. 804 (1994), Springer-Verlag
114. Hernández D., Clementini E., and Di Felice P. Qualitative distances. In: Frank A., and Kuhn W. (Eds). Spatial Information Theory: A Theoretical Basis for GIS. Lecture Notes in Computer Science vol. 988 (1995), Springer-Verlag, Berlin 45-58
115. Herskovits A. Language and Spatial Cognition. An Interdisciplinary Study of Prepositions in English (1986), Cambridge University Press
116. J. Hobbs. Granularity. In Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI-85), pages 432-435, 1985
117. Isli A., and Cohn A. A new approach to cyclic ordering of 2d orientations using ternary relation algebras. Artificial Intelligence 122 1-2 (2000) 137-187
118. Jonsson P., and Drakengren T. A complete classification of tractability in RCC-5. Journal of Artificial Intelligence Research (JAIR) 6 (1997) 211-221
119. S. Kaufman. A formal theory of spatial reasoning. In Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91), pages 347-356, 1991
120. Knauff M., Rauh R., and Renz J. A cognitive assessment of topological spatial relations: Results from an empirical investigation. Spatial Information Theory: A Theoretical Basis for GIS. Lecture Notes in Computer Science vol. 1329 (1997), Springer 193-206
121. M. Knauff, R. Rauh, and C. Schlieder. Preferred mental models in qualitative spatial reasoning: A cognitive assessment of Allen's calculus. In Proc. 17th Annual Conf. of the Cognitive Science Society, 1995
122. Köhler C., Ottlik A., Nagel H.-H., and Nebel B. Qualitative reasoning feeding back into quantitative model-based tracking. In: de Mántaras R.L., and Saitta L. (Eds). Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-04) (2004), IOS Press 1041-1042
123. Krokhin A.A., Jeavons P., and Jonsson P. Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra. Journal of the ACM 50 5 (2003) 591-640
124. Kuipers B. An intellectual history of the spatial semantic hierarchy. In: Jefferies M., and Yeap A.W.-K. (Eds). Robot and Cognitive Approaches to Spatial Mapping (2006), Springer-Verlag
125. Kuipers B., Beeson P., Modayil J., and Provost J. Bootstrap learning of foundational representations. Connection Science 18 2 (2006) 145-158
126. Kuipers B.J., and Byun Y.-T. A robot exploration and mapping strategy based on a semantic hierarchy of spatial representations. Journal of Robotics and Autonomous Systems 8 (1991) 47-63
127. Ladkin P.B., and Reinefeld A. Effective solution of qualitative interval constraint problems. Artificial Intelligence 57 1 (Sept. 1992) 105-124
128. Lehmann F., and Cohn A.G. The EGG/YOLK reliability hierarchy: Semantic data integration using sorts with prototypes. Proc. Conf. on Information Knowledge Management (1994), ACM Press 272-279
129. Li S., and Ying M. Generalized region connection calculus. Artificial Intelligence 160 1-2 (2004) 1-34
130. G. Ligozat. A new proof of tractability for ORD-Horn relations. In Proceedings of the 13th National Conference on Artificial Intelligence (AAAI 96), pages 395-401, 1996
131. Ligozat G. Reasoning about cardinal directions. Journal of Visual Languages and Computing 9 (1998) 23-44
132. Ligozat G., Mitra D., and Condotta J.-F. Spatial and temporal reasoning: beyond Allen's calculus. AI Communications 17 4 (2004) 223-233
133. G. Ligozat and J. Renz. What is a qualitative calculus? a general framework. In Proceedings of the 8th Pacific Rim International Conference on Artificial Intelligence, pages 53-64, 2004
134. Liu J., and Daneshmend L.K. Spatial Reasoning and Planning: Geometry, Mechanism, and Motion (2004), Springer
135. Liu J. A method of spatial reasoning based on qualitative trigonometry. Artificial Intelligence 98 (1998) 137-168
136. Liu Y., Wang X., Jin X., and Wu L. On internal cardinal direction relations. Spatial Information Theory: International Conference, COSIT 2005. Lecture Notes in Computer Science vol. 3693 (2005), Springer 283-299
137. Mackworth A.K. Consistency in networks of relations. Artificial Intelligence 8 (1977) 99-118
138. Mallot H.A., and Allen J.S. Computational Vision: Information Processing in Perception and Visual Behavior (2000), MIT Press, Cambridge, MA
139. Mark D., Comas D., Egenhofer M., Freundschuh S., Gould J., and Nunes J. Evaluating and refining computational models of spatial relations through cross-linguistic human-subjects testing. In: Frank A., and Kuhn W. (Eds). Spatial Information Theory: A Theoretical Basis for GIS. Lecture Notes in Computer Science vol. 988 (1995), Springer-Verlag, Berlin 553-568
140. Masolo C., and Vieu L. Atomicity vs. infinite divisibility of space. Spatial Information Theory-Cognitive and Computational Foundations of Geographic Information Science. Lecture Notes in Computer Science vol. 1661 (1999), Springer 235-250
141. Mavrovouniotis M., and Stephanopoulos G. Formal order-of-magnitude reasoning in process engineering. Computers and Chemical Engineering 12 (1988) 867-881
142. R.C. Meathrel and A.P. Galton. A hierarchy of boundary-based shape descriptors. In Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01), pages 1359-1364, 2001
143. Mukerjee A. Neat vs. scruffy: A survey of computational models for spatial expressions. In: Oliver P., and Gapp K.-P. (Eds). Representation and Processing of Spatial Expressions (1998), Kluwer
144. Mukerjee A., and Joe G. A qualitative model for space. Proceedings of the 8th National Conference on Artificial Intelligence (AAAI-90) (1990), Morgan Kaufmann, Los Altos, CA 721-727
145. Muller P. Topological spatio-temporal reasoning and representation. Computational Intelligence 18 3 (2002) 420-450
146. Nebel B. Computational properties of qualitative spatial reasoning: First results. In: Wachsmuth I., Rollinger R., and Brauer W. (Eds). Proceedings of the 19th German AI Conference (KI-95). Lecture Notes in Computer Science vol. 981 (1995), Springer-Verlag 233-244
147. Nebel B. Reasoning about temporal relations: a maximal tractable subset of Allen's interval algebra. Journal of the ACM 42 1 (January 1995) 43-66
148. Nebel B. Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class. CONSTRAINTS 3 1 (1997) 175-190
149. J. Nicod. Geometry in the sensible world. Doctoral thesis, Sorbonne, 1924
150. English translation in. Geometry and Induction (1969), Routledge and Kegan Paul
151. Nutt W. On the translation of qualitative spatial reasoning problems into modal logics. Proceedings of KI-99. Lecture Notes in Artificial Intelligence vol. 1701 (1999), Springer 113-124
152. Pacheco J., Escrig M.T., and Toledo F. Representing and reasoning on three-dimensional qualitative orientation point objects. In: Brazdil P., and Jorge A. (Eds). Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence. Lecture Notes in Computer Science vol. 2258 (2001), Springer 298-305
153. Papadias D., and Egenhofer M.J. Algorithms for hierarchical spatial reasoning. GeoInformatica 1 3 (1997) 251-273
154. Papadias D., and Theodoridis Y. Spatial relations, minimum bounding rectangles, and spatial data structures. International Journal of Geographic Information Systems 11 2 (1997) 111-138
155. D.N. Pham, J.R. Thornton, and A. Sattar. Modelling and solving temporal reasoning as propositional satisfiability. In Proceeding of the 4th International Workshop on Modelling and Reformulating, Sitges, Spain, 2005
156. Polkowski L., and Skowron A. Rough mereology in information systems. A case study: qualitative spatial reasoning. Rough Set Methods and Applications: New Developments in Knowledge Discovery in Information Systems (2000), Physica-Verlag GmbH, Heidelberg, Germany 89-135
157. Pratt I., and Lemon O. Ontologies for plane, polygonal mereotopology. Notre Dame Journal of Formal Logic 38 2 (1997) 225-245
158. Pratt I., and Schoop D. A complete axiom system for polygonal mereotopology of the real plane. Journal of Philosophical Logic 27 (1998) 621-658
159. Pratt-Hartmann I. Empiricism and rationalism in region-based theories of space. Fundamenta Informaticae 46 1-2 (2001) 159-186
160. O. Raiman. Order of magnitude reasoning. In Proceedings of the 5th National Conference on Artificial Intelligence (AAAI-86), pages 100-104, 1986
161. R. Rajagopalan. A model for integrated qualitative spatial and dynamic reasoning about physical systems. In Proceedings of the 12th National Conference on Artificial Intelligence (AAAI-94), pages 1411-1417, 1994
162. C.G. Ralha. A framework for dynamic structuring of information. PhD thesis, University of Leeds, 1996
163. Randell D., and Cohn A. Modelling topological and metrical properties of physical processes. In: Brachman R., Levesque H., and Reiter R. (Eds). Proceedings 1st International Conference on the Principles of Knowledge Representation and Reasoning (KR-89) (1989), Morgan Kaufmann, Los Altos, CA 55-66
164. D.A. Randell, A.G. Cohn, and Z. Cui. Computing transitivity tables: A challenge for automated theorem provers. In Proceedings of the 11th International Conference on Automated Deduction (CADE-92). Springer-Verlag, Berlin, 1992
165. Randell D.A., Cui Z., and Cohn A.G. A spatial logic based on regions and connection. Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning (1992), Morgan Kaufmann, San Mateo, CA 165-176
166. Randell D.A., Witkowski M., and Shanahan M. From images to bodies: Modelling and exploiting spatial occlusion and motion parallax. Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01) (2001), Morgan Kaufmann 57-66
167. Remolina E., and Kuipers B. Towards a general theory of topological maps. Artificial Intelligence 152 1 (2004) 47-104
168. Renz J. A canonical model of the region connection calculus. In: Cohn A.G., Schubert L.K., and Shapiro S. (Eds). Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference (KR-98) (1998), Morgan Kaufman 330-341
169. J. Renz. Maximal tractable fragments of the region connection calculus: A complete analysis. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99), pages 448-455, 1999
170. Renz J. A spatial odyssey of the interval algebra: 1. Directed intervals. In: Nebel B. (Ed). Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01) (2001), Morgan Kaufmann 51-56
171. J. Renz. Qualitative spatial and temporal reasoning: Efficient algorithms for everyone. In M.M. Veloso, editor. Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), pages 526-531, 2007
172. J. Renz and G. Ligozat. Weak composition for qualitative spatial and temporal reasoning. In Principles and Practice of Constraint Programming-CP 2005, 11th International Conference, pages 534-548, 2005
173. J. Renz and D. Mitra. Qualitative direction calculi with arbitrary granularity. In Proceedings of the 8th Pacific Rim International Conference on Artificial Intelligence, pages 65-74, 2004
174. Renz J., and Nebel B. On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the region connection calculus. Artificial Intelligence 108 1-2 (1999) 69-123
175. Renz J., and Nebel B. Efficient methods for qualitative spatial reasoning. Journal of Artificial Intelligence Research 15 (2001) 289-318
176. Renz J., and Nebel B. Qualitative spatial reasoning using constraint calculi. In: Aiello M., Pratt-Hartmann I., and van Benthem J. (Eds). Handbook of Spatial Logics (2007), Springer-Verlag, Berlin
177. Renz J., Rauh R., and Knauff M. Towards cognitive adequacy of topological spatial relations. In: Freksa C., Brauer W., Habel C., and Wender K.F. (Eds). Spatial Cognition. Lecture Notes in Computer Science vol. 1849 (2000), Springer 184-197
178. R. Röhrig. A theory for qualitative spatial reasoning based on order relations. In Proceedings of the 12th National Conference on Artificial Intelligence (AAAI-94), vol. 2, pages 1418-1423, Seattle, 1994
179. Roy A.J.O., and Stell J.G. A qualitative account of discrete space. In: Egenhofer M.J., and Mark D.M. (Eds). Proceedings of GIScience 2002. Lecture Notes in Computer Science vol. 2478 (2002), Springer 276-290
180. P. Sablayrolles. Spatio-temporal semantics in natural language: the case of motion. In Semantics of Time, Space, Movement and Spatio-Temporal Reasoning, pages 69-88, 1992. Working Papers of the 4th International Workshop
181. Santos P., Bennett B., and Sakellariou G. Supervaluation semantics for an inland water feature ontology. In: Kaelbling L.P., and Saffiotti A. (Eds). Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05) (2005), Professional Book Center, Edinburgh 564-569
182. P. Santos and M. Shanahan. Hypothesising object relations from image transitions. In van Harmelen [203], pages 292-296
183. Santos P., and Shanahan M. A logic-based algorithm for image sequence interpretation and anchoring. In: Gottlob G., and Walsh T. (Eds). Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-03) (2003), Morgan Kaufmann 1408-1410
184. Schaefer M., Sedgwick E., and Stefankovic D. Recognizing string graphs in NP. Journal of Computer and System Sciences 67 2 (2003) 365-380
185. Schlaisich I., and Egenhofer M.J. Multimodal spatial querying: what people sketch and talk about. In: Stephanidis C. (Ed). Proceedings of the 9th International Conference on Human-Computer Interaction (HCI-01) (2001), Lawrence Erlbaum 732-736
186. Schlieder C. Representing visible locations for qualitative navigation. In: Carreté N.P., and Singh M.G. (Eds). Qualitative Reasoning and Decision Technologies (1993), CIMNE, Barcelona 523-532
187. Schlieder C. Reasoning about ordering. In: Frank A., and Kuhn W. (Eds). Spatial Information Theory: A Theoretical Basis for GIS. Lecture Notes in Computer Science vol. 988 (1995), Springer-Verlag, Berlin 341-349
188. Schlieder C. Qualitative shape representation. In: Burrough P., and Frank A.M. (Eds). Proceedings, GISDATA Specialist Meeting on Geographical Objects with Undetermined Boundaries (1996), Francis Taylor
189. S. Schulz, P. Daumke, B. Smith, and U. Hahn. How to distinguish parthood from location in bioontologies. In Proc. AMIA Symposium 2005, pages 669-673, Washington DC, 2005
190. Shanahan M. Default reasoning about spatial occupancy. Artificial Intelligence (1995)
191. Simons P. Parts: A Study in Ontology (1987), Clarendon Press, Oxford
192. Smith B. Mereotopology: a theory of parts and boundaries. Data and Knowledge Engineering 20 3 (1996) 287-303
193. Smith B., and Varzi A.C. The nîche. Noûs 33 2 (1999) 198-222
194. T. Sogo, H. Ishiguro, and T. Ishida. Acquisition of qualitative spatial representation by visual observation. In Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99), pages 1054-1060, Stockholm, Sweden, 1999
195. Stell J.G. Boolean connection algebras: A new approach to the region connection calculus. Artificial Intelligence 122 (2000) 111-136
196. A. Tarski. Les fondaments de la géométrie des corps. Ksiega Pamiatkowa Pierwszego Polskiego Zjazdu Matematycznego, pages 29-33, 1929. A suplement to Annales de la Société Polonaise de Mathématique. English translation: Foundations of the geometry of solids. In. Tarski A. Logic, Semantics, Metamathematics (1956), Oxford Clarendon Press
197. Tarski A. A Decision Method for Elementary Algebra and Geometry. In: McKinsey J.C.C. (Ed) (1948), The RAND Corporation, Santa Monica, CA
198. Tate A., Hendler J., and Drummond M. A review of AI planning techniques. In: Allen J., Hendler J., and Tate A. (Eds). Readings in Planning (1990), Morgan Kaufman, San Mateo, CA
199. M. Thorup. Map graphs in polynomial time. In 39th Annual Symposium on Foundations of Computer Science (FOCS-98), pages 396-405, 1998
200. Thrun S. Robotic mapping: A survey. In: Lakemeyer G., and Nebel B. (Eds). Exploring Artificial Intelligence in the New Millennium (2002), Morgan Kaufmann
201. T. Topaloglou. First order theories of approximate space. In F. Anger et al., editors. Working Notes of AAAI Workshop on Spatial and Temporal Reasoning, pages 283-296, Seattle, 1994. American Association for Artificial Intelligence
202. Van Benthem J.F.A.K. The Logic of Time (1983), D. Reidel Publishing Company, Dordrecht, Holland
203. Van de Weghe N., Cohn A.G., De Maeyer P., and Witlox F. Representing moving objects in computer-based expert systems: The overtake event example. Expert Systems with Applications 29 4 (November 2005) 977-983
204. Van de Weghe N., Cohn A.G., De Tre G., and De Maeyer P. A qualitative trajectory calculus as a basis for representing moving objects in geographical information systems. Cybernetics and Control 35 1 (2006) 97-119
205. In: van Harmelen F. (Ed). Proceedings of the 15th European Conference on Artificial Intelligence (ECAI'2002). Lyon, France, July 2002 (2002), IOS Press
206. Varzi A. Parts, wholes and part-whole relations: the prospects of mereotopology. Data and Knowledge Engineering 20 3 (1996) 259-286
207. Varzi A.C. On the boundary between mereology and topology. In: Casati R., Smith B., and White G. (Eds). Philosophy and the Cognitive Sciences: Proceedings of the 16th Wittgenstein Symposium (1994), Hölder-Pichler-Tempsky, Vienna
208. Vieu L. Spatial representation and reasoning in AI. In: Stock O. (Ed). Spatial and Temporal Reasoning (1997), Kluwer 3-40
209. Wagner T., and Hübner K. An egocentric qualitative spatial knowledge representation based on ordering information for physical robot navigation. In: Nardi D., Riedmiller M., Sammut C., and Santos-Victor J. (Eds). RobuCup. Lecture Notes in Computer Science vol. 3276 (2004), Springer 134-149
210. H. Walischewski. Learning regions of interest in postal automation. In Proceedings of 5th International Conference on Document Analysis and Recognition (ICDAR'99), Bangalore, India, 1999
211. In: Weld D.S., and De Kleer J. (Eds). Readings in Qualitative Reasoning About Physical Systems (1990), Morgan Kaufman, San Mateo, CA
212. Whitehead A.N. Process and Reality (1929), The MacMillan Company, New York Corrected edition published in 1978 by Macmillan
213. Whitehead A.N. In: Griffin D.R., and Sherburne D.W. (Eds). Process and Reality. corrected edition (1978), The Free Press, Macmillan Pub. Co., New York
214. F. Wolter and M. Zakharyaschev. Spatial reasoning in RCC-8 with Boolean region terms. In Proceedings of the 14th European Conference on Artificial Intelligence, pages 244-250, 2000
215. F. Wolter and M. Zakharyaschev. Spatio-temporal representation reasoning based on RCC-8. In Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference (KR'2000), pages 3-14, 2000
216. Worboys M.F., and Duckham M. Geographic Information Systems: A Computing Perspective. 2nd edition (2004), CRC Press, Boca Raton, FL
217. Zimmermann K. Enhancing qualitative spatial reasoning-combining orientation and distance. In: Frank A., and Campari I. (Eds). Spatial Information Theory: A Theoretical Basis for GIS. Lecture Notes in Computer Science vol. 716 (1993), Springer-Verlag, Berlin 69-76
218. Zimmermann K. Measuring without distances: the delta calculus. In: Frank A., and Kuhn W. (Eds). Spatial Information Theory: A Theoretical Basis for GIS. Lecture Notes in Computer Science vol. 988 (1995), Springer-Verlag, Berlin 59-68
219. Zimmermann K., and Freksa C. Enhancing spatial reasoning by the concept of motion. In: Sloman A. (Ed). Prospects for Artificial Intelligence (1993), IOS Press 140-147