{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,4]],"date-time":"2025-04-04T21:24:11Z","timestamp":1743801851484},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540877295"},{"type":"electronic","value":"9783540877301"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87730-1_32","type":"book-chapter","created":{"date-parts":[[2008,9,21]],"date-time":"2008-09-21T02:45:47Z","timestamp":1221965147000},"page":"347-349","source":"Crossref","is-referenced-by-count":10,"title":["Openproof - A Flexible Framework for Heterogeneous Reasoning"],"prefix":"10.1007","author":[{"given":"Dave","family":"Barker-Plummer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Etchemendy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Albert","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Murray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nik","family":"Swoboda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","first-page":"33","volume-title":"Situation Theory and Its Applications","author":"J. Barwise","year":"1990","unstructured":"Barwise, J., Etchemendy, J.: Information, infons and inference. In: Situation Theory and Its Applications, pp. 33\u201378. CSLI Publications, Stanford (1990)"},{"key":"32_CR2","first-page":"179","volume-title":"Logical reasoning with diagrams","author":"J. Barwise","year":"1996","unstructured":"Barwise, J., Etchemendy, J.: Heterogeneous logic. In: Logical reasoning with diagrams, pp. 179\u2013200. Oxford University Press, New York (1996)"},{"key":"32_CR3","first-page":"3","volume-title":"Logical reasoning with diagrams","author":"J. Barwise","year":"1996","unstructured":"Barwise, J., Etchemendy, J.: Visual information and valid reasoning. In: Logical reasoning with diagrams, pp. 3\u201325. Oxford University Press, New York (1996)"},{"key":"32_CR4","volume-title":"Hyperproof","author":"J. Barwise","year":"1994","unstructured":"Barwise, J., Etchemendy, J.: Hyperproof. CSLI Publications, Stanford (1994)"},{"key":"32_CR5","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/978-1-4020-2958-5_4","volume-title":"Visual and Spatial Analysis: Advances in Data Mining, Reasoning and Problem Solving","author":"D. Barker-Plummer","year":"2004","unstructured":"Barker-Plummer, D., Etchemendy, J.: Visual decision making: A computational architecture for heterogeneous reasoning. In: Kovalerchuk, B., Schwing, J. (eds.) Visual and Spatial Analysis: Advances in Data Mining, Reasoning and Problem Solving, pp. 79\u2013109. Springer, Berlin (2004)"},{"issue":"3","key":"32_CR6","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1080\/09528130701475401","volume":"19","author":"D. Barker-Plummer","year":"2007","unstructured":"Barker-Plummer, D., Etchemendy, J.: A computational architecture for heterogeneous reasoning. Journal of Theoretical and Experimental Artificial Intelligence\u00a019(3), 195\u2013225 (2007)","journal-title":"Journal of Theoretical and Experimental Artificial Intelligence"},{"issue":"1","key":"32_CR7","first-page":"39","volume":"12","author":"D. Barker-Plummer","year":"2003","unstructured":"Barker-Plummer, D., Etchemendy, J.: Applications of heterogeneous reasoning in design. Machine Graphics and Vision\u00a012(1), 39\u201354 (2003)","journal-title":"Machine Graphics and Vision"},{"key":"32_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/3-540-46037-3_17","volume-title":"Diagrammatic Representation and Inference","author":"N. Swoboda","year":"2002","unstructured":"Swoboda, N., Allwein, G.: Modeling heterogeneous systems. In: Hegarty, M., Meyer, B., Narayanan, N.H. (eds.) Diagrams 2002. LNCS (LNAI), vol.\u00a02317, pp. 131\u2013145. Springer, Heidelberg (2002)"},{"key":"32_CR9","volume-title":"Language Proof and Logic","author":"J. Barwise","year":"1999","unstructured":"Barwise, J., Etchemendy, J., Allwein, G., Barker-Plummer, D., Liu, A.: Language Proof and Logic. CSLI Publications, University of Chicago Press, Stanford (1999)"},{"key":"32_CR10","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.entcs.2005.02.023","volume":"134","author":"N. Swoboda","year":"2005","unstructured":"Swoboda, N., Allwein, G.: Heterogeneous reasoning with euler\/venn diagrams containing named constants and fol. Electronic Notes in Theoretical Computer Science\u00a0134, 153\u2013187 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"32_CR11","unstructured":"Barker-Plummer, D., Swoboda, N.: A sequent based logic for coincidence grid. In: CEUR Workshop Proceedings, vol.\u00a0274, pp. 1\u201312 (2007)"}],"container-title":["Lecture Notes in Computer Science","Diagrammatic Representation and Inference"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87730-1_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:45:43Z","timestamp":1619523943000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87730-1_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540877295","9783540877301"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87730-1_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}