{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T05:05:07Z","timestamp":1740632707684,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":63,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642147548"},{"type":"electronic","value":"9783642147555"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14755-5_6","type":"book-chapter","created":{"date-parts":[[2010,10,1]],"date-time":"2010-10-01T08:07:47Z","timestamp":1285920467000},"page":"133-163","source":"Crossref","is-referenced-by-count":0,"title":["An Exploratory Survey of Logic-Based Formalisms for Spatial Information"],"prefix":"10.1007","author":[{"given":"Florence Dupin","family":"de Saint-Cyr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Odile","family":"Papini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henri","family":"Prade","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3-4","key":"6_CR1","doi-asserted-by":"publisher","first-page":"319","DOI":"10.3166\/jancl.12.319-363","volume":"12","author":"M. Aiello","year":"2002","unstructured":"Aiello, M., van Benthem, J.: A modal walk through space. Journal of Applied Non Classical Logic\u00a012(3-4), 319\u2013364 (2002)","journal-title":"Journal of Applied Non Classical Logic"},{"key":"6_CR2","first-page":"846","volume-title":"International Joint Conference on Artificial Intelligence (IJCAI), Montreal, Canada","author":"N. Asher","year":"1995","unstructured":"Asher, N., Vieu, L.: Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology. In: International Joint Conference on Artificial Intelligence (IJCAI), Montreal, Canada, pp. 846\u2013852. Morgan Kaufmann Publishers, San Francisco (1995)"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Balbiani, P.: The modal multilogic of geometry (1998) (manuscript )","DOI":"10.1080\/11663081.1998.10510945"},{"issue":"1","key":"6_CR4","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1093\/logcom\/7.1.59","volume":"7","author":"P. Balbiani","year":"1997","unstructured":"Balbiani, P., Fari\u00f1as del Cerro, L., Tinchev, T., Vakarelov, D.: Modal logics for incidence geometries. Journal of Logic and Computation\u00a07(1), 59\u201378 (1997)","journal-title":"Journal of Logic and Computation"},{"issue":"3-4","key":"6_CR5","doi-asserted-by":"publisher","first-page":"365","DOI":"10.3166\/jancl.12.365-397","volume":"12","author":"P. Balbiani","year":"2002","unstructured":"Balbiani, P., Goranko, V.: Logics for parallelism, orthogonality, and affine geometries. Journal of Applied Non Classical Logic\u00a012(3-4), 365\u2013398 (2002)","journal-title":"Journal of Applied Non Classical Logic"},{"issue":"7","key":"6_CR6","first-page":"1","volume":"3","author":"B. Bennett","year":"1995","unstructured":"Bennett, B.: Modal logics for qualitative spatial reasoning. Bulletin of the Interest Group in Pure and Applied Logic\u00a03(7), 1\u201322 (1995)","journal-title":"Bulletin of the Interest Group in Pure and Applied Logic"},{"issue":"1-2","key":"6_CR7","first-page":"145","volume":"36","author":"B. Bennett","year":"2001","unstructured":"Bennett, B.: A categorical axiomatisation of region-based geometry. Fundamenta Informaticae\u00a036(1-2), 145\u2013158 (2001)","journal-title":"Fundamenta Informaticae"},{"key":"6_CR8","unstructured":"Bennett, B., Cohn, A.: Consistency of topological relations in the presence of convexity constraints. In: Proceedings of the \u2018Hot Topics in Spatio Temporal Reasoning\u2019 workshop, IJCAI 1999, Stockholm (1999)"},{"issue":"2","key":"6_CR9","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.imavis.2004.06.013","volume":"23","author":"I. Bloch","year":"2005","unstructured":"Bloch, I.: Fuzzy spatial relationships for image processing and interpretation: a review. Image Vision Comput.\u00a023(2), 89\u2013110 (2005)","journal-title":"Image Vision Comput."},{"key":"6_CR10","first-page":"220","volume-title":"Principles of Knowledge Representation and Reasoning: Proc. 5th Intl. Conf. (KR 1996)","author":"S. Borgo","year":"1996","unstructured":"Borgo, S., Guarino, N., Masolo, C.: A pointless theory of space based on strong connection and congruence. In: Carlucci Aiello, L., Doyle, J. (eds.) Principles of Knowledge Representation and Reasoning: Proc. 5th Intl. Conf (KR 1996), pp. 220\u2013229. Morgan Kaufman, San Francisco (1996)"},{"issue":"24","key":"6_CR11","doi-asserted-by":"publisher","first-page":"776","DOI":"10.2307\/2023807","volume":"63","author":"M. Bunge","year":"1966","unstructured":"Bunge, M.: On null individuals. The Journal of Philosophy\u00a063(24), 776\u2013778 (1966)","journal-title":"The Journal of Philosophy"},{"key":"6_CR12","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., Varzi, A.: Holes and Other Superficialities. MIT Press, Cambridge (1994)"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1305\/ndjfl\/1093870761","volume":"26","author":"B.L. Clarke","year":"1985","unstructured":"Clarke, B.L.: Individuals and points. Notre Dame J. of Formal Logic\u00a026, 61\u201375 (1985)","journal-title":"Notre Dame J. of Formal Logic"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1305\/ndjfl\/1093883455","volume":"22","author":"B.L. Clarke","year":"1981","unstructured":"Clarke, B.L.: A calculus of individuals based on connection. Notre Dame J. of Formal Logic\u00a022, 204\u2013218 (1981)","journal-title":"Notre Dame J. of Formal Logic"},{"key":"6_CR15","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing","author":"C. Cungen","year":"2003","unstructured":"Cungen, C., Yuefei, S., Zaiyue, Z.: Rough Mereology in Knowledge Representation. In: Wang, G., Liu, Q., Yao, Y., Skowron, A. (eds.) RSFDGrC 2003. LNCS (LNAI), vol.\u00a02639. Springer, Heidelberg (2003)"},{"key":"6_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04997-6","volume-title":"Incomplete Information: Structure, Inference, Complexity","author":"S. Demri","year":"2002","unstructured":"Demri, S., Orlowska, E.: Incomplete Information: Structure, Inference, Complexity. Springer, New York (2002)"},{"key":"6_CR17","unstructured":"Donnelly, M.: An Axiomatic Theory of Common-Sense Geometry. The University of Texas at Austin (2001)"},{"key":"6_CR18","first-page":"195","volume":"75","author":"D. Dubois","year":"2007","unstructured":"Dubois, D., Dupin de Saint-Cyr, F., Prade, H.: A possibility-theoretic view of formal concept analysis. Fundamenta Informaticae\u00a075, 195\u2013213 (2007)","journal-title":"Fundamenta Informaticae"},{"key":"6_CR19","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1093\/oso\/9780198537472.003.0009","volume-title":"Handbook of logic in Artificial Intelligence and logic programming","author":"D. Dubois","year":"1994","unstructured":"Dubois, D., Lang, J., Prade, H.: Possibilistic logic. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of logic in Artificial Intelligence and logic programming, vol.\u00a03, pp. 439\u2013513. Clarendon Press, Oxford (1994)"},{"key":"6_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-5287-7","volume-title":"Possibility Theory","author":"D. Dubois","year":"1988","unstructured":"Dubois, D., Prade, H.: Possibility Theory. Plenum Press, New York (1988)"},{"issue":"3","key":"6_CR21","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1023\/A:1020035315574","volume":"17","author":"V. Dugat","year":"2002","unstructured":"Dugat, V., Gambarotto, P., Larvor, Y.: Qualitative geometry for shape recognition. Applied Intelligence\u00a017(3), 253\u2013263 (2002)","journal-title":"Applied Intelligence"},{"key":"6_CR22","first-page":"113","volume-title":"Relational Methods in Algebra, Logic, and Computer Science","author":"I. D\u00fcntsch","year":"2001","unstructured":"D\u00fcntsch, I.: Contact relation algebras. In: Orlowska, E., Szalas, A. (eds.) Relational Methods in Algebra, Logic, and Computer Science, pp. 113\u2013134. Physica-Verlag, Heidelberg (2001)"},{"key":"6_CR23","first-page":"71","volume":"46","author":"I. D\u00fcntsch","year":"2001","unstructured":"D\u00fcntsch, I., Orlowska, E., Wang, H.: Algebras of approximating regions. Fundamenta Informaticae\u00a046, 71\u201382 (2001)","journal-title":"Fundamenta Informaticae"},{"key":"6_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-87993-0_15","volume-title":"Scalable Uncertainty Management","author":"F. Dupin de Saint-Cyr","year":"2008","unstructured":"Dupin de Saint-Cyr, F., Jeansoulin, R., Prade, H.: Fusing uncertain structured spatial information. In: Greco, S., Lukasiewicz, T. (eds.) SUM 2008. LNCS (LNAI), vol.\u00a05291, pp. 174\u2013188. Springer, Heidelberg (2008)"},{"issue":"12","key":"6_CR25","first-page":"1515","volume":"159","author":"F. Dupin de Saint-Cyr","year":"2008","unstructured":"Dupin de Saint-Cyr, F., Prade, H.: Logical handling of uncertain, ontology-based, spatial information. Fuzzy Sets and Systems, Advances in Intelligent Databases and Information Systems\u00a0159(12), 1515\u20131534 (2008)","journal-title":"Fuzzy Sets and Systems, Advances in Intelligent Databases and Information Systems"},{"key":"6_CR26","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/0304-3975(85)90046-5","volume":"36","author":"L. Fari\u00f1as del Cerro","year":"1985","unstructured":"Fari\u00f1as del Cerro, L., Orlowska, E.: Dal\u2013 a logic for data analysis. Theoretical Computer Science\u00a036, 251\u2013264 (1985)","journal-title":"Theoretical Computer Science"},{"key":"6_CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis, Mathematical Foundations","author":"B. Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis, Mathematical Foundations. Springer, Heidelberg (1999)"},{"issue":"3-4","key":"6_CR28","first-page":"369","volume":"4","author":"R. Jeansoulin","year":"1994","unstructured":"Jeansoulin, R., Mathieu, C.: Une logique des inf\u00e9rences spatiales. Revue internationale de g\u00e9omatique\u00a04(3-4), 369\u2013384 (1994)","journal-title":"Revue internationale de g\u00e9omatique"},{"key":"6_CR29","doi-asserted-by":"publisher","first-page":"141","DOI":"10.2307\/1969080","volume":"45","author":"J.C.C. Mc Kinsey","year":"1944","unstructured":"Mc Kinsey, J.C.C., Tarski, A.: The algebra of topology. Annals of Mathematics\u00a045, 141\u2013191 (1944)","journal-title":"Annals of Mathematics"},{"key":"6_CR30","volume-title":"Formal Systems and Recursive Functions","author":"S. Kripke","year":"1963","unstructured":"Kripke, S.: Semantical analysis of Intuitionnist logic I. In: Crossley, J., Demmett, M. (eds.) Formal Systems and Recursive Functions. North Holland, Amsterdam (1963)"},{"issue":"3-4","key":"6_CR31","doi-asserted-by":"publisher","first-page":"425","DOI":"10.3166\/jancl.12.425-439","volume":"12","author":"O. Kutz","year":"2002","unstructured":"Kutz, O., Sturm, H., Suzuki, N., Wolter, F., Zakharyaschev, M.: Axiomatizing distance logics. Journal of Applied Non Classical Logic\u00a012(3-4), 425\u2013440 (2002)","journal-title":"Journal of Applied Non Classical Logic"},{"issue":"2","key":"6_CR32","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1145\/635499.635504","volume":"4","author":"O. Kutz","year":"2003","unstructured":"Kutz, O., Sturm, H., Suzuki, N.-Y., Wolter, F., Zakharyaschev, M.: Logics of metric spaces. ACM Transactions on Computational Logic (TOCL)\u00a04(2), 260\u2013294 (2003)","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"key":"6_CR33","doi-asserted-by":"publisher","first-page":"449","DOI":"10.2307\/2939504","volume":"19","author":"T. Laguna de","year":"1922","unstructured":"de Laguna, T.: Point, line and surface as sets of solids. The Journal of Philosophy\u00a019, 449\u2013461 (1922)","journal-title":"The Journal of Philosophy"},{"key":"6_CR34","unstructured":"Le Ber, F., Ligozat, G., Papini, O.: Raisonnements sur l\u2019Espace et le Temps: des Mod\u00e8les aux Applications. Hermes, Lavoisier eds (2007)"},{"key":"6_CR35","first-page":"115","volume-title":"Advances in Modal Logic","author":"O. Lemon","year":"1998","unstructured":"Lemon, O., Pratt, I.: On the incompleteness of modal logics of space. In: Advances in Modal Logic, pp. 115\u2013132. CSLI publications, Standford (1998)"},{"key":"6_CR36","series-title":"traduit du polonais par Kalinowski","volume-title":"Sur les fondements de la mathematique","author":"S. Lesniewski","year":"1989","unstructured":"Lesniewski, S.: Sur les fondements de la mathematique. traduit du polonais par Kalinowski. Hermes, Paris (1989)"},{"key":"6_CR37","doi-asserted-by":"publisher","first-page":"723","DOI":"10.2307\/2023874","volume":"62","author":"R. Martin","year":"1965","unstructured":"Martin, R.: Of time and null individuals. The Journal of Philosophy\u00a062, 723\u2013736 (1965)","journal-title":"The Journal of Philosophy"},{"issue":"6","key":"6_CR38","doi-asserted-by":"publisher","first-page":"897","DOI":"10.1093\/logcom\/9.6.897","volume":"9","author":"M. Marx","year":"1999","unstructured":"Marx, M., Reynolds, M.: Undecidability of compass logic. Journal of Logic and Computation\u00a09(6), 897\u2013914 (1999)","journal-title":"Journal of Logic and Computation"},{"key":"6_CR39","unstructured":"Nicod, J.: La geometrie dans le monde sensible. In: English translation in: Geometry and Induction 1969, Presses Unitaires de France, Routledge and Kegan Paul (1962)"},{"key":"6_CR40","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1016\/S0020-7373(84)80023-1","volume":"20","author":"E. Orlowska","year":"1984","unstructured":"Orlowska, E., Pawlak, Z.: Expressive power of knowledge representation systems. International Journal of Man-Machine Studies\u00a020, 485\u2013500 (1984)","journal-title":"International Journal of Man-Machine Studies"},{"key":"6_CR41","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-3534-4","volume-title":"Rough Sets: Theoretical Aspects of Reasoning about Data","author":"Z. Pawlak","year":"1991","unstructured":"Pawlak, Z.: Rough Sets: Theoretical Aspects of Reasoning about Data. Kluwer, Dordrecht (1991)"},{"key":"6_CR42","first-page":"67","volume":"54","author":"L. Polkowski","year":"2003","unstructured":"Polkowski, L.: Rough mereology: A rough set paradigm for unifying rough set theory and fuzzy set theory. Fundamenta Informaticae\u00a054, 67\u201388 (2003)","journal-title":"Fundamenta Informaticae"},{"key":"6_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-540-27778-1_13","volume-title":"Transactions on Rough Sets II","author":"L. Polkowski","year":"2004","unstructured":"Polkowski, L.: Rough mereology as a link between rough set and fuzzy set theories. a survey. In: Peters, J.F., Skowron, A., Dubois, D., Grzyma\u0142a-Busse, J.W., Inuiguchi, M., Polkowski, L. (eds.) Transactions on Rough Sets II. LNCS, vol.\u00a03135, pp. 253\u2013277. Springer, Heidelberg (2004)"},{"key":"6_CR44","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/S0888-613X(96)00072-2","volume":"15","author":"L. Polkowski","year":"1996","unstructured":"Polkowski, L., Skowron, A.: Rough mereology: A new paradigm for approximate reasoning. International Journal of Approximate Reasoning\u00a015, 333\u2013365 (1996)","journal-title":"International Journal of Approximate Reasoning"},{"key":"6_CR45","volume-title":"Recent Advances in Qualitative Reasoning","author":"D.A. Randell","year":"1992","unstructured":"Randell, D.A., Cui, Z., Cohn, A.: Naive topology: modeling the force pump. In: Faltings, B., Struss, P. (eds.) Recent Advances in Qualitative Reasoning. MIT Press, Cambridge (1992)"},{"key":"6_CR46","first-page":"165","volume-title":"KR 1992. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference","author":"D.A. Randell","year":"1992","unstructured":"Randell, D.A., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In: Nebel, B., Rich, C., Swartout, W. (eds.) KR 1992. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference, San Mateo, California, pp. 165\u2013176. Morgan Kaufmann, San Francisco (1992)"},{"issue":"1-2","key":"6_CR47","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/S0004-3702(99)00002-8","volume":"108","author":"J. Renz","year":"1999","unstructured":"Renz, J., Nebel, B.: On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the region connection calculus. Artificial Intellegence\u00a0108(1-2), 69\u2013123 (1999)","journal-title":"Artificial Intellegence"},{"key":"6_CR48","unstructured":"Schockaert, S.: Reasoning about Fuzzy Temporal and Spatial Information from the Web. PhD dissertation. Universiteit Gent, Gent, Belgium (2008)"},{"issue":"2","key":"6_CR49","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1016\/j.artint.2008.10.009","volume":"173","author":"S. Schockaert","year":"2009","unstructured":"Schockaert, S., De Cock, M., Kerre, E.: Spatial reasoning in a fuzzy region connection calculus. Artificial Intelligence\u00a0173(2), 258\u2013298 (2009)","journal-title":"Artificial Intelligence"},{"key":"6_CR50","first-page":"183","volume":"47","author":"K. Segerberg","year":"1981","unstructured":"Segerberg, K.: A note on the logic of elsewhere. Theoria\u00a047, 183\u2013187 (1981)","journal-title":"Theoria"},{"issue":"2","key":"6_CR51","doi-asserted-by":"publisher","first-page":"401","DOI":"10.2307\/2653492","volume":"60","author":"B. Smith","year":"2001","unstructured":"Smith, B., Varzi, A.C.: Fiat and bona fide boundaries. Philosophy and Phenomenological Research\u00a060(2), 401\u2013420 (2001)","journal-title":"Philosophy and Phenomenological Research"},{"key":"6_CR52","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/3-540-40006-0_4","volume-title":"Logics in Artificial Intelligence","author":"H. Sturm","year":"2000","unstructured":"Sturm, H., Suzuki, N.-Y., Wolter, F., Zakharyaschev, M.: Semi-qualitative reasoning about distances: preliminary report. In: Brewka, G., Moniz Pereira, L., Ojeda-Aciego, M., de Guzm\u00e1n, I.P. (eds.) JELIA 2000. LNCS (LNAI), vol.\u00a01919, pp. 37\u201356. Springer, Heidelberg (2000)"},{"key":"6_CR53","unstructured":"Tarski, A.: Logique, smantique, mta-mathmatique, Vol 1. Armand Colin (1972)"},{"key":"6_CR54","doi-asserted-by":"crossref","first-page":"323","DOI":"10.3233\/FUN-2002-52403","volume":"52","author":"F. Tuan-Fang","year":"2002","unstructured":"Tuan-Fang, F., Churn-Jung, L., Yiyu, Y.: On modal and fuzzy decision logics based on rough set theory. Fundamenta Informaticae\u00a052, 323\u2013344 (2002)","journal-title":"Fundamenta Informaticae"},{"key":"6_CR55","volume-title":"Synthese Library","author":"J. Benthem van","year":"1983","unstructured":"van Benthem, J.: The Logic of Time. In: Synthese Library, vol.\u00a0156. Kluwer Academic Publishers, Dordrecht (1983) (Reidel, revisited and expanded in 1991)"},{"key":"6_CR56","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/S0169-023X(96)00017-1","volume":"20","author":"A. Varzi","year":"1996","unstructured":"Varzi, A.: Parts, wholes, and part-whole relations: The prospects of mereotopology. The Prospects of Mereotopology, Data and Knowledge Engineering\u00a020, 259\u2013286 (1996)","journal-title":"The Prospects of Mereotopology, Data and Knowledge Engineering"},{"issue":"4","key":"6_CR57","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1305\/ndjfl\/1093635589","volume":"31","author":"Y. Venema","year":"1990","unstructured":"Venema, Y.: Expessiveness and completeness of an interval tense logic. Notre Dame Journal Formal Logic\u00a031(4), 529\u2013547 (1990)","journal-title":"Notre Dame Journal Formal Logic"},{"issue":"5","key":"6_CR58","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1093\/logcom\/9.5.601","volume":"9","author":"Y. Venema","year":"1999","unstructured":"Venema, Y.: Points, lines and diamonds: a two-sorted modal logic for projective planes. Journal of Logic and Computation\u00a09(5), 601\u2013621 (1999)","journal-title":"Journal of Logic and Computation"},{"key":"6_CR59","unstructured":"Vieu, L.: Semantique des relations spatiales et inferences spatio-temporelles. PhD dissertation. Universite Paul Sabatier, Toulouse (1991)"},{"key":"6_CR60","unstructured":"Wolter, F., Zakharyaschev, M.: Spatial Reasoning in RCC-8 with Boolean Region Terms. In: Horn, W. (ed.) Proceedings of the 14th European Conference on Artificial Intelligence (ECAI 2000), Berlin, pp. 244\u2013250. IOS Press, Amsterdam (2000)"},{"key":"6_CR61","first-page":"244","volume-title":"Proceedings of the 14th European Conference on Artificial Intelligence (ECAI 2000)","author":"F. Wolter","year":"2000","unstructured":"Wolter, F., Zakharyaschev, M.: Spatial Reasoning in RCC-8 with Boolean Region Terms. In: Horn, W. (ed.) Proceedings of the 14th European Conference on Artificial Intelligence (ECAI 2000), Berlin, pp. 244\u2013250. IOS Press, Amsterdam (2000)"},{"key":"6_CR62","doi-asserted-by":"crossref","unstructured":"Cristani, M.: The Complexity of Reasoning about Saptial Congruence. J. Artif. Intell. Res. (JAIR)\u00a011, 361\u2013390 (1999), http:\/\/dx.doi.org\/10.1613\/jair.641","DOI":"10.1613\/jair.641"},{"key":"6_CR63","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(02)00193-5","volume":"137","author":"A. Gerevini","year":"2002","unstructured":"Gerevini, A., Renz, J.: Combining topological and size information for spatial reasoning. Artif. Intell.\u00a0137, 1\u201342 (2002)","journal-title":"Artif. Intell."}],"container-title":["Studies in Fuzziness and Soft Computing","Methods for Handling Imperfect Spatial Information"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14755-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T04:33:10Z","timestamp":1740544390000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14755-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642147548","9783642147555"],"references-count":63,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14755-5_6","relation":{},"ISSN":["1434-9922","1860-0808"],"issn-type":[{"type":"print","value":"1434-9922"},{"type":"electronic","value":"1860-0808"}],"subject":[],"published":{"date-parts":[[2010]]}}}