{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:09:53Z","timestamp":1725487793347},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662235"},{"type":"electronic","value":"9783540486596"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48659-3_12","type":"book-chapter","created":{"date-parts":[[2007,7,21]],"date-time":"2007-07-21T13:47:14Z","timestamp":1185025634000},"page":"184-197","source":"Crossref","is-referenced-by-count":1,"title":["A Software System for Learning Peircean Graphs"],"prefix":"10.1007","author":[{"given":"Torben","family":"Br\u00e4uner","sequence":"first","affiliation":[]},{"given":"Claus","family":"Donner","sequence":"additional","affiliation":[]},{"given":"Peter","family":"\u00d8hrstr\u00f8m","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"G. Allwein and J. Barwise, editors. Logical Reasoning with Diagrams. Oxford University Press, 1996.","DOI":"10.1093\/oso\/9780195104271.001.0001"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"T. Bra\u00fcner. Peircean graphs for the modal logic S5. In M.-L. Mugnier and M. Chein, editors, Proceedings of Sixth International Conference on Conceptual Structures, volume 1453 of LNAI, pages 255\u2013269. Springer-Verlag, 1998.","DOI":"10.1007\/BFb0054919"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/BF01063994","volume":"99","author":"R. W. Burch","year":"1994","unstructured":"R. W. Burch. Game-theoretical semantics for Peirce\u2019s existential graphs. Synthese, 99:361\u2013375, 1994.","journal-title":"Synthese"},{"key":"12_CR4","doi-asserted-by":"crossref","first-page":"387","DOI":"10.5840\/teachphil199720449","volume":"20","author":"M. Forbes","year":"1997","unstructured":"M. Forbes. Peirce\u2019s existential graphs. A practical alternative to truth tables for critical thinkers. Teaching Philosophy, 20:387\u2013400, 1997.","journal-title":"Teaching Philosophy"},{"key":"12_CR5","unstructured":"G. E. Hughes and M. J. Cresswell. An Introduction to Modal Logic. Methuen, 1968."},{"key":"12_CR6","unstructured":"K. L. Ketner. Elements of Logic: An Introduction to Peirce\u2019s Existential Graphs. Arisbe Associates, 1996."},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"P. \u00d8hrstr\u00f8m. Existential graphs and tense logic. In Proceedings of Fourth International Conference on Conceptual Structures, volume 1115 of LNAI. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61534-2_13"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"P. \u00d8hrstr\u00f8m. C. S. Peirce and the quest for gamma graphs. In Proceedings of Fifth International Conference on Conceptual Structures, volume 1257 of LNAI. Springer-Verlag, 1997.","DOI":"10.1007\/BFb0027883"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"P. \u00d8hrstr\u00f8m and P. Hasle. Temporal Logic: from Ancient Ideas to Artificial Intelligence. Kluwer Academic Publishers, 1995.","DOI":"10.1007\/978-0-585-37463-5"},{"key":"12_CR10","unstructured":"C. S. Peirce. In C. Hartshorne, P. Weiss, and A. Burke, editors, Collected Papers of Charles Sanders Peirce, volume I\u2013VIII. Harvard University Press, 1931\u201358."},{"key":"12_CR11","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, 23:639\u2013663, 1992.","journal-title":"Computers Math Applic"},{"key":"12_CR12","unstructured":"D. Scott, editor. Notes on the Formalisation of Logic. Sub-faculty of Philosophy, University of Oxford, 1981."},{"key":"12_CR13","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, Reading, 1984."},{"key":"12_CR14","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1080\/01690969508407099","volume":"10","author":"K. Stenning","year":"1995","unstructured":"K. Stenning, R. Cox, and J. Oberlander. Contrasting the cognitive effects of graphical and sentential logic teaching: Reasoning, representation and individual differences. Language and Cognitive Processes, 10:333\u2013354, 1995.","journal-title":"Language and Cognitive Processes"},{"key":"12_CR15","unstructured":"H. van den Berg. Modal logics for conceptual graphs. In Proceedings of First International Conference on Conceptual Structures, volume 699 of LNAI. Springer-Verlag, 1993."},{"key":"12_CR16","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of Fifth International Conference on Conceptual Structures","author":"J. Zeman","year":"1997","unstructured":"J. Zeman. Peirce\u2019s graphs. In Proceedings of Fifth International Conference on Conceptual Structures, volume 1257 of LNCS. Springer-Verlag, 1997."}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Standards and Practices"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48659-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,20]],"date-time":"2021-08-20T03:12:16Z","timestamp":1629429136000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48659-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662235","9783540486596"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-48659-3_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}