{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,2]],"date-time":"2025-03-02T22:40:01Z","timestamp":1740955201975,"version":"3.38.0"},"publisher-location":"Dordrecht","reference-count":9,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789400705098"},{"type":"electronic","value":"9789400705104"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-94-007-0510-4_6","type":"book-chapter","created":{"date-parts":[[2011,2,22]],"date-time":"2011-02-22T04:44:34Z","timestamp":1298349874000},"page":"97-113","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Model of Computer-Aided Visual Design"],"prefix":"10.1007","author":[{"given":"Ewa","family":"Grabska","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gra\u017cyna","family":"\u015alusarczyk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","volume-title":"Visual Thinking for Design","author":"C. Ware","year":"2008","unstructured":"Ware, C.: Visual Thinking for Design. Elsevier, Amsterdam (2008)"},{"key":"6_CR2","first-page":"89","volume-title":"Artificial Intelligence in Design 2002","author":"J.S. Gero","year":"2002","unstructured":"Gero, J.S., Kannengiesser, U.: The situated Function-Behaviour-Structure framework. In: Gero, J.S. (ed.) Artificial Intelligence in Design 2002, pp. 89\u2013104. Kluwer, Dordrecht (2002)"},{"issue":"6","key":"6_CR3","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1016\/S0142-694X(99)00034-4","volume":"21","author":"M. Suwa","year":"2000","unstructured":"Suwa, M., Gero, J.S., Purcell, T.: Unexpected discoveries and S-invention of design requirements: Important vehicles for a design process. Design Studies\u00a021(6), 539\u2013567 (2000)","journal-title":"Design Studies"},{"key":"6_CR4","first-page":"27","volume-title":"Logical Reasoning with Diagrams","author":"A. Shimojima","year":"1996","unstructured":"Shimojima, A.: Operational constraints in diagrammatic reasoning. In: Allwein, G., Barwise, J. (eds.) Logical Reasoning with Diagrams, pp. 27\u201348. Oxford University Press, Oxford (1996)"},{"key":"6_CR5","unstructured":"Grabska, E.: Computer-aided Visual Design (in Polish), EXIT, Warszawa (2007)"},{"key":"6_CR6","unstructured":"Arciszewski, T., Grabska, E., Harrison, C.: Visual thinking in inventive design: Three perspective (Invited). In: Proceedings of the First International Conference on Soft Computing in Civil, Structural, and Environmental Engineering, Madeira, Portugal (2009)"},{"key":"6_CR7","volume-title":"The Logic of Distributed Systems","author":"J. Barwise","year":"1997","unstructured":"Barwise, J., Seligman, J.: The Logic of Distributed Systems. Cambridge University Press, Cambridge (1997)"},{"key":"6_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)"},{"key":"6_CR9","first-page":"176","volume-title":"Design Computing and Cognition 2004","author":"O. Akin","year":"2004","unstructured":"Akin, O., Moustapha, H.: Formalizing generation and transformation in design. In: Gero, J.S. (ed.) Design Computing and Cognition 2004, pp. 176\u2013196. Kluwer, Dordrecht (2004)"}],"container-title":["Design Computing and Cognition \u201910"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-007-0510-4_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,2]],"date-time":"2025-03-02T22:00:59Z","timestamp":1740952859000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-007-0510-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9789400705098","9789400705104"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-94-007-0510-4_6","relation":{},"subject":[],"published":{"date-parts":[[2011]]}}}