{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T00:25:32Z","timestamp":1770510332999,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540603924","type":"print"},{"value":"9783540455196","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60392-1_20","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:25:29Z","timestamp":1330280729000},"page":"311-326","source":"Crossref","is-referenced-by-count":37,"title":["A hierarchical representation of qualitative shape based on connection and convexity"],"prefix":"10.1007","author":[{"given":"A. G.","family":"Cohn","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"20_CR1","unstructured":"Balbiani, B., Dugat, V., del Cerro, L. F. and Lopez, A.: 1994, El\u00e9ments de g\u00e9om\u00e9trie m\u00e9canique, Editions Hermes."},{"key":"20_CR2","volume-title":"Spatial reasoning with propositional logics","author":"B. Bennett","year":"1994","unstructured":"Bennett, B.: 1994, Spatial reasoning with propositional logics, in J. Doyle, E. Sandewall and P. Torasso (eds), Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94), Morgan Kaufmann, San Francisco, CA."},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Bennett, B.: 1995, Modal logics for qualitative spatial reasoning, Bulletin of the Interest Group on Propositional and Predicate Logics (IGPL). To appear.","DOI":"10.1093\/jigpal\/4.1.23"},{"key":"20_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3555.001.0001","volume-title":"Holes and Other Superficialities","author":"R. Casati","year":"1994","unstructured":"Casati, R. and Varzi, A.: 1994, Holes and Other Superficialities, MIT Press, Cambridge, MA."},{"issue":"3","key":"20_CR5","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1305\/ndjfl\/1093883455","volume":"23","author":"B. L. Clarke","year":"1981","unstructured":"Clarke, B. L.: 1981, A calculus of individuals based on \u2018connection', Notre Dame Journal of Formal Logic 23(3), 204\u2013218.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"20_CR6","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1305\/ndjfl\/1093870761","volume":"26","author":"B. L. Clarke","year":"1985","unstructured":"Clarke, B. L.: 1985, Individuals and points, Notre Dame Journal of Formal Logic 26(1), 61\u201375.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"20_CR7","first-page":"113","volume":"3","author":"A. G. Cohn","year":"1987","unstructured":"Cohn, A. G.: 1987, A more expressive formulation of many sorted logic, Journal of Automated Reasoning 3, 113\u2013200.","journal-title":"Journal of Automated Reasoning"},{"key":"20_CR8","unstructured":"Cohn, A. G., Randell, D. A. and Cui, Z.: 1994, Taxonomies of logically defined qualitative spatial relations, in N. Guarino and R. Poli (eds), Formal Ontology in Conceptual Analysis and Knowledge Representation, Kluwer. To appear."},{"key":"20_CR9","first-page":"513","volume-title":"Qualitative Reasoning and Decision Technologies","author":"A. G. Cohn","year":"1993","unstructured":"Cohn, A. G., Randell, D. A., Cui, Z. and Bennett, B.: 1993, Qualitative spatial reasoning and representation, in N. P. Carret\u00e9 and M. G. Singh (eds), Qualitative Reasoning and Decision Technologies, CIMNE, Barcelona, pp. 513\u2013522."},{"key":"20_CR10","first-page":"679","volume-title":"Proceedings AAAI-92","author":"Z. Cui","year":"1992","unstructured":"Cui, Z., Cohn, A. G. and Randell, D. A.: 1992, Qualitative simulation based on a logical formalism of space and time, Proceedings AAAI-92, AAAI Press, Menlo Park, California, pp. 679\u2013684."},{"key":"20_CR11","series-title":"Vol. 716 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/3-540-57207-4_14","volume-title":"Spatial Information Theory: A Theoretical Basis for GIS","author":"G. Edwards","year":"1993","unstructured":"Edwards, G.: 1993, The voronoi model and cultural space: Applications to the social sciences and humanities, in A. U. Frank and I. Campari (eds), Spatial Information Theory: A Theoretical Basis for GIS, Vol. 716 of Lecture Notes in Computer Science, Springer Verlag, Berlin, pp. 202\u2013214."},{"key":"20_CR12","unstructured":"Egenhofer, M.: 1994, Topological similarity, Proc FISI Workshop on the Topological Foundations of Cognitive Science."},{"key":"20_CR13","series-title":"Vol. 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":"Egenhofer, M. J. and Al-Taha, K. K.: 1992, Reasoning about gradual changes of topological relationships, in A. U. Frank, I. Campari and U. Formentini (eds), Theories and Methods of Spatio-temporal Reasoning in Geographic Space, Vol. 639 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 196\u2013219."},{"issue":"2","key":"20_CR14","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1080\/02693799408901990","volume":"8","author":"M. J. Egenhofer","year":"1994","unstructured":"Egenhofer, M. J., Clementini, E. and Di Felice, P.: 1994, Toplogical relations between regions with holes, Int. Journal of Geographical Information Systems 8(2), 129\u2013144.","journal-title":"Int. Journal of Geographical Information Systems"},{"key":"20_CR15","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0004-3702(92)90090-K","volume":"54","author":"C. Freksa","year":"1992","unstructured":"Freksa, C.: 1992a, Temporal reasoning based on semi-intervals, Artificial Intelligence 54, 199\u2013227.","journal-title":"Artificial Intelligence"},{"key":"20_CR16","volume-title":"Using orientation information for qualitative spatial reasoning","author":"C. Freksa","year":"1992","unstructured":"Freksa, C.: 1992b, Using orientation information for qualitative spatial reasoning, in A. U. Frank, I. Campari and U. Formentini (eds), Proc. Int. Conf. on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, Springer-verlag, Berlin."},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Gotts, N. M.: 1994, How far can we \u2018C'? defining a \u2018doughnut\u2019 using connection alone, in J. Doyle, E. Sandewall and P. Torasso (eds), Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94), Morgan Kaufmann.","DOI":"10.1016\/B978-1-4832-1452-8.50119-6"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Leyton, M.: 1988, A process grammar for shape, Artificial Intelligence p. 34.","DOI":"10.1016\/0004-3702(88)90039-2"},{"issue":"1","key":"20_CR19","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF00245024","volume":"5","author":"A. Quaife","year":"1989","unstructured":"Quaife, A.: 1989, Automated development of tarski's geometry, J. Automated Reasoning 5(1), 97\u2013118.","journal-title":"J. Automated Reasoning"},{"key":"20_CR20","unstructured":"Randell, D. A.: 1991, Analysing the Familiar: Reasoning About Space and Time in the Everyday World, PhD thesis, University of Warwick."},{"issue":"6\u20139","key":"20_CR21","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1016\/0898-1221(92)90118-2","volume":"23","author":"D. A. Randell","year":"1992","unstructured":"Randell, D. A. and Cohn, A. G.: 1992, Exploiting lattices in a theory of space and time, Computers and Mathematics with Applications 23(6\u20139), 459\u2013476. Also appears in \u201cSemantic Networks\u201d, ed. F. Lehmann, Pergamon Press, Oxford, pp. 459\u2013476, 1992.","journal-title":"Computers and Mathematics with Applications"},{"key":"20_CR22","volume-title":"Proceedings CADE 11","author":"D. A. Randell","year":"1992","unstructured":"Randell, D. A., Cohn, A. G. and Cui, Z.: 1992a, Computing transitivity tables: A challenge for automated theorem provers, Proceedings CADE 11, Springer Verlag, Berlin."},{"key":"20_CR23","unstructured":"Randell, D. A., Cohn, A. G. and Cui, Z.: 1992b, Naive topology: Modelling the force pump, in P. Struss and B. Faltings (eds), Advances in Qualitative Physics, MIT Press, pp. 177\u2013192."},{"key":"20_CR24","first-page":"165","volume-title":"A spatial logic based on regions and connection","author":"D. A. Randell","year":"1992","unstructured":"Randell, D. A., Cui, Z. and Cohn, A. G.: 1992, A spatial logic based on regions and connection, Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning, Morgan Kaufmann, San Mateo, pp. 165\u2013176."},{"key":"20_CR25","first-page":"55","volume-title":"Modelling topological and metrical properties of physical processes","author":"D. Randell","year":"1989","unstructured":"Randell, D. and Cohn, A.: 1989, Modelling topological and metrical properties of physical processes, in R. Brachman, H. Levesque and R. Reiter (eds), Proceedings 1st International Conference on the Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, Los Altos, pp. 55\u201366."},{"issue":"12","key":"20_CR26","doi-asserted-by":"crossref","first-page":"1355","DOI":"10.1109\/T-C.1972.223507","volume":"C-21","author":"J. Sklansky","year":"1972","unstructured":"Sklansky, J.: 1972, Measuring concavity on a rectangular mosaic, IEEE Trans. on Computers C-21(12), 1355\u20131364.","journal-title":"IEEE Trans. on Computers"},{"key":"20_CR27","unstructured":"Tarski, A.: 1929, Les fondaments de la g\u00e9om\u00e9trie des corps, Ksiega Pamiatkowa Pierwszego Polskiego Zjazdu Matematycznego pp. 29\u201333. A suplement to Annales de la Soci\u00e9t\u00e9 Polonaise de Math\u00e9matique. English translation, \u2018Foundations of the Geometry of Solids', in A. Tarski, Logic, Semantics, Metamathematics, Oxford Clarendon Press, 1956."},{"key":"20_CR28","unstructured":"Varzi, A. C.: 1993, Spatial reasonng in a holey world, Proceedings of the Spatial and Temporal Reasoning workshop, IJCAI-93, pp. 47\u201359."}],"container-title":["Lecture Notes in Computer Science","Spatial Information Theory A Theoretical Basis for GIS"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60392-1_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T19:00:21Z","timestamp":1687287621000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60392-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603924","9783540455196"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-60392-1_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}