{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:29:52Z","timestamp":1725467392821},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540636236"},{"type":"electronic","value":"9783540696162"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63623-4_64","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T14:18:25Z","timestamp":1153145905000},"page":"409-427","source":"Crossref","is-referenced-by-count":0,"title":["Supporting emergence in spatial reasoning with shape algebras and formal logic"],"prefix":"10.1007","author":[{"given":"Scott C.","family":"Chase","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,8,24]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"M. Agarwal and J. Cagan. A blend of different tastes: The language of coffee makers. Environment and Planning B: Planning and Design, forthcoming.","DOI":"10.1068\/b250205"},{"key":"26_CR2","first-page":"145","volume-title":"Design Theory for CAD","author":"F. Arbab","year":"1987","unstructured":"F. Arbab and J. M. Wing. Geometric reasoning: A new paradigm for processing geometric information. In H. Yoshikawa and E. A. Warman, editors, Design Theory for CAD, pages 145\u2013159. North-Holland, Amsterdam, 1987."},{"issue":"2","key":"26_CR3","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1068\/b160215","volume":"16","author":"S. C. Chase","year":"1989","unstructured":"S. C. Chase. Shapes and shape grammars: From mathematical model to computer implementation. Environment and Planning B: Planning and Design, 16(2):215\u2013242, 1989.","journal-title":"Environment and Planning B: Planning and Design"},{"key":"26_CR4","volume-title":"Modeling Designs With Shape Algebras and Formal Logic","author":"S. C. Chase","year":"1996","unstructured":"S. C. Chase. Modeling Designs With Shape Algebras and Formal Logic. Ph.D dissertation, University of California, Los Angeles, 1996."},{"key":"26_CR5","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/3-540-60392-1_20","volume-title":"Spatial Information Theory: A Theoretical Basis for GIS","author":"A. G. Cohn","year":"1995","unstructured":"A. G. Cohn. A hierarchical representation of qualitative shape based on connection and convexity. In A. U. Frank and W. Kuhn, editors Spatial Information Theory: A Theoretical Basis for GIS, pages 311\u2013326. Springer-Verlag, Berlin, 1995."},{"key":"26_CR6","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1007\/3-540-51295-0_148","volume-title":"Foundations of Data Organization and Algorithms","author":"M. J. Egenhofer","year":"1989","unstructured":"M. J. Egenhofer.A formal definition of binary topological relationships. In W. Litwin and H.-J. Schek, editors, Foundations of Data Organization and Algorithms, pages 457\u2013472. Springer-Verlag, Berlin, 1989."},{"key":"26_CR7","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 reasoning using algebraic topology. In A. U. Frank and W. Kuhn, editors, Spatial Information Theory: A Theoretical Basis for GIS, pages 17\u201330. Springer-Verlag, Berlin, 1995."},{"key":"26_CR8","first-page":"506","volume-title":"Advances in Database Technology-EDBT '88","author":"R. H. Gifting","year":"1988","unstructured":"R. H. Gifting. Geo-relational algebra: A model and query language for geometric database systems. In J. W. Schmidt, S. Ceri, and M. Missikoff, editors, Advances in Database Technology-EDBT '88, pages 506\u2013527. Springer-Verlag, Berlin, 1988."},{"key":"26_CR9","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1007\/BF01237921","volume":"4","author":"R. H. G\u00fcting","year":"1995","unstructured":"R. H. G\u00fcting and M. Schneider. Realm-based spatial data types: The ROSE algebra. VLDB Journal, 4:100\u2013143, 1995.","journal-title":"VLDB Journal"},{"issue":"2","key":"26_CR10","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/38.267469","volume":"14","author":"J. Heisserman","year":"1994","unstructured":"J. Heisserman. Generative geometric design. IEEE Computer Graphics and Applications, 14(2):37\u201345, 1994.","journal-title":"IEEE Computer Graphics and Applications"},{"key":"26_CR11","unstructured":"M. R. Henderson. Extraction of Feature Information From Three Dimensional CAD Data. Ph.D dissertation, Purdue University, 1984."},{"key":"26_CR12","volume-title":"Spatial Information Systems","author":"W. E. Huxhold","year":"1991","unstructured":"W. E. Huxhold. An Introduction to Urban Geographic Information Systems. Spatial Information Systems. Oxford University Press, New York, 1991."},{"issue":"3","key":"26_CR13","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"J. Jaffar, S. Michaylov, P. J. Stuckey, and R. H. C. Yap. The CLP(R) language and system. ACM Transactions on Programming Languages and Systems, 14(3):339\u2013395, 1992.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"26_CR14","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1068\/b070227","volume":"7","author":"T. W. Knight","year":"1980","unstructured":"T. W. Knight. The generation of Hepplewhite-style chair-back designs. Environment and Planning B, 7:227\u2013238, 1980.","journal-title":"Environment and Planning B"},{"key":"26_CR15","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1068\/b080295","volume":"8","author":"H. Koning","year":"1981","unstructured":"H. Koning and J. Eizenberg. The language of the prairie: Frank Lloyd Wright's prairie houses. Environment and Planning B, 8:295\u2013323, 1981.","journal-title":"Environment and Planning B"},{"key":"26_CR16","volume-title":"Logic for Problem Solving","author":"R. A. Kowalski","year":"1979","unstructured":"R. A. Kowalski. Logic for Problem Solving. North-Holland, New York, 1979."},{"key":"26_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1098-6","volume-title":"Computational Geometry: An Introduction","author":"F. P. Preparata","year":"1985","unstructured":"F. P. Preparata and M. I. Shamos. Computational Geometry: An Introduction. Springer-Verlag, New York, 1985."},{"key":"26_CR18","doi-asserted-by":"crossref","unstructured":"C. J. Robinove. Principles of logic and the use of digital geographic information systems. Circular 977, Dept. of the Interior, U.S. Geological Survey, 1986.","DOI":"10.3133\/cir977"},{"key":"26_CR19","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1068\/b070343","volume":"7","author":"G. Stiny","year":"1980","unstructured":"G. Stiny. Introduction to shape and shape grammars. Environment and Planning B, 7:343\u2013351, 1980.","journal-title":"Environment and Planning B"},{"key":"26_CR20","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/BF01578998","volume":"2","author":"G. Stiny","year":"1991","unstructured":"G. Stiny. The algebras of design. Research in Engineering Design, 2:171\u2013181, 1991.","journal-title":"Research in Engineering Design"},{"key":"26_CR21","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1068\/b190413","volume":"19","author":"G. Stiny","year":"1992","unstructured":"G. Stiny. Weights. Environment and Planning B: Planning and Design, 19:413\u2013430, 1992.","journal-title":"Environment and Planning B: Planning and Design"},{"key":"26_CR22","first-page":"53","volume-title":"Formal Design Methods for CAD","author":"R. Stouffs","year":"1994","unstructured":"R. Stouffs and R. Krishnamurti. The complexity of the maximal representation of shapes. In J. S. Gero and E. Tyugu, editors, Formal Design Methods for CAD, pages 53\u201366. Elsevier, Amsterdam, 1994."},{"key":"26_CR23","unstructured":"M. A. Tapia. From Shape to Style, Shape Grammars: Issues in Representation and Computation, Presentation and Selection. Ph.D dissertation, University of Toronto, 1996."},{"key":"26_CR24","volume-title":"Principles of Database and Knowledge Base Systems, Volume I","author":"J. D. Ullman","year":"1988","unstructured":"J. D. Ullman. Principles of Database and Knowledge Base Systems, Volume I. Computer Science Press, Rockville, MD, 1988."}],"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-63623-4_64","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T02:02:44Z","timestamp":1555725764000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63623-4_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540636236","9783540696162"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-63623-4_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}