{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T14:03:23Z","timestamp":1773410603162,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":91,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540617327","type":"print"},{"value":"9783540707400","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61732-9_54","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:17:12Z","timestamp":1330294632000},"page":"124-143","source":"Crossref","is-referenced-by-count":28,"title":["Calculi for qualitative spatial reasoning"],"prefix":"10.1007","author":[{"given":"A. G.","family":"Cohn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"8_CR1","unstructured":"J F Allen. An interval-based representation of temporal knowledge. In Proceedings 7th IJCAI, pages 221\u2013226, 1981."},{"issue":"11","key":"8_CR2","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J. F. Allen","year":"1983","unstructured":"J F Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832\u2013843, 1983.","journal-title":"Communications of the ACM"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"N Asher and J Lang. When nonmonotonicity comes from distance. In L Nebel, B amd Dreschler-Fischer, editor, KI-94: Advances in Artificial Intelligence, pages 308\u2013318. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58467-6_27"},{"key":"8_CR4","unstructured":"N Asher and L Vieu. Toward a geometry of common sense: A semantics and a complete axiomatization of mereotopology. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal, 1995."},{"key":"8_CR5","volume-title":"The semantics of prepositions \u2014 from mental processing to natural language processing","author":"M Aurnague","year":"1993","unstructured":"M Aurnague and L Vieu. A three-level approach to the semantics of space. In C Zelinsky-Wibbelt, editor, The semantics of prepositions \u2014 from mental processing to natural language processing, Berlin, 1993. Mouton de Gruyter."},{"key":"8_CR6","unstructured":"B. Bennett. Some observations and puzzles about composing spatial and temporal relations. In R Rodr\u00edguez, editor, Proceedings ECAI-94 Workshop on Spatial and Temporal Reasoning, 1994."},{"key":"8_CR7","volume-title":"Spatial reasoning with propositional logics","author":"B. Bennett","year":"1994","unstructured":"B. Bennett. Spatial reasoning with propositional logics. In J Doyle, E Sandewall, and P Torasso, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94), San Francisco, CA., 1994. Morgan Kaufmann."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"B Bennett. Carving up space: steps towards construction of an absolutely complete theory of spatial regions. In Proc. JELIA96, 1996.","DOI":"10.1007\/3-540-61630-6_24"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"B Bennett. Modal logics for qualitative spatial reasoning. Bulletin of the Interest Group in Pure and Applied Logic (IGPL), 1996.","DOI":"10.1093\/jigpal\/4.1.23"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"L. Biacino and G. Gerla. Connection structures. Notre Dame Journal of Formal Logic, 32(2), 1991.","DOI":"10.1305\/ndjfl\/1093635748"},{"key":"8_CR11","volume-title":"Technical report","author":"S Borgo","year":"1996","unstructured":"S Borgo, N Guarino, and C Masolo. A pointless theory of spade based on strong connecction and congruence. Technical report, LADSEB-CNR, Padova, 1996."},{"key":"8_CR12","unstructured":"J M Brady. Criteria for representations of shape. Human and Machine Vision, 1993."},{"key":"8_CR13","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3555.001.0001","volume-title":"Holes and Other Superficialities","author":"R Casati","year":"1994","unstructured":"R Casati and A Varzi. Holes and Other Superficialities. MIT Press, Cambridge, MA, 1994."},{"issue":"3","key":"8_CR14","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1305\/ndjfl\/1093883455","volume":"23","author":"B. L. Clarke","year":"1981","unstructured":"B L Clarke. A calculus of individuals based on \u2018connection'. Notre Dame Journal of Formal Logic, 23(3):204\u2013218, July 1981.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"8_CR15","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1305\/ndjfl\/1093870761","volume":"26","author":"B. L. Clarke","year":"1985","unstructured":"B L Clarke. Individuals and points. Notre Dame Journal of Formal Logic, 26(1):61\u201375, 1985.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"8_CR16","unstructured":"E Clementini and P Di Felice. An algebraic model for spatial objects with undetermined boundaries. In P Burrough and A M Frank, editors, Proceedings, GISDATA Specialist Meeting on Geographical Entities with Undetermined Boundaries,.Taylor Francis, 1996."},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"A G Cohn. A hierarchcial representation of qualitative shape based on connection and convexity. In A Frank, editor, Proc COSIT95, LNCS, pages 311\u2013326. Springer Verlag, 1995.","DOI":"10.1007\/3-540-60392-1_20"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"A G Cohn, B Bennett, J Gooday, and N Gotts. Representing and reasoning with qualitative spatial relations about regions. In O Stock, editor, Temporal and spatial reasoning. Kluwer, to appear.","DOI":"10.1007\/978-0-585-28322-7_4"},{"key":"8_CR19","volume-title":"A comparison of structures in spatial and temporal logics","author":"A. G. Cohn","year":"1994","unstructured":"A G Cohn, J M Gooday, and B Bennett. A comparison of structures in spatial and temporal logics. In R Casati, B Smith, and G White, editors, Philosophy and the Cognitive Sciences: Proceedings of the 16th International Wittgenstein Symposium, Vienna, 1994. H\u00f6lder-Pichler-Tempsky."},{"key":"8_CR20","unstructured":"A G Cohn and N M Gotts. A theory of spatial regions with indeterminate boundaries. In C. Eschenbach, C. Habel, and B. Smith, editors, Topological Foundations of Cognitive Science, 1994."},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"A G Cohn and N M Gotts. The \u2018egg-yolk\u2019 representation of regions with indeterminate boundaries. In P Burrough and A M Frank, editors, Proceedings, GISDATA Specialist Meeting on Geographical Objects with Undetermined Boundaries, pages 171\u2013187. Francis Taylor, 1996.","DOI":"10.1201\/9781003062660-16"},{"key":"8_CR22","doi-asserted-by":"crossref","first-page":"831","DOI":"10.1006\/ijhc.1995.1077","volume":"43","author":"A. G. Cohn","year":"1995","unstructured":"A G Cohn, D A Randell, and Z Cui. Taxonomies of logically defined qualitative spatial relations. Int. J of Human-Computer Studies, 43:831\u2013846, 1995.","journal-title":"Int. J of Human-Computer Studies"},{"key":"8_CR23","first-page":"679","volume-title":"Proceedings AAAI-92","author":"Z Cui","year":"1992","unstructured":"Z Cui, A G Cohn, and D A Randell. Qualitative simulation based on a logical formalism of space and time. In Proceedings AAAI-92, pages 679\u2013684, Menlo Park, California, 1992. AAAI Press."},{"key":"8_CR24","unstructured":"E Davis. Personal communication., June 1996."},{"key":"8_CR25","doi-asserted-by":"crossref","first-page":"449","DOI":"10.2307\/2939504","volume":"19","author":"T. Laguna de","year":"1922","unstructured":"T. de Laguna. Point, line and surface as sets of solids. The Journal of Philosophy, 19:449\u2013461, 1922.","journal-title":"The Journal of Philosophy"},{"key":"8_CR26","unstructured":"M Egenhofer. Topological similarity. In Proc FISI workshop on the Toplogical Foundations of Cognitive Science, volume 37 of Reports of the Doctoral Series in Cognitive Science. University of Hamburg, 1994."},{"key":"8_CR27","series-title":"Technical Report 94-1","volume-title":"The 9-intersection: formalism and its use for natural language spatial predicates","author":"M Egenhofer","year":"1994","unstructured":"M Egenhofer and J Herring. Categorizing topological spatial relationships between point, line and area objects. In The 9-intersection: formalism and its use for natural language spatial predicates, Technical Report 94-1. National Center for Geographic Information and Analysis, Santa Barbara, 1994."},{"key":"8_CR28","series-title":"volume 639 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/3-540-55966-3_12","volume-title":"Theories and Methods of Spatio-temporal Reasoning in Geographic Space","author":"M. J. Egenhofer","year":"1992","unstructured":"M J Egenhofer and K K Al-Taha. Reasoning about gradual changes of topological relationships. In A U Frank, I Campari, and U Formentini, editors, Theories and Methods of Spatio-temporal Reasoning in Geographic Space, volume 639 of Lecture Notes in Computer Science, pages 196\u2013219. Springer-Verlag, Berlin, 1992."},{"issue":"2","key":"8_CR29","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1080\/02693799408901990","volume":"8","author":"M. J. Egenhofer","year":"1994","unstructured":"M J Egenhofer, E Clementini, and P Di Felice. Toplogical relations between regions with holes. Int. Journal of Geographical Information Systems, 8(2):129\u2013144, 1994.","journal-title":"Int. Journal of Geographical Information Systems"},{"key":"8_CR30","series-title":"volume 988 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-60159-7","volume-title":"Spatial Information Theory: a theoretical basis for GIS","author":"M. J. Egenhofer","year":"1995","unstructured":"M J Egenhofer and D Mark. Naive geography. In A U Frank and W Kuhn, editors, Spatial Information Theory: a theoretical basis for GIS, volume 988 of Lecture Notes in Computer Science, pages 1\u201316. Springer-Verlag, Berlin, 1995."},{"key":"8_CR31","doi-asserted-by":"crossref","unstructured":"B. Faltings. A symbolic approach to qualitative kinematics. Artificial Intelligence, 56(2), 1992.","DOI":"10.1016\/0004-3702(92)90025-S"},{"key":"8_CR32","series-title":"volume 988 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/3-540-60392-1_2","volume-title":"Spatial Information Theory: a theoretical basis for GIS","author":"B Faltings","year":"1995","unstructured":"B Faltings. Qualitative spatial reaoning using algebraic topology. In A U Frank and W Kuhn, editors, Spatial Information Theory: a theoretical basis for GIS, volume 988 of Lecture Notes in Computer Science, pages 17\u201330, Berlin, 1995. Springer-Verlag."},{"key":"8_CR33","volume-title":"Recent Advances in Qualitative Physics","year":"1992","unstructured":"B. Faltings and P. Struss, editors. Recent Advances in Qualitative Physics. MIT Press, Cambridge, Ma, 1992."},{"key":"8_CR34","doi-asserted-by":"crossref","unstructured":"J Fernyhough, A G Cohn, and D C Hogg. Real time generation of semantic regions from video sequences. In Proc. ECCV96, LNCS. Springer Verlag, 1996.","DOI":"10.1007\/3-540-61123-1_162"},{"key":"8_CR35","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/1045-926X(92)90007-9","volume":"3","author":"A Frank","year":"1992","unstructured":"A Frank. Qualitative spatial reasoning with cardinal directions. Journal of Visual Languages and Computing, 3:343\u2013371, 1992.","journal-title":"Journal of Visual Languages and Computing"},{"key":"8_CR36","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0004-3702(92)90090-K","volume":"54","author":"C Freksa","year":"1992","unstructured":"C Freksa. Temporal reasoning based on semi-intervals. Artificial Intelligence, 54:199\u2013227, 1992.","journal-title":"Artificial Intelligence"},{"key":"8_CR37","unstructured":"H Fujihara and A Mukerjee. Qualitative reasoning about document design. Technical report, Texas A and M University, 1991."},{"key":"8_CR38","series-title":"number 988 in Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/3-540-60392-1_3","volume-title":"Spatial Information Theory: a theoretical basis for GIS","author":"M Gahegan","year":"1995","unstructured":"M Gahegan. Proximity operators for qualitative spatial reasoning. In W Kuhn A Frank, editor, Spatial Information Theory: a theoretical basis for GIS, number 988 in Lecture Notes in Computer Science, pages 31\u201344, Berlin, 1995. Springer Verlag."},{"key":"8_CR39","series-title":"number 988 in Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/3-540-60392-1_25","volume-title":"Spatial Information Theory: a theoretical basis for GIS","author":"A Galton","year":"1995","unstructured":"A Galton. Towards a qualitative theory of movement. In W Kuhn A Frank, editor, Spatial Information Theory: a theoretical basis for GIS, number 988 in Lecture Notes in Computer Science, pages 377\u2013396, Berlin, 1995. Springer Verlag."},{"key":"8_CR40","doi-asserted-by":"crossref","unstructured":"G. Gerla. Pointless geometries. In F. Buekenhout, editor, Handbook of Incidence Geometry, chapter 18, pages 1015\u20131031. Eslevier Science B.V., 1995.","DOI":"10.1016\/B978-044488355-1\/50020-7"},{"key":"8_CR41","unstructured":"J et al Glasgow. Diagrammatic Reasoning. MIT Press, 1995."},{"key":"8_CR42","doi-asserted-by":"crossref","unstructured":"J M Gooday and A G Cohn. Using spatial logic to describe visual languages. Artificial Intelligence Review, 10(1\u20132), 1995.","DOI":"10.1007\/BF00127678"},{"key":"8_CR43","unstructured":"N Gotts. Personal communication, June 1996."},{"key":"8_CR44","unstructured":"N M Gotts. Defining a \u2018doughnut\u2019 made difficult. In C. Eschenbach, C. Habel, and B. Smith, editors, Topological Foundations of Cognitive Science, volume 37 of Reports of the Doctoral programme in Cognitive Science. University of Hamburg, 1994."},{"key":"8_CR45","doi-asserted-by":"crossref","unstructured":"N M Gotts. How far can we \u2018C'? defining a \u2018doughnut\u2019 using connection alone. In J Doyle, E Sandewall, and P Torasso, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94). Morgan Kaufmann, 1994.","DOI":"10.1016\/B978-1-4832-1452-8.50119-6"},{"key":"8_CR46","unstructured":"N M Gotts. Formalising commonsense topology: The inch calculus. In Proc. Fourth International Symposium on Artificial Intelligence and Mathematics, 1996."},{"key":"8_CR47","unstructured":"N M Gotts and A G Cohn. A mereological approach to spatial vagueness. In Proceedings, Qualitative Reasoning Workshop 1995 (QR-95), 1995."},{"issue":"1","key":"8_CR48","doi-asserted-by":"crossref","first-page":"51","DOI":"10.5840\/monist19967913","volume":"79","author":"N. M. Gotts","year":"1996","unstructured":"N M Gotts, J M Gooday, and A G Cohn. A connection based approach to commonsense topological description and reasoning. The Monist, 79(1):51\u201375, 1996.","journal-title":"The Monist"},{"key":"8_CR49","unstructured":"M. Grigni, D. Papadias, and C. Papadimitriou. Topological inference. In C.S. Mellish, editor, proceedings of the fourteenth international joint conference on artificial intelligence (IJCAI-95), volume I, pages 901\u2013906. Morgan Kaufmann, 1995."},{"key":"8_CR50","unstructured":"P J Hayes. The naive physics manifesto. In D Mitchie, editor, Expert systems in the micro-electronic age. Edinburgh University Press, 1979."},{"key":"8_CR51","doi-asserted-by":"crossref","unstructured":"D Hern\u00e1ndez. Qualitative Representation of Spatial Knowledge, volume 804 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 1994.","DOI":"10.1007\/BFb0020328"},{"key":"8_CR52","series-title":"number 988 in Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/3-540-60392-1_4","volume-title":"Spatial Information Theory: a theoretical basis for GIS","author":"D Hernandez","year":"1995","unstructured":"D Hernandez, E Clementini, and P Di Felice. Qualitative distances. In W Kuhn A Frank, editor, Spatial Information Theory: a theoretical basis for GIS, number 988 in Lecture Notes in Computer Science, pages 45\u201358, Berlin, 1995. Springer Verlag."},{"key":"8_CR53","unstructured":"A Herskovits. Language and Spatial Cognition. An interdisciplinary study of prepositions in English. Cambridge University Press, 1986."},{"key":"8_CR54","unstructured":"J Hobbs. Granularity. In Proceedings IJCAI-85, pages 432\u2013435, 1985."},{"key":"8_CR55","unstructured":"S Kaufman. A formal theory of spatial reasoning. In Proc Int. Conf. on Knowledge Representation and Reasoning, pages 347\u2013356, 1991."},{"key":"8_CR56","unstructured":"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."},{"key":"8_CR57","volume-title":"Qualitative Reasoning","author":"B Kuipers","year":"1994","unstructured":"B Kuipers. Qualitative Reasoning. MIT Press, Cambridge, MA., 1994."},{"issue":"2","key":"8_CR58","first-page":"25","volume":"9","author":"B. J. Kuipers","year":"1988","unstructured":"B J Kuipers and T S Levitt. Navigating and mapping in large-scale space. AI Magazine, 9(2):25\u201343, 1988.","journal-title":"AI Magazine"},{"key":"8_CR59","doi-asserted-by":"crossref","unstructured":"F Lehmann and A G Cohn. The EGG\/YOLK reliability hierarchy: Semantic data integration using sorts with prototypes. In Proc. Conf. on Information Knowledge Management, pages 272\u2013279. ACM Press, 1994.","DOI":"10.1145\/191246.191293"},{"key":"8_CR60","doi-asserted-by":"crossref","unstructured":"M Leyton. A process grammar for shape. Artificial Intelligence, page 34, 1988.","DOI":"10.1016\/0004-3702(88)90039-2"},{"key":"8_CR61","unstructured":"G Ligozat. Towards a general characterization of conceptual neighbourhoods in temporal and spatial reasoning. In F D Anger and R Loganantharah, editors, Proceedings AAAI-94 Workshop on Spatial and Temporal Reasoning, 1994."},{"key":"8_CR62","unstructured":"M Lundell. A qualitative model of gradient flow in a spatially distributed parameter. In Proc 9th Int. Workshop on Qualitative Reasoning, Amsterdam, 1995."},{"key":"8_CR63","series-title":"number 988 in Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1007\/3-540-60392-1_36","volume-title":"Spatial Information Theory: a theoretical basis for GIS","author":"D Mark","year":"1995","unstructured":"D Mark, D Comas, M Egenhofer, S Freundschuh, J Gould, and J Nunes. Evaluating and refining computational models of spatial relations through cross-linguistic human-subjects testing. In W Kuhn A Frank, editor, Spatial Information Theory: a theoretical basis for GIS, number 988 in Lecture Notes in Computer Science, pages 553\u2013568, Berlin, 1995. Springer Verlag."},{"key":"8_CR64","doi-asserted-by":"crossref","first-page":"867","DOI":"10.1016\/0098-1354(88)87014-5","volume":"12","author":"M Mavrovouniotis","year":"1988","unstructured":"M Mavrovouniotis and G Stephanopoulos. Formal order-of-magnitude reasoning in process engineering. Computers and Chemical Engineering, 12:867\u2013881, 1988.","journal-title":"Computers and Chemical Engineering"},{"key":"8_CR65","series-title":"number 716 in Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1007\/3-540-57207-4_21","volume-title":"Spatial Information Theory: a theoretical basis for GIS","author":"D Montello","year":"1993","unstructured":"D Montello. Scale and multiple pyschologies of space. In I Campari A Frank, editor, Spatial Information Theory: a theoretical basis for GIS, number 716 in Lecture Notes in Computer Science, pages 312\u2013321, Berlin, 1993. Springer Verlag."},{"key":"8_CR66","first-page":"721","volume-title":"Proceedings AAAI-90","author":"P Mukerjee","year":"1990","unstructured":"P Mukerjee and G Joe. A qualitative model for space. In Proceedings AAAI-90, pages 721\u2013727, Los Altos, 1990. Morgan Kaufmann."},{"key":"8_CR67","doi-asserted-by":"crossref","unstructured":"B. Nebel. Computational properties of qualitative spatial reasoning: First results. In Procedings of the 19th German AI Conference, 1995.","DOI":"10.1007\/3-540-60343-3_40"},{"key":"8_CR68","unstructured":"O Raiman. Order of magnitude reasoning. In AAAI-86: Proceedings of the National Conference on AI, pages 100\u2013104, 1996."},{"issue":"6\u20139","key":"8_CR69","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1016\/0898-1221(92)90118-2","volume":"23","author":"D. A. Randell","year":"1992","unstructured":"D A Randell and A G Cohn. Exploiting lattices in a theory of space and time. Computers and Mathematics with Applications, 23(6\u20139): 459\u2013476, 1992. Also appears in \u201cSemantic Networks\u201d, ed. F. Lehmann, Pergamon Press, Oxford, pp. 459\u2013476, 1992.","journal-title":"Computers and Mathematics with Applications"},{"key":"8_CR70","volume-title":"Proceedings CADE 11","author":"D. A. Randell","year":"1992","unstructured":"D A Randell, A G Cohn, and Z Cui. Computing transitivity tables: A challenge for automated theorem provers. In Proceedings CADE 11, Berlin, 1992. Springer Verlag."},{"key":"8_CR71","unstructured":"D A Randell, A G Cohn, and Z Cui. Naive topology: Modelling the force pump. In P Struss and B Faltings, editors, Advances in Qualitative Physics, pages 177\u2013192. MIT Press, 1992."},{"key":"8_CR72","first-page":"165","volume-title":"A spatial logic based on regions and connection","author":"D. A. Randell","year":"1992","unstructured":"D A Randell, Z Cui, and A G Cohn. A spatial logic based on regions and connection. In Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning, pages 165\u2013176, San Mateo, 1992. Morgan Kaufmann."},{"key":"8_CR73","first-page":"55","volume-title":"Modelling topological and metrical properties of physical processes","author":"D.A. Randell","year":"1989","unstructured":"D.A. Randell and A.G. Cohn. Modelling topological and metrical properties of physical processes. In R Brachman, H Levesque, and R Reiter, editors, Proceedings 1st International Conference on the Principles of Knowledge Representation and Reasoning, pages 55\u201366, Los Altos, 1989. Morgan Kaufmann."},{"key":"8_CR74","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/MCG.1982.1674149","volume":"2","author":"A. A. G. Requicha","year":"1992","unstructured":"A A G Requicha and H B Boelcke. Solid modelling: a historical summary aand contemporary assessment. IEEE Computer Graphics and Applications, 2:9\u201324, 1992.","journal-title":"IEEE Computer Graphics and Applications"},{"key":"8_CR75","first-page":"1418","volume":"2","author":"R R\u00f6hrig","year":"1994","unstructured":"R R\u00f6hrig. A theory for qualitative spatial reasoning based on order relations. In AAAI-94: Proceedings of the 12th National Conference on AI, volume 2, pages 1418\u20131423, Seattle, 1994.","journal-title":"AAAI-94: Proceedings of the 12th National Conference on AI"},{"key":"8_CR76","first-page":"523","volume-title":"Qualitative Reasoning and Decision Technologies","author":"C Schlieder","year":"1993","unstructured":"C Schlieder. Representing visible locations for qualitative navigation. In N Piera Carret\u00e9 and M G Singh, editors, Qualitative Reasoning and Decision Technologies, pages 523\u2013532, Barcelona, 1993. CIMNE."},{"key":"8_CR77","series-title":"number 988 in Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/3-540-60392-1_22","volume-title":"Spatial Information Theory: a theoretical basis for GIS","author":"C Schlieder","year":"1995","unstructured":"C Schlieder. Reasoning about ordering. In W Kuhn A Frank, editor, Spatial Information Theory: a theoretical basis for GIS, number 988 in Lecture Notes in Computer Science, pages 341\u2013349, Berlin, 1995. Springer Verlag."},{"key":"8_CR78","unstructured":"C Schlieder. Qualitative shape representation. In P Burrough and A M Frank, editors, Proceedings, GISDATA Specialist Meeting on Geographical Objects with Undetermined Boundaries. Francis Taylor, 1996."},{"key":"8_CR79","doi-asserted-by":"crossref","unstructured":"M Shanahan. Default reasoning about spatial occupancy. Artificial Intelligence, 1995.","DOI":"10.1016\/0004-3702(94)00071-8"},{"issue":"12","key":"8_CR80","doi-asserted-by":"crossref","first-page":"1355","DOI":"10.1109\/T-C.1972.223507","volume":"C-21","author":"J Sklansky","year":"1972","unstructured":"J Sklansky. Measuring concavity on a rectangular mosaic. IEEE Trans. on Computers, C-21(12):1355\u20131364, 1972.","journal-title":"IEEE Trans. on Computers"},{"key":"8_CR81","unstructured":"A. Tarski. Foundations of the geometry of solids. In Logic, Semantics, Metamathematics, chapter 2. Oxford Clarendon Press, 1956. trans. J.H. Woodger."},{"key":"8_CR82","volume-title":"Readings in Planning","author":"A Tate","year":"1990","unstructured":"A Tate, J Hendler, and M Drummond. A review of AI planning techniques. In J Allen, J Hendler, and A Tate, editors, Readings in Planning. Morgan Kaufman, San Mateo, CA, 1990."},{"key":"8_CR83","unstructured":"T Topaloglou. First order theories of approximate space. In F Anger et al., editor, Working notes of AAAI workshop on spatial and temporal reasoning, pages 283\u2013296, Seattle, 1994."},{"key":"8_CR84","unstructured":"A C Varzi. Spatial reasonng in a holey world. In Proceedings of the Spatial and Temporal Reasoning workshop, IJCAI-93, pages 47\u201359, 1993."},{"key":"8_CR85","volume-title":"PhD thesis","author":"L Vieu","year":"1991","unstructured":"L Vieu. S\u00e9mantique des relations spatiales et inf\u00e9rences spatio-temporelles. PhD thesis, Universit\u00e9 Paul Sabatier, Toulouse, 1991."},{"key":"8_CR86","volume-title":"Readings in Qualitative Reasoning About Physical Systems","year":"1990","unstructured":"D S Weld and J De Kleer, editors. Readings in Qualitative Reasoning About Physical Systems. Morgan Kaufman, San Mateo, Ca, 1990."},{"key":"8_CR87","volume-title":"Process and reality: corrected edition","author":"A. N. Whitehead","year":"1978","unstructured":"A N Whitehead. Process and reality: corrected edition. The Free Press, Macmillan Pub. Co., New York, 1978. edited by D.R. Griffin and D.W. Sherburne."},{"key":"8_CR88","unstructured":"J.H. Woodger. The Axiomatic Method in Biology. Cambridge University Press, 1937."},{"key":"8_CR89","series-title":"number 716 in Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/3-540-57207-4_6","volume-title":"Spatial Information Theory: a theoretical basis for GIS","author":"K Zimmermann","year":"1993","unstructured":"K Zimmermann. Enhancing qualitative spatial reasoning \u2014 combining orientation and distance. In I Campari A Frank, editor, Spatial Information Theory: a theoretical basis for GIS, number 716 in Lecture Notes in Computer Science, pages 69\u201376, Berlin, 1993. Springer Verlag."},{"key":"8_CR90","series-title":"number 988 in Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/3-540-60392-1_5","volume-title":"Spatial Information Theory: a theoretical basis for GIS","author":"K Zimmermann","year":"1995","unstructured":"K Zimmermann. Measuring without distances: the delta calculus. In W Kuhn A Frank, editor, Spatial Information Theory: a theoretical basis for GIS, number 988 in Lecture Notes in Computer Science, pages 59\u201368, Berlin, 1995. Springer Verlag."},{"key":"8_CR91","unstructured":"K Zimmermann and C Freksa. Enhancing spatial reasoning by the concept of motion. In A Sloman, editor, Prospects for Artificial Intelligence, pages 140\u2013147. IOS Press, 1993."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Mathematical Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61732-9_54.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T19:17:11Z","timestamp":1687288631000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61732-9_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617327","9783540707400"],"references-count":91,"URL":"https:\/\/doi.org\/10.1007\/3-540-61732-9_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}