{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:10:29Z","timestamp":1725574229681},"publisher-location":"Berlin, Heidelberg","reference-count":31,"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_7","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T18:34:19Z","timestamp":1294425259000},"page":"32-50","source":"Crossref","is-referenced-by-count":5,"title":["Query Graphs with Cuts: Mathematical Foundations"],"prefix":"10.1007","author":[{"given":"Frithjof","family":"Dau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Burch, R.W.: A Peircean Reduction Thesis: The Foundations of Topological Logic. Texas Tech University Press (1991)"},{"key":"7_CR2","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":"7_CR3","unstructured":"Dau, F.: Negations in Concept Graphs. PhD-Thesis; To appear in Springer Lecture Notes on Computer Science (October 2003), Draft on http:\/\/www.tu-darmstadt.de\/mathematik\/~dau\/"},{"key":"7_CR4","unstructured":"Dau, F.: Types and Tokens for Logic with Diagrams: A Mathematical Approach. Submitted to Diagrams (Journal)"},{"key":"7_CR5","volume-title":"Using Conceptual Structures. 11th International Conference on Conceptual Structures, ICCS 2003","author":"F. Dau","year":"2003","unstructured":"Dau, F., Hereth Correia, J.: Nested Concept Graphs: Applications for Databases and Mathematical Foundations. In: Moor, A., Ganter, B. (eds.) Using Conceptual Structures. 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, July 21-July 26, Skaker Verlag, Aachen (2003), Contributions to ICCS 2003"},{"key":"7_CR6","unstructured":"Dau, F., Klinger, J.: From Formal Concept Analysis to Contextual Logic. To appear in the proceedings of the First International Conference on Formal Concept Analysis (2003)"},{"key":"7_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis: Mathematical Foundations","author":"B. Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Berlin (1999)"},{"key":"7_CR8","volume-title":"Logic and Visual Information","author":"E.M. Hammer","year":"1995","unstructured":"Hammer, E.M.: Logic and Visual Information. CSLI Publications, Stanford (1995)"},{"key":"7_CR9","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"},{"key":"7_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-46037-3_18","volume-title":"Diagrammatic Representation and Inference","author":"J. Howse","year":"2002","unstructured":"Howse, J., Molina, F., Shin, S., Taylor, J.: On Diagram Tokens and Types. In: Hegarty, M., Meyer, B., Narayanan, N.H. (eds.) Diagrams 2002. LNCS (LNAI), vol.\u00a02317, pp. 146\u2013160. Springer, Heidelberg (2002)"},{"key":"7_CR11","volume-title":"Ph\u00e4nomen und Logik der Zeichen. German translation of Peirce\u2019s Syllabus of Certain Topics of Logic","author":"H. Pape","year":"1983","unstructured":"Pape, H., Peirce, C.S.: Ph\u00e4nomen und Logik der Zeichen. German translation of Peirce\u2019s Syllabus of Certain Topics of Logic. Suhrkamp Verlag, Wissenschaft (1983)"},{"key":"7_CR12","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: Ketner, K.L., Putnam, H. (eds.) The Cambridge Conferences Lectures of 1898, Cambridge, Massachusetts, London, England, Harvard Univ. Press, Cambridge (1992)"},{"key":"7_CR13","unstructured":"Peirce, C.S.: MS 478. Collected Papers\u00a04, 394\u2013417, Harvard University Press, Cambrigde, Massachusetts"},{"key":"7_CR14","unstructured":"Peirce, C.S., Sowa, J.F.: Existential Graphs: MS 514 by Charles Sanders Peirce with Commentary by John F. Sowa, http:\/\/www.jfsowa.com\/peirce\/ms514.htm"},{"key":"7_CR15","unstructured":"Pollandt, S.: Relational Constructions on Semiconcept Graphs. In: Ganter, B., Mineau, G. (eds.) Conceptual Structures: Extracting and Representing Semantics. Contributions to ICCS 2001, Stanford (2001)"},{"key":"7_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/3-540-45483-7_4","volume-title":"Conceptual Structures: Integration and Interfaces","author":"S. Pollandt","year":"2002","unstructured":"Pollandt, S.: Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations. In: Priss, U., Corbett, D.R., Angelova, G. (eds.) ICCS 2002. LNCS (LNAI), vol.\u00a02393, p. 34. Springer, Heidelberg (2002)"},{"key":"7_CR17","unstructured":"Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen. Ein Beitrag zur Restrukturierung der mathematischen Logik. Shaker Verlag, Aachen (1998)"},{"key":"7_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BFb0054917","volume-title":"Conceptual Structures: Theory, Tools and Applications","author":"S. Prediger","year":"1998","unstructured":"Prediger, S.: Simple Concept Graphs: A Logic Approach. In: Mugnier, M.-L., Chein, M. (eds.) ICCS 1998. LNCS (LNAI), vol.\u00a01453, pp. 225\u2013239. Springer, Heidelberg (1998)"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Roberts, D.D.: The Existential Graphs of Charles S. Peirce. Mouton. The Hague, Paris (1973)","DOI":"10.1515\/9783110226225"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Shin, S.: Reconstituting Beta Graphs into an Efficacious System. Journal of Logic, Language and Information\u00a08(3) (July 1999)","DOI":"10.1023\/A:1008303204427"},{"key":"7_CR21","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. MIT, Bradford (2002)"},{"key":"7_CR22","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 Publishing Company, Reading (1984)"},{"key":"7_CR23","first-page":"3","volume-title":"Conceptual Structures: current research and practice","author":"J.F. Sowa","year":"1992","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, pp. 3\u201351. Ellis Horwood, England (1992)"},{"key":"7_CR24","unstructured":"Sowa, J.F.: Logic: Graphical and Algebraic, Croton-on-Hudson (1997) (manuskript)"},{"key":"7_CR25","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48659-3_1","volume-title":"Conceptual Structures: Standards and Practices","author":"J.F. Sowa","year":"1999","unstructured":"Sowa, J.F.: Conceptual Graphs: Draft Proposed American National Standard. In: Tepfenhart, W.M. (ed.) ICCS 1999. LNCS (LNAI), vol.\u00a01640, pp. 1\u201365. Springer, Heidelberg (1999)"},{"key":"7_CR26","volume-title":"Knowledge Representation: Logical, Philosophical, and Computational Foundations","author":"J.F. Sowa","year":"2000","unstructured":"Sowa, J.F.: Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks Cole Publishing Co., Pacific Grove (2000)"},{"key":"7_CR27","first-page":"267","volume-title":"Logic and Algebra","author":"R. Wille","year":"1996","unstructured":"Wille, R.: Restructuring Mathematical Logic: An Approach Based on Peirce\u2019s Pragmatism. In: Ursini, A., Agliano, P. (eds.) Logic and Algebra, pp. 267\u2013281. Marcel Dekker, New York (1996)"},{"key":"7_CR28","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/BFb0027878","volume-title":"Conceptual Structures: Fulfilling Peirce\u2019s Dream","author":"R. Wille","year":"1997","unstructured":"Wille, R.: Conceptual Graphs and Formal Concept Analysis. In: Delugach, H.S., Keeler, M.A., Searle, L., Lukose, D., Sowa, J.F. (eds.) ICCS 1997. LNCS (LNAI), vol.\u00a01257, pp. 290\u2013303. Springer, Heidelberg (1997)"},{"key":"7_CR29","first-page":"265","volume-title":"Working with Conceptual Structures, Contributions to ICCS 2000","author":"R. Wille","year":"2000","unstructured":"Wille, R.: Contextual Logic Summary. In: Stumme, G. (ed.) Working with Conceptual Structures, Contributions to ICCS 2000, pp. 265\u2013276. Shaker, Aachen (2000)"},{"key":"7_CR30","unstructured":"Wille, R.: Lecture Notes on Contextual Logic of Relations. FB4-Preprint, TUDarmstadt (2000)"},{"key":"7_CR31","unstructured":"Zeman, J.: The Graphical Logic of C. S. Peirce Ph.D. Diss., University of Chicago (1964), Published 2002 in WWW at http:\/\/www.clas.ufl.edu\/users\/jzeman\/graphicallogic\/"}],"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_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T11:11:46Z","timestamp":1592219506000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25931-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212683","9783540259312"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25931-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}