{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:23:49Z","timestamp":1725582229119},"publisher-location":"London","reference-count":28,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781852337803"},{"type":"electronic","value":"9780857294128"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-0-85729-412-8_18","type":"book-chapter","created":{"date-parts":[[2011,4,30]],"date-time":"2011-04-30T03:16:34Z","timestamp":1304133394000},"page":"243-254","source":"Crossref","is-referenced-by-count":1,"title":["SPARQS: Automatic Reasoning in Qualitative Space"],"prefix":"10.1007","author":[{"given":"Baher A.","family":"EI-Geresy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alia I.","family":"Abdelmoty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"18_CR1","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1142\/S0218213097000232","volume":"6","author":"BA El-Geresy","year":"1997","unstructured":"El-Geresy B.A. and Abdelmoty A.I. Order in Space: A General Formalism for Spatial Reasoning. Int. J. on Artificial Intelligence Tools, 6(4):423\u2013450, 1997.","journal-title":"Int. J. on Artificial Intelligence Tools"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"B. Bennett. Spatial Reasoning with Propositional Logics. In Principles of Knowledge Representation and Reasoning (KR94), pages 51\u201362. Morgan Kaufmann, 1994.","DOI":"10.1016\/B978-1-4832-1452-8.50102-0"},{"key":"18_CR3","unstructured":"B. Bennett, A. Isli, and A. Cohn. When does a composition table provide a complete and tractable proof procedure for a relational constraint language, 1997."},{"issue":"7","key":"18_CR4","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1109\/34.777378","volume":"21","author":"I Bloch","year":"1999","unstructured":"I. Bloch. Fuzzy Relative Position between Objects in Image Processing: a Morphological Approach. IEEE Translations on Pattern Analysis and Machine Intelligence, 21(7):657\u2013664, 1999.","journal-title":"IEEE Translations on Pattern Analysis and Machine Intelligence"},{"issue":"4","key":"18_CR5","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/S0926-5805(99)00019-9","volume":"9","author":"AGP Brown","year":"2000","unstructured":"A.G.P. Brown and F.P. Coenen. Spatial reasoning: improving computational efficiency. Automation in Construction, 9(4):361\u201336, 2000.","journal-title":"Automation in Construction"},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/1069-0115(94)00033-X","volume":"3","author":"A Clementini","year":"1995","unstructured":"A. Clementini and P. Di Felice. A Model for Representing Topological Relationships Between Complex Gemetric Features in Spatial Databases. Information Sciences, 3:149\u2013178, 1995.","journal-title":"Information Sciences"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"E. Clementini and P. Di Felice. An Algebraic Model for Spatial Objects with Indeterminate Boundaries. In P.A. Burrough and A.U. Frank, editors, Geographic Objects with Indeterminate Boundaries, GISDATA, pages 155\u2013169. Taylor & Francis, 1996.","DOI":"10.1201\/9781003062660-15"},{"issue":"7","key":"18_CR8","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1016\/0306-4379(95)00031-X","volume":"20","author":"E Clementini","year":"1995","unstructured":"E. Clementini, P. Di Felice, and G. Califano. Composite Regions in Topological Queries. Information Systems, 20(7):579\u2013594, 1995.","journal-title":"Information Systems"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"F.P. Coenen and V. Pepijn. A generic ontology for spatial reasoning. In Research and Development in Expert Systems XV, proc. of ES\u201998, pages 44\u201357. Springer Verlag, 1998.","DOI":"10.1007\/978-1-4471-0835-1_4"},{"issue":"1-2","key":"18_CR10","first-page":"1","volume":"46","author":"AG Cohn","year":"2001","unstructured":"A.G. Cohn and SM Hazarika. Qualitative spatial representation and reasoning: An overview. Fumdamenta Informaticae, 46(1-2):1\u201329, 2001.","journal-title":"Fumdamenta Informaticae"},{"issue":"3","key":"18_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/A:1009712514511","volume":"1","author":"AG Cohn","year":"1997","unstructured":"A.G. Cohn, B. Bennett, J. Gooday, and N.M. Gotts. Qualitative Spatial Representation and Reasoning with the Region Connection Calculus. Geoinformatica, 1(3):1\u201342, 1997.","journal-title":"Geoinformatica"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"A.G. Cohn and N.M. Gotts. The \u201cEgg-Yolk\u201d Representation of Regions with Indeterminate Boundaries. In P.A. Burrough and A.U. Frank, editors, Geographic Objects with Indeterminate Boundaries, GISDATA, pages 171\u2013187. Taylor & Francis, 1996.","DOI":"10.1201\/9781003062660-16"},{"key":"18_CR13","unstructured":"A.G. Cohn, D.A. Randell, Z. Cui, and B. Bennet. Qualitative Spatial Reasoning and Representation. In P. Carrete and M.G. Singh, editors, Qualitative Reasoning and Decision Technologies, pages 513\u2013522, 1993."},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1006\/jvlc.1994.1007","volume":"5","author":"MJ Egenhofer","year":"1994","unstructured":"M.J. Egenhofer. Deriving the composition of Binary Topological Relations. Journal of Visual Languages and Computing, 5:133\u2013149, 1994.","journal-title":"Journal of Visual Languages and Computing"},{"issue":"2","key":"18_CR15","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1080\/02693799408901990","volume":"8","author":"MJ Egenhofer","year":"1994","unstructured":"M.J. Egenhofer, E. Clementini, and Di Felicem P. Topological Relations Between Regions With Holes. Int. J. Geographic Information Systems, 8(2):129\u2013142, 1994.","journal-title":"Int. J. Geographic Information Systems"},{"issue":"2","key":"18_CR16","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1080\/02693799108927841","volume":"5","author":"MJ Egenhofer","year":"1991","unstructured":"M.J. Egenhofer and R.D. Franzosa. PointSet Topological Spatial Relations. Int. J. Geographic Information Systems, 5(2): 161\u2013174, 1991.","journal-title":"Int. J. Geographic Information Systems"},{"key":"18_CR17","first-page":"803","volume":"2","author":"MJ Egenhofer","year":"1990","unstructured":"M.J. Egenhofer and J.R. Herring. A Mathematical Framework for the Definition of Topological Relationships. In Proceedings of the 4th international Symposium on Spotial Data Handling, volume 2, pages 803\u201313, 1990.","journal-title":"Proceedings of the 4th international Symposium on Spotial Data Handling"},{"issue":"1","key":"18_CR18","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0165-0114(99)00016-0","volume":"113","author":"HW Guesgen","year":"2000","unstructured":"H.W. Guesgen and J. Albrech. Imprecise reasoning in geographic information systems. Fuzzy Sets and Systems, 113(1):121\u2013131, 2000.","journal-title":"Fuzzy Sets and Systems"},{"key":"18_CR19","unstructured":"Guesgen, H.W. Spatial reasoning based on allen\u2019 s temporal logic. Technical Report TR-89-049, International Computer Science Institute, Berkeley, California, 1989."},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"F. Karbou. An interval approach to fuzzy surroundedness and fuzzy spatial relations. In 19th International Conference of the North American Fuzzy Information Proauing Society, 2000.","DOI":"10.1109\/NAFIPS.2000.877396"},{"key":"18_CR21","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1016\/0167-8655(91)90325-G","volume":"12","author":"J Lee","year":"1991","unstructured":"Joy Lee and F-J Hsu. Picture Algebra for Spatial Reasoning oflconic Images Represented in 2D G-string. Pattern Recognition, 12:425\u2013435, 1991.","journal-title":"Pattern Recognition"},{"key":"18_CR22","unstructured":"A. Mukerjee and G. Joe. A Qualitative Model for Space. In Proceeding of the 5th National Conference on Artificial Intelligence, AAAI, 1990, pages 721\u2013727, 1990."},{"key":"18_CR23","first-page":"175","volume":"1329","author":"VH Nguyen","year":"1997","unstructured":"V.H. Nguyen, C. Parent, and S. Spaceapietra. Complex Regions in Topological Queries. In Proceeding of the Internation Conference on Spatial Information Theory COSIT\u201997, volume LNCS 1329, pages 175\u2013192. Springer Verlag, 1997.","journal-title":"Proceeding of the Internation Conference on Spatial Information Theory COSIT\u201997"},{"key":"18_CR24","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/3-540-55966-3_9","volume":"716","author":"D Papadias","year":"1992","unstructured":"D. Papadias and T. Sellis, Spatial reasoning using symbolic arrays. In Theories and Methods of SpatioTemporal Reasoning in Geographic Space, LNCS 716, pages 153\u2013161. Springer Verlag, 1992.","journal-title":"Theories and Methods of SpatioTemporal Reasoning in Geographic Space"},{"key":"18_CR25","unstructured":"D. Randell and M. Wikowski. Building Large Composition Tables via Axiomatic Theories. In Principles of Knowledge Representation and Reasoning: Proceedings of the Eighth International Conference (KR-SOOS), pages 26\u201335. AAAI Press, 2002."},{"key":"18_CR26","doi-asserted-by":"crossref","unstructured":"D.A. Randell, A.G. Cohn, and Z. Cni. Computing Transitivity Tables: A Challenge for Automated Theorem Provers. In Proceedings of CADE 11, Lecture Notes In Computer Science, 1992.","DOI":"10.1007\/3-540-55602-8_225"},{"issue":"3","key":"18_CR27","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1016\/S0165-0114(97)00188-7","volume":"103","author":"K Sridharan","year":"1999","unstructured":"K. Sridharan and H.E. Stephanou. Fuzzy distances for proximity characterization under uncertainty. Fuzzy Sets and Systems, 103(3):427\u2013434, 1999.","journal-title":"Fuzzy Sets and Systems"},{"key":"18_CR28","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1006\/jvlc.2000.0187","volume":"12","author":"MF Worboys","year":"2001","unstructured":"M.F. Worboys and E. Clementini. Integration of imperfect spatial information. Journal of Visual Languages and Computing, 12:61\u201380, 2001.","journal-title":"Journal of Visual Languages and Computing"}],"container-title":["Research and Development in Intelligent Systems XX"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-85729-412-8_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,22]],"date-time":"2021-11-22T10:47:51Z","timestamp":1637578071000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-85729-412-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9781852337803","9780857294128"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-0-85729-412-8_18","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}