{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:15:49Z","timestamp":1742379349884},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540679158"},{"type":"electronic","value":"9783540445906"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44590-0_11","type":"book-chapter","created":{"date-parts":[[2007,6,2]],"date-time":"2007-06-02T23:01:29Z","timestamp":1180825289000},"page":"74-88","source":"Crossref","is-referenced-by-count":4,"title":["Constraint Matching for Diagram Design: Qualitative Visual Languages"],"prefix":"10.1007","author":[{"given":"Ana","family":"von Klopp Lemon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oliver","family":"von Klopp Lemon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,1,14]]},"reference":[{"issue":"2","key":"11_CR1","first-page":"7","volume":"4","author":"J. Barwise","year":"1995","unstructured":"Jon Barwise and Atsushi Shimojima. Surrogate Reasoning. Cognitive Studies: Bulletin of Japanese Cognitive Science Society, 4(2):7\u201327, 1995.","journal-title":"Cognitive Studies: Bulletin of Japanese Cognitive Science Society"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Keith Stenning and Oliver Lemon. Aligning logical and psychological perspectives on Diagrammatic Reasoning. Artificial Intelligence Review, 2000. (in press).","DOI":"10.1007\/978-94-017-3524-7_3"},{"key":"11_CR3","volume-title":"Logic, Language, and Diagrams","author":"O. Lemon","year":"2000","unstructured":"Oliver Lemon. Comparing the Efficacy of Visual Languages. In Barker-Plummer, Beaver, Scotto di Luzio, and vanBenthem, editors, Logic, Language, and Diagrams. CSLI Publications, Stanford, 2000. (in press)."},{"key":"11_CR4","unstructured":"Oliver von Klopp Lemon and Ana von Klopp Lemon. Cognitive issues in GUI design: Constructing website maps. In Andreas Butz, Antonio Kruger, and Patrick Olivier, editors, AAAI Smart Graphics Symposium, pages 128\u2013132, 2000."},{"key":"11_CR5","unstructured":"Sinan Si Alhir. UML in a Nutshell. O\u2019Reilly, 1998."},{"issue":"5","key":"11_CR6","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1145\/42411.42414","volume":"31","author":"D. Harel","year":"1988","unstructured":"David Harel. On Visual Formalisms. Communications of the ACM, 31(5):514\u2013530, 1988.","journal-title":"Communications of the ACM"},{"issue":"1","key":"11_CR7","first-page":"89","volume":"6","author":"O. Lemon","year":"1997","unstructured":"Oliver Lemon and Ian Pratt. Spatial Logic and the Complexity of Diagrammatic Reasoning. Machine GRAPHICS and VISION, 6(1):89\u2013108, 1997. (Special Issue on Diagrammatic Representation and Reasoning).","journal-title":"Machine GRAPHICS and VISION"},{"key":"11_CR8","unstructured":"Atsushi Shimojima. On the Efficacy of Representation. PhD thesis, Indiana University, 1996."},{"key":"11_CR9","series-title":"PhD thesis","volume-title":"Studies on the Formal Semantics of Pictures","author":"D. Wang","year":"1995","unstructured":"Dejuan Wang. Studies on the Formal Semantics of Pictures. PhD thesis, Institute for Logic, Language, and Computation, Amsterdam, 1995."},{"key":"11_CR10","series-title":"Lecture Notes","first-page":"296","volume-title":"Logic, Language and Computation","author":"A. Shimojima","year":"1999","unstructured":"Atsushi Shimojima. Constraint-Preserving Representations. In Logic, Language and Computation, volume 2, number 96 in Lecture Notes, pages 296\u2013317. CSLI, Stanford, 1999."},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/BF00297511","volume":"17","author":"H. J. Levesque","year":"1988","unstructured":"Hector J. Levesque. Logic and the Complexity of Reasoning. Journal of Philosophical Logic, 17:355\u2013389, 1988.","journal-title":"Journal of Philosophical Logic"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Volker Haarslev. Formal Semantics of Visual Languages using Spatial Reasoning. In IEEE symposium on Visual Languages, pages 156\u2013163. IEEE Computer Society Press, 1995.","DOI":"10.1109\/VL.1995.520804"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/BF00127678","volume":"10","author":"J. Gooday","year":"1996","unstructured":"John Gooday and Anthony Cohn. Using spatial logic to describe visual languages. Artificial Intelligence Review, 10:171\u2013186, 1996.","journal-title":"Artificial Intelligence Review"},{"key":"11_CR14","unstructured":"Stephen Casner. Automatic design of efficient visual problem representations. In AAAI, pages 157\u2013160, 1992."},{"key":"11_CR15","unstructured":"Jock Mackinlay. Automatic Design of Graphical Presentations. PhD thesis, Computer Science Department, Stanford University, 1986."},{"key":"11_CR16","doi-asserted-by":"crossref","DOI":"10.1515\/9783110854688","volume-title":"Graphics and Graphic Information Processing","author":"J. Bertin","year":"1981","unstructured":"Jacques Bertin. Graphics and Graphic Information Processing. Walter de Gruyter, Berlin, New York, 1981."},{"key":"11_CR17","first-page":"259","volume-title":"Cognition and Categorization","author":"S. E. Palmer","year":"1978","unstructured":"Stephen E. Palmer. Fundamental Aspects of Cognitive Representation. In Elanor Rosch and Barbara B. Lloyd, editors, Cognition and Categorization, pages 259\u2013303. Lawrence Erlbaum Associates, Hillsdale, N.J., 1978."},{"key":"11_CR18","volume-title":"Convexity","author":"H. G. Eggleston","year":"1969","unstructured":"H. G. Eggleston. Convexity. Cambridge University Press, Cambridge, 1969."},{"key":"11_CR19","doi-asserted-by":"crossref","first-page":"271","DOI":"10.4064\/fm-15-1-271-283","volume":"15","author":"G. Kuratowski","year":"1930","unstructured":"G. Kuratowski. Sur le probleme des courbes gauches en topologie. Fund. Math., 15:271\u2013283, 1930.","journal-title":"Fund. Math."},{"issue":"1","key":"11_CR20","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1305\/ndjfl\/1093636009","volume":"33","author":"G. Englebretsen","year":"1992","unstructured":"George Englebretsen. Linear Diagrams for Syllogisms (with Relationals). Notre Dame Journal of Formal Logic, 33(1):37\u201369, 1992.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"11_CR21","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0364-0213(95)90005-5","volume":"19","author":"K. Stenning","year":"1995","unstructured":"Keith Stenning and Jon Oberlander. A Cognitive Theory of Graphical and Linguistic Reasoning: Logic and Implementation. Cognitive Science, 19(1):97\u2013140, 1995.","journal-title":"Cognitive Science"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Oliver Lemon and Ian Pratt. On the insufficiency of linear diagrams for syllogisms. Notre Dame Journal of Formal Logic, 39(4), 1998. (in press, to appear 2000).","DOI":"10.1305\/ndjfl\/1039118871"},{"key":"11_CR23","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1006\/ijhc.1996.0048","volume":"45","author":"M. Scaife","year":"1996","unstructured":"Mike Scaife and Yvonne Rogers. External cognition: how do graphical representations work? International Journal of Human-Computer Studies, 45:185\u2013213, 1996.","journal-title":"International Journal of Human-Computer Studies"},{"key":"11_CR24","unstructured":"Oliver Lemon and Ian Pratt. Logical and Diagrammatic Reasoning: the complexity of conceptual space. InMichael Shafto and Pat Langley, editors, 19th Annual Conference of the Cognitive Science Society, pages 430\u2013435, New Jersey, 1997. Lawrence Erlbaum Associates."}],"container-title":["Lecture Notes in Computer Science","Theory and Application of Diagrams"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44590-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T16:29:45Z","timestamp":1556468985000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44590-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679158","9783540445906"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-44590-0_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}