{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:37:38Z","timestamp":1725489458999},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540423447"},{"type":"electronic","value":"9783540445838"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44583-8_6","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T08:22:18Z","timestamp":1187252538000},"page":"72-86","source":"Crossref","is-referenced-by-count":8,"title":["Concept Graphs and Predicate Logic"],"prefix":"10.1007","author":[{"given":"Frithjof","family":"Dau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,7,12]]},"reference":[{"unstructured":"F. Baader, R. Molitor, S. Tobies: The Guarded Fragment of Conceptual Graphs. RWTH LTCS-Report. http:\/\/www-lti.informatik.rwth-aachen.de\/Forschung\/Papers.html","key":"6_CR1"},{"key":"6_CR2","series-title":"Lectures Notes in Artificial Intelligence","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":"1997","unstructured":"F. Dau: Negations in Simple Concept Graphs, in: B. Ganter, G. W. Mineau (Eds.): Conceptual Structures: Logical, Linguistic, and Computational Issues. Lectures Notes in Artificial Intelligence 1867, Springer Verlag, Berlin-New York 1997, 263\u2013276."},{"unstructured":"F. Dau, Negations in Concept Graphs. PhD-Thesis. To appear.","key":"6_CR3"},{"key":"6_CR4","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":"B. Ganter, R. Wille: Formal Concept Analysis: Mathematical Foundations. Springer, Berlin-Heidelberg-New York 1999."},{"key":"6_CR5","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."},{"unstructured":"S. Prediger: Kontextuelle Urteilslogik mit Begriffsgraphen. Ein Beitrag zur Restrukturierung der mathematischen Logik, Shaker Verlag 1998.","key":"6_CR6"},{"key":"6_CR7","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":"S. Prediger: Simple Concept Graphs: A Logic Approach, in: M.-L. Mugnier, M. Chein (Eds.): Conceptual Structures: Theory, Tools and Applications, Springer Verlag, Berlin-New York 1998, 225\u2013239."},{"doi-asserted-by":"crossref","unstructured":"D. D. Roberts: The Existential Graphs of Charles Sanders Peirce, Mouton The Hague-Paris 1973.","key":"6_CR8","DOI":"10.1515\/9783110226225"},{"key":"6_CR9","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. Addison Wesley Publishing Company Reading, 1984."},{"key":"6_CR10","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":"J. F. Sowa: Conceptual Graphs: Draft Proposed American National Standard, in: W. Tepfenhart, W. Cyre (Eds.): Conceptual Structures: Standards and Practices, Springer Verlag, Berlin-New York 1999, 1\u201365."},{"key":"6_CR11","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."},{"key":"6_CR12","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/3-540-60161-9_47","volume-title":"Conceptual Structures: Applications, Implementations and Theory","author":"M. Wermelinger","year":"1995","unstructured":"M. Wermelinger: Conceptual Graphs and First-Order Logic, in: G. Ellis et al. (Eds.): Conceptual Structures: Applications, Implementations and Theory, Springer Verlag, Berlin-New York 1995, 323\u2013337."},{"key":"6_CR13","series-title":"Lectures Notes in Artificial Intelligence","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":"R. Wille: Conceptual Graphs and Formal Concept Analysis, in: D. Lukose et al. (Hrsg.): Conceptual Structures: Fulfilling Peirce\u2019s Dream, Lectures Notes in Artificial Intelligence 1257, Springer Verlag, Berlin-New York 1997, 290\u2013303."}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Broadening the Base"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44583-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,21]],"date-time":"2021-08-21T21:53:11Z","timestamp":1629582791000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44583-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540423447","9783540445838"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-44583-8_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}