{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:34:21Z","timestamp":1742988861876,"version":"3.40.3"},"publisher-location":"London","reference-count":12,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9780857297983"},{"type":"electronic","value":"9780857297990"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-0-85729-799-0_30","type":"book-chapter","created":{"date-parts":[[2011,7,6]],"date-time":"2011-07-06T11:09:21Z","timestamp":1309950561000},"page":"257-265","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Conceptual Designing Supported by Automated Checking of Design Requirements and Constraints"],"prefix":"10.1007","author":[{"given":"Wojciech","family":"Palacz","sequence":"first","affiliation":[]},{"given":"Ewa","family":"Grabska","sequence":"additional","affiliation":[]},{"given":"Szymon","family":"Gajek","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,7,7]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"Goldschmidt G. The Dialectic of Sketching. Creativity Research Journal vol 4,1991.","DOI":"10.1080\/10400419109534381"},{"key":"30_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00163-008-0055-0","volume":"20","author":"M Yang","year":"2009","unstructured":"Yang M. Observations on concept generation and sketching in engineering design. Research in Engineering Design 2009; 20:1-11","journal-title":"Research in Engineering Design"},{"key":"30_CR3","first-page":"521","volume-title":"CAADFutures 01","author":"HH Tang","year":"2001","unstructured":"Tang HH, Gero JS. Cognition-based CAAD. In: Vries B, Leeuwen JP, Achten HH (eds) CAADFutures 01. Eindhoven, The Netherlands, 2001; 521-531"},{"key":"30_CR4","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s00163-007-0028-8","volume":"18","author":"D Baxter","year":"2007","unstructured":"Baxter D, Gao J, Case K, Harding J, Young B, Cochrane S, Dani S. An engineering design knowledge reuse methodology using process modelling. Research in Engineering Design 2007; 18:37-48","journal-title":"Research in Engineering Design"},{"key":"30_CR5","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/s00163-006-0010-x","volume":"16","author":"P Demian","year":"2006","unstructured":"Demian P, Fruchter R. An ethnographic study of design knowledge reuse in the architecture, engineering, and construction industry. Research in Engineering Design 2006; 16:184-195","journal-title":"Research in Engineering Design"},{"key":"30_CR6","unstructured":"Yurchyshyna A. Mod\u00e9lisation du contr\u00f4le de conformit\u00e9 en construction: une approche ontologique. PhD thesis, Universite de Nice-Sophia Antipolis, 2009."},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Eastman C, Lee J, Jeong Y, Lee J. Automatic rule-based checking of building designs. In: Automation in Construction vol 18, 2009; 1011-1033.","DOI":"10.1016\/j.autcon.2009.07.002"},{"key":"30_CR8","doi-asserted-by":"crossref","unstructured":"Fagin R, Halpern JY, Moses Y, Vardi MY. Reasoning About Knowledge. MIT Press, 2003.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"30_CR9","unstructured":"Bhatt M, Freksa C. Spatial computing for design: An artificial intelligenceperspective. In: Visual and Spatial Reasoning for Design Creativity (SDC \u201910), 2010."},{"key":"30_CR10","unstructured":"Grabska E, Borkowski A, Palacz W, Gajek Sz. Hypergraph System Supporting Design and Reasoning. In: Wolfgang Huhnt (ed) Computing in Engineering EG-ICE Conference 2009. Shaker Verlag, 2009; 134-141."},{"issue":"1\/2","key":"30_CR11","first-page":"23","volume":"16","author":"E Grabska","year":"2008","unstructured":"Grabska E, Lembas J, \u0141achwa A, \u015alusarczyk G, Grzesiak-Kope\u0107 K. Hierarchical layout hypergraph operations and diagrammatic reasoning. Machine Graphics & Vision 2008; 16(1\/2):23-38","journal-title":"Machine Graphics & Vision"},{"key":"30_CR12","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1016\/S0022-0000(03)00064-3","volume":"68","author":"W Palacz","year":"2004","unstructured":"Palacz W. Algebraic Hierarchical Graph Transformation. In: Journal of Computer and System Sciences vol 68, 2004; 497-520","journal-title":"Journal of Computer and System Sciences"}],"container-title":["Advanced Concurrent Engineering","Improving Complex Systems Today"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-85729-799-0_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,3]],"date-time":"2024-05-03T14:49:10Z","timestamp":1714747750000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-0-85729-799-0_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9780857297983","9780857297990"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-0-85729-799-0_30","relation":{},"ISSN":["1865-5440"],"issn-type":[{"type":"print","value":"1865-5440"}],"subject":[],"published":{"date-parts":[[2011]]},"assertion":[{"value":"7 July 2011","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}