{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:12:29Z","timestamp":1725484349185},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439011"},{"type":"electronic","value":"9783540454830"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45483-7_25","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T22:15:50Z","timestamp":1179267350000},"page":"326-340","source":"Crossref","is-referenced-by-count":4,"title":["An Embedding of Existential Graphs into Concept Graphs with Negations"],"prefix":"10.1007","author":[{"given":"Frithjof","family":"Dau","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,7,4]]},"reference":[{"key":"25_CR1","unstructured":"R. W. Burch: A Peircean Reduction Theses: The Foundations of Topological Logic. Texas Tech University Press, 1991."},{"key":"25_CR2","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":"F. Dau: Negations in Simple Concept Graphs, in: B. Ganter, G. W. Mineau (Eds.): Conceptual Structures: Logical, Linguistic, and Computational Issues. LNAI 1867, Springer Verlag, Berlin-New York 2000, 263\u2013276."},{"key":"25_CR3","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/3-540-44583-8_6","volume-title":"Conceptual Structures: Boradening the Base","author":"F. Dau","year":"2001","unstructured":"F. Dau: Concept Graphs and Predicate Logic, in: H. S. Delugach, G. Stumme (Eds.): Conceptual Structures: Boradening the Base. LNAI 2120, Springer Verlag, Berlin-New York 2001, 72\u201386."},{"key":"25_CR4","unstructured":"F. Dau, Negations in Concept Graphs. PhD-Thesis. To appear. Draft on http:\/\/www.tu-darmstadt.de\/mathematik\/~dau\/"},{"key":"25_CR5","volume-title":"Logic and Visual Information","author":"E. M. Hammer","year":"1995","unstructured":"E. M. Hammer, Logic and Visual Information. CSLI Publications, Stanford, California, 1995."},{"key":"25_CR6","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1023\/A:1017908108789","volume":"27","author":"E. M. Hammer","year":"1998","unstructured":"E. M. Hammer, Semantics for Existential Graphs. Journal Philosohpical Logic, Vol. 27, 1998, 489\u2013503.","journal-title":"Journal Philosohpical Logic"},{"key":"25_CR7","volume-title":"The Cambridge Conferences Lectures of 1898","author":"C. S. Peirce","year":"1992","unstructured":"C. S. Peirce: Reasoning and the Logic of Things. The Cambridge Conferences Lectures of 1898. Ed. by K. L. Kremer, Harvard Univ. Press, Cambridge 1992."},{"key":"25_CR8","unstructured":"C. S. Peirce, J. F. Sowa: Existential Graphs: MS 514 by Charles Sanders Peirce with commentary by John F. Sowa http:\/\/users.bestweb.net\/~sowa\/peirce\/ms514.htm"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"D. D. Roberts: The Existential Graphs of Charles S. Peirce. Mouton, The Hague, Paris, 1973.","DOI":"10.1515\/9783110226225"},{"issue":"6\u20139","key":"25_CR10","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/0898-1221(92)90127-4","volume":"23","author":"D. D. Roberts","year":"1992","unstructured":"D. D. Roberts: The Existential Graphs. Computers Math. Applic., Vol. 23, No. 6\u20139, 1992, 639\u201363.","journal-title":"Computers Math. Applic."},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"S. Shin: Reconstituting Beta Graphs into an Efficacious System. Journal of Logic, Language and Information, Vol. 8, No. 3, July 1999.","DOI":"10.1023\/A:1008303204427"},{"key":"25_CR12","series-title":"The System Programming Series","volume-title":"Conceptual Structures: Information Processing in Mind and Machine","author":"J. F. Sowa","year":"1984","unstructured":"J. F. Sowa: Conceptual Structures: Information Processing in Mind and Machine. The System Programming Series. Adison-Wesley, Reading 1984."},{"key":"25_CR13","unstructured":"J. F. Sowa: Conceptual Graphs Summary, in: T. E. Nagle, J. A. Nagle, L. L. Gerholz, P. W. Eklund (Eds.): Conceptual Structures: current research and practice, Ellis Horwood, 1992, 3\u201351."},{"key":"25_CR14","unstructured":"J. F. Sowa: Logic: Graphical and Algebraic, Manuskript, Croton-on-Hudson 1997."},{"key":"25_CR15","volume-title":"Knowledge Representation: Logical, Philosophical, and Computational Foundations","author":"J. F. Sowa","year":"2000","unstructured":"J. F. Sowa: Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks Cole Publishing Co., Pacific Grove, CA, 2000."}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Integration and Interfaces"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45483-7_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T17:32:14Z","timestamp":1683826334000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45483-7_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439011","9783540454830"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45483-7_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}