{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T22:36:35Z","timestamp":1759962995165},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540223924"},{"type":"electronic","value":"9783540277699"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27769-9_5","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T15:40:20Z","timestamp":1284565220000},"page":"62-93","source":"Crossref","is-referenced-by-count":13,"title":["Types and Tokens for Logic with Diagrams"],"prefix":"10.1007","author":[{"given":"Frithjof","family":"Dau","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/3-540-56979-0_3","volume-title":"Conceptual Graphs for Knowledge Representation","author":"J. Barwise","year":"1993","unstructured":"Barwise, J.: Heterogenous reasoning. In: Mineau, G.W., Sowa, J.F., Moulin, B. (eds.) ICCS 1993. LNCS, vol.\u00a0699, pp. 64\u201374. Springer, Heidelberg (1993)"},{"unstructured":"Burch, R.W.: A Peircean Reduction Theses: The Foundations of Topological Logic. Texas Tech University Press (1991)","key":"5_CR2"},{"key":"5_CR3","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/10722280_18","volume-title":"Conceptual Structures: Logical, Linguistic, and Computational Issues","author":"F. Dau","year":"2000","unstructured":"Dau, F.: Negations in Simple Concept Graphs. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS (LNAI), vol.\u00a01867, pp. 263\u2013276. Springer Verlag, Berlin, New York (2000)"},{"key":"5_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/3-540-44583-8_6","volume-title":"Conceptual Structures: Broadening the Base","author":"F. Dau","year":"2001","unstructured":"Dau, F.: Concept Graphs and Predicate Logic. In: Delugach, H.S., Stumme, G. (eds.) ICCS 2001. LNCS (LNAI), vol.\u00a02120, pp. 72\u201386. Springer, Heidelberg (2001)"},{"key":"5_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/3-540-45483-7_25","volume-title":"Conceptual Structures: Integration and Interfaces","author":"F. Dau","year":"2002","unstructured":"Dau, F.: An Embedding of Existential Graphs into Concept Graphs with Negations. In: Priss, U., Corbett, D.R., Angelova, G. (eds.) ICCS 2002. LNCS (LNAI), vol.\u00a02393, p. 326. Springer, Heidelberg (2002)"},{"key":"5_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/b94030","volume-title":"The Logic System of Concept Graphs with Negation (And Its Relationship to Predicate Logic)","author":"F. Dau","year":"2003","unstructured":"Dau, F.: The Logic System of Concept Graphs with Negation (And Its Relationship to Predicate Logic). LNCS (LNAI), vol.\u00a02892. Springer, Heidelberg (2003)"},{"key":"5_CR7","volume-title":"Logic and Visual Information","author":"E.M. Hammer","year":"1995","unstructured":"Hammer, E.M.: Logic and Visual Information. CSLI Publications, Stanford, California (1995)"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1023\/A:1017908108789","volume":"27","author":"E.M. Hammer","year":"1998","unstructured":"Hammer, E.M.: Semantics for Existential Graphs. Journal Philosohpical Logic\u00a027, 489\u2013503 (1998)","journal-title":"Journal Philosohpical Logic"},{"unstructured":"Howse, J., Molina, F., Shin, S., Taylor, J.: On Diagram Tokens and Types","key":"5_CR9"},{"key":"5_CR10","volume-title":"The Cambridge Conferences Lectures of 1898","author":"C.S. Peirce","year":"1992","unstructured":"Peirce, C.S.: Reasoning and the Logic of Things. In: Kremer, K.L. (ed.) The Cambridge Conferences Lectures of 1898, Harvard Univ. Press, Cambridge (1992)"},{"unstructured":"Peirce, C.S., Sowa, J.F.: Existential Graphs: MS 514 by Charles Sanders Peirce with commentary by John F. Sowa http:\/\/users.bestweb.net\/~sowa\/peirce\/ms514.htm","key":"5_CR11"},{"unstructured":"Peirce, C.S.: Existential graphs. 1903. Partly published in the collected papers of Peirce. Complete german translation in: Helmut Pape: Charles Sanders Peirce: Ph\u00e4nomen und Logik der Zeichen. Suhrkamp Taschenbuch Wissenschaft (1983)","key":"5_CR12"},{"doi-asserted-by":"crossref","unstructured":"Roberts, D.D.: The Existential Graphs of Charles S. Peirce. Mouton, The Hague, Paris (1973)","key":"5_CR13","DOI":"10.1515\/9783110226225"},{"issue":"6-9","key":"5_CR14","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/0898-1221(92)90127-4","volume":"23","author":"D.D. Roberts","year":"1992","unstructured":"Roberts, D.D.: The Existential Graphs. Computers Math. Applic.\u00a023(6-9), 639\u2013663 (1992)","journal-title":"Computers Math. Applic."},{"key":"5_CR15","volume-title":"The Logical Status of Diagrams","author":"S. Shin","year":"1994","unstructured":"Shin, S.: The Logical Status of Diagrams. Cambridge University Press, Cambridge (1994)"},{"doi-asserted-by":"crossref","unstructured":"Shin, S.: Reconstituting Beta Graphs into an Efficacious System. Journal of Logic, Language and Information\u00a08(3) (July 1999)","key":"5_CR16","DOI":"10.1023\/A:1008303204427"},{"key":"5_CR17","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3633.001.0001","volume-title":"The Iconic Logic of Peirce\u2019s Graphs","author":"S. Shin","year":"2002","unstructured":"Shin, S.: The Iconic Logic of Peirce\u2019s Graphs. Bradford Book, Massachusetts (2002)"},{"key":"5_CR18","series-title":"The System Programming Series","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. The System Programming Series. Adison-Wesley, Reading (1984)"},{"unstructured":"Sowa, J.F.: Conceptual Graphs Summary. In: Nagle, T.E., Nagle, J.A., Gerholz, L.L., Eklund, P.W. (eds.) Conceptual Structures: current research and practice, Ellis Horwood, pp. 3\u201351 (1992)","key":"5_CR19"},{"unstructured":"Sowa, J.F.: Logic: Graphical and Algebraic, Manuskript, Croton-on-Hudson (1997)","key":"5_CR20"}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures at Work"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27769-9_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:23:44Z","timestamp":1619997824000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27769-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540223924","9783540277699"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27769-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}