{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:10:11Z","timestamp":1725574211967},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212683"},{"type":"electronic","value":"9783540259312"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25931-2_12","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T18:34:19Z","timestamp":1294425259000},"page":"112-127","source":"Crossref","is-referenced-by-count":7,"title":["What Can Spider Diagrams Say?"],"prefix":"10.1007","author":[{"given":"Gem","family":"Stapleton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Howse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Taylor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Thompson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Solvable Classes of Quantificational Formulas","volume-title":"The Decision Problem","author":"B. Dreben","year":"1979","unstructured":"Dreben, B., Goldforb, D.: The Decision Problem. Solvable Classes of Quantificational Formulas. Addison Wesley Publishing Company Inc., Reading (1979)"},{"key":"12_CR2","unstructured":"Euler, L.: Lettres a une princesse d\u2019allemagne, vol.\u00a02, Letters No. 102-108 (1761)"},{"key":"12_CR3","first-page":"161","volume-title":"Proceedings of IEEE Symposium on Visual Languages and Formal Methods","author":"A. Fish","year":"2003","unstructured":"Fish, A., Flower, J., Howse, J.: A reading algorithm for constraint diagrams. In: Proceedings of IEEE Symposium on Visual Languages and Formal Methods, pp. 161\u2013168. IEEE, Los Alamitos (2003)"},{"key":"12_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-46037-3_7","volume-title":"Diagrammatic Representation and Inference","author":"J. Howse","year":"2002","unstructured":"Howse, J., Molina, F., Shin, S.-J., Taylor, J.: On diagram tokens and types. In: Hegarty, M., Meyer, B., Narayanan, N.H. (eds.) Diagrams 2002. LNCS (LNAI), vol.\u00a02317, pp. 76\u201390. Springer, Heidelberg (2002)"},{"issue":"3","key":"12_CR5","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1006\/jvlc.2000.0210","volume":"12","author":"J. Howse","year":"2001","unstructured":"Howse, J., Molina, F., Taylor, J., Kent, S., Gil, J.: Spider diagrams: A diagrammatic reasoning system. Journal of Visual Languages and Computing\u00a012(3), 299\u2013324 (2001)","journal-title":"Journal of Visual Languages and Computing"},{"key":"12_CR6","unstructured":"Howse, J., Stapleton, G., Taylor, J.: Spider diagrams (2003), In available from www.cmis.brighton.ac.uk\/research\/vmgSDRules"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Kent, S.: Constraint diagrams: Visualising invariants in object oriented models. In: Proceedings of OOPSLA 1997. ACM SIGPLAN Notices (1997)","DOI":"10.1145\/263698.263756"},{"key":"12_CR8","unstructured":"Molina, F.: Reasoning with extended Venn-Peirce diagrammatic systems. PhD thesis, University of Brighton (2001)"},{"key":"12_CR9","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":"12_CR10","unstructured":"Stapleton, G., Howse, J., Taylor, J.: A constraint diagram reasoning system. In: Proceedings of International Conference on Visual Languages and Computing, pp. 263\u2013270. Knowledge Systems Institute (2003)"},{"key":"12_CR11","volume-title":"Logical and Computational Aspects of Model-Based Reasoning","author":"N. Swoboda","year":"2002","unstructured":"Swoboda, N., Allwein, G.: A case study of the design and implementation of heterogeneous reasoning systems. In: Logical and Computational Aspects of Model-Based Reasoning, Kluwer Academic, Dordrecht (2002)"},{"key":"12_CR12","unstructured":"Swoboda, N., Allwein, G.: Using DAG transformations to verify Euler\/Venn homogeneous and Euler\/Venn FOL heterogeneous rules of interence. In: International Workshop on Graph Transformation and Visual Modeling Techniques, Barcelona, October 2002, pp. 84\u201398 (2002)"},{"key":"12_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/14786448008626791","volume":"9","author":"J. Venn","year":"1880","unstructured":"Venn, J.: On the diagrammatic and mechanical representation of propositions and reasonings. The London, Edinburugh and Dublin Philosophical Magazine and Journal of Science\u00a09, 1\u201318 (1880)","journal-title":"The London, Edinburugh and Dublin Philosophical Magazine and Journal of Science"}],"container-title":["Lecture Notes in Computer Science","Diagrammatic Representation and Inference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25931-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T17:50:03Z","timestamp":1559929803000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25931-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212683","9783540259312"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25931-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}