{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:46:30Z","timestamp":1725515190969},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540705956"},{"type":"electronic","value":"9783540705963"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70596-3_7","type":"book-chapter","created":{"date-parts":[[2008,7,13]],"date-time":"2008-07-13T07:08:47Z","timestamp":1215932927000},"page":"104-118","source":"Crossref","is-referenced-by-count":6,"title":["Conceptual Spider Diagrams"],"prefix":"10.1007","author":[{"given":"Frithjof","family":"Dau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Fish","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/978-3-540-27769-9_5","volume-title":"Conceptual Structures at Work","author":"F. Dau","year":"2004","unstructured":"Dau, F.: Types and tokens for logic with diagrams: A mathematical approach. In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds.) ICCS 2004. LNCS (LNAI), vol.\u00a03127, pp. 62\u201393. Springer, Heidelberg (2004)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Dau, F.: Formal, diagrammatic logic with conceptual graphs. In: Hitzler, P., Scharfe, H. (eds.) Conceptual tructures in Practice. CRC Press (Chapman and Hall\/Taylor & Francis Group (2008)","DOI":"10.1201\/9781420060638.ch2"},{"key":"7_CR3","unstructured":"Euler, L.: Lettres a une princesse dallemagne sur divers sujets de physique et de philosophie. Letters\u00a02, 102\u2013108 (1775) (Berne, Socit Typographique)"},{"key":"7_CR4","series-title":"ENTCS","first-page":"53","volume-title":"Visual Language and Formal Methods 2004","author":"A. Fish","year":"2005","unstructured":"Fish, A., Flower, J.: Investigating reasoning with constraint diagrams. In: Visual Language and Formal Methods 2004, Rome, Italy. ENTCS, vol.\u00a0127, pp. 53\u201369. Elsevier, Amsterdam (2005)"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1016\/j.jvlc.2005.03.001","volume":"16","author":"A. Fish","year":"2005","unstructured":"Fish, A., Flower, J., Howse, J.: The semantics of augmented constraint diagrams. Journal of Visual Languages and Computing\u00a016, 541\u2013573 (2005)","journal-title":"Journal of Visual Languages and Computing"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Flower, J., Fish, A., Howse, J.: Euler diagram generation. Journal of Visual Languages and Computing (accepted, 2007)","DOI":"10.1016\/j.jvlc.2008.01.004"},{"key":"7_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/978-3-540-25931-2_17","volume-title":"Diagrammatic Representation and Inference","author":"J. Flower","year":"2004","unstructured":"Flower, J., Masthoff, J., Stapleton, G.: Generating readable proofs: A heuristic approach to theorem proving with spider diagrams. In: Blackwell, A.F., Marriott, K., Shimojima, A. (eds.) Diagrams 2004. LNCS (LNAI), vol.\u00a02980, pp. 166\u2013181. Springer, Heidelberg (2004)"},{"key":"7_CR8","unstructured":"Gaines, B.R.: An interactive visual language for term subsumption languages. IJCAI, 817\u2013823 (1991)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Gil, J., Howse, J., Kent, S.: Formalizing spider diagrams. In: IEEE Symposium on Visual Languages, pp. 130\u2013137 (1999)","DOI":"10.1109\/VL.1999.795884"},{"issue":"4","key":"7_CR10","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1006\/jvlc.1999.0130","volume":"10","author":"C. Gurr","year":"1999","unstructured":"Gurr, C.: Effective diagrammatic communication: Syntactic, semantic and pragmatic issues. Journal of Visual Languages and Computing\u00a010(4), 317\u2013342 (1999)","journal-title":"Journal of Visual Languages and Computing"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Hammer, E., Shin, S.J.: Euler\u2019s visual logic. History and Philosophy of Logic, 1\u201329 (1998)","DOI":"10.1080\/01445349808837293"},{"key":"7_CR12","unstructured":"Hartshorne, W., Burks(eds.): Collected Papers of Charles Sanders Peirce, Cambridge, Massachusetts, pp. 1931\u20131935. Harvard University Press"},{"key":"7_CR13","first-page":"146","volume-title":"Proceedings of 2nd International Conference on the Theory and Application of Diagrams","author":"J. Howse","year":"2002","unstructured":"Howse, J., Molina, F., Shin, S.-J., Taylor, J.: On diagram tokens and types. In: Proceedings of 2nd International Conference on the Theory and Application of Diagrams, Georgia, USA, April 2002, pp. 146\u2013160. Springer, Heidelberg (2002)"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/s10270-004-0074-x","volume":"4","author":"J. Howse","year":"2005","unstructured":"Howse, J., Schuman, S.: Precise visual modelling. Journal of Software and Systems Modeling\u00a04, 310\u2013325 (2005)","journal-title":"Journal of Software and Systems Modeling"},{"key":"7_CR15","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1112\/S1461157000000942","volume":"8","author":"J. Howse","year":"2005","unstructured":"Howse, J., Stapleton, G., Taylor, J.: Spider diagrams. LMS Journal of Computation and Mathematics\u00a08, 145\u2013194 (2005)","journal-title":"LMS Journal of Computation and Mathematics"},{"key":"7_CR16","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1112\/S1461157000000942","volume":"8","author":"J. Howse","year":"2005","unstructured":"Howse, J., Stapleton, G., Taylor, J.: Spider diagrams. LMS Journal of Computation and Mathematics\u00a08, 145\u2013194 (2005)","journal-title":"LMS Journal of Computation and Mathematics"},{"key":"7_CR17","first-page":"267","volume-title":"4th International Conference on the Theory and Application of Diagrams","author":"C. John","year":"2006","unstructured":"John, C., Fish, A., Howse, J., Taylor, J.: Exploring the notion of clutter in Euler diagrams. In: 4th International Conference on the Theory and Application of Diagrams, Stanford, USA, pp. 267\u2013282. Springer, Heidelberg (2006)"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1145\/263698.263756","volume-title":"OOPSLA","author":"S. Kent","year":"1997","unstructured":"Kent, S.: Constraint diagrams: Visualizing assertions in object-oriented models. In: OOPSLA, pp. 327\u2013341. ACM Press, New York (1997)"},{"key":"7_CR19","volume-title":"Proc. of 11th Workshop on Knowledge Acquisition, Modeling and Management (KAW 1998)","author":"R. Kremer","year":"1998","unstructured":"Kremer, R.: Visual languages for konwledge representation. In: Proc. of 11th Workshop on Knowledge Acquisition, Modeling and Management (KAW 1998), Banff, Alberta, Canada, Morgan Kaufmann, San Francisco (1998)"},{"issue":"1","key":"7_CR20","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0364-0213(87)80026-5","volume":"11","author":"J.H. Larkin","year":"1987","unstructured":"Larkin, J.H., Simon, H.A.: Why a diagram is (sometimes) worth ten thousand words. Cognitive Science\u00a011(1), 65\u2013100 (1987)","journal-title":"Cognitive Science"},{"issue":"1","key":"7_CR21","first-page":"89","volume":"6","author":"O. Lemon","year":"1997","unstructured":"Lemon, O., Pratt, I.: Spatial logic and the complexity of diagrammatic reasoning. Machine GRAPHICS and VISION\u00a06(1), 89\u2013108 (1997)","journal-title":"Machine GRAPHICS and VISION"},{"key":"7_CR22","unstructured":"Patrascoiu, O., Thompson, S., Rodgers, P.: Tableaux for diagrammatic reasoning. In: Cox, P., Smedley, T. (eds.) Proceedings of the 2005 International Workshop on Visual Languages and Computing, September 2005, pp. 279\u2013286 (2005)"},{"key":"7_CR23","unstructured":"Shimojima, A.: On the Efficacy of Representation. PhD thesis, The Department of Philosophy, Indiana University (1996)"},{"key":"7_CR24","volume-title":"The Logical Status of Diagrams","author":"S.-J. Shin","year":"1994","unstructured":"Shin, S.-J.: The Logical Status of Diagrams. Cambridge University Press, Cambridge (1994)"},{"key":"7_CR25","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3633.001.0001","volume-title":"The Iconic Logic of Peirce\u2019s Graphs","author":"S.-J. Shin","year":"2002","unstructured":"Shin, S.-J.: The Iconic Logic of Peirce\u2019s Graphs. Bradford Book, Massachusetts (2002)"},{"key":"7_CR26","volume-title":"Conceptual structures: information processing in mind and machine","author":"J.F. Sowa","year":"1984","unstructured":"Sowa, J.F.: Conceptual structures: information processing in mind and machine. Addison-Wesley, Reading, Mass (1984)"},{"issue":"6","key":"7_CR27","doi-asserted-by":"publisher","first-page":"975","DOI":"10.1093\/logcom\/exi041","volume":"15","author":"G. Stapleton","year":"2005","unstructured":"Stapleton, G., Howse, J., Taylor, J.: A decidable constraint diagram reasoning system. Journal of Logic and Computation\u00a015(6), 975\u20131008 (2005)","journal-title":"Journal of Logic and Computation"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Stapleton, G., Masthoff, J., Flower, J., Fish, A., Southern, J.: Automated theorem proving in Euler diagrams systems. Journal of Automated Reasoning (2007)","DOI":"10.1007\/s10817-007-9069-y"},{"issue":"6","key":"7_CR29","doi-asserted-by":"publisher","first-page":"857","DOI":"10.1093\/logcom\/14.6.857","volume":"14","author":"G. Stapleton","year":"2004","unstructured":"Stapleton, G., Thompson, S., Howse, J., Taylor, J.: The expressiveness of spider diagrams. Journal of Logic and Computation\u00a014(6), 857\u2013880 (2004)","journal-title":"Journal of Logic and Computation"},{"key":"7_CR30","unstructured":"Stapleton, G.: Reasoning with Constraint Diagrams. PhD thesis, Visual Modelling Group, Department of Mathematical Sciences, University of Brighton (2004)"},{"issue":"2","key":"7_CR31","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/s10270-003-0044-8","volume":"3","author":"N. Swoboda","year":"2004","unstructured":"Swoboda, N., Allwein, G.: Using DAG transformations to verify Euler\/Venn homogeneous and Euler\/Venn FOL heterogeneous rules of inference. Journal on Software and System Modeling\u00a03(2), 136\u2013149 (2004)","journal-title":"Journal on Software and System Modeling"},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"Venn, J.: On the diagrammatic and mechanical representation of propositions and reasonings. Phil. Mag (1880)","DOI":"10.1080\/14786448008626877"},{"key":"7_CR33","unstructured":"VMG. The visual modeling group homepage, university of brighton, http:\/\/www.cmis.brighton.ac.uk\/Research\/vmg\/"}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Knowledge Visualization and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70596-3_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T00:24:12Z","timestamp":1620001452000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70596-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540705956","9783540705963"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70596-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}