{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T17:46:50Z","timestamp":1649008010566},"reference-count":14,"publisher":"Informa UK Limited","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1080\/09528130701475401","type":"journal-article","created":{"date-parts":[[2007,8,14]],"date-time":"2007-08-14T04:20:01Z","timestamp":1187065201000},"page":"195-225","source":"Crossref","is-referenced-by-count":6,"title":["A computational architecture for heterogeneous reasoning"],"prefix":"10.1080","volume":"19","author":[{"given":"Dave","family":"Barker-Plummer","sequence":"first","affiliation":[]},{"given":"John","family":"Etchemendy","sequence":"additional","affiliation":[]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00383-1"},{"key":"CIT0002","volume-title":"Hyperproof","author":"Barwise J","year":"1994"},{"key":"CIT0003","volume-title":"Language, Proof and Logic","author":"Barwise J","year":"1999"},{"key":"CIT0004","volume-title":"A Decade of Concurrency---Reflections and Perspectives","author":"Clarke EM","year":"1994"},{"key":"CIT0005","volume-title":"Symbolic Logic: An Introduction","author":"Fitch F","year":"1952"},{"key":"CIT0006","volume-title":"The Collected papers of Gerhard Gentzen","author":"Gentzen G","year":"1969"},{"key":"CIT0007","volume-title":"Diagrammatic Reasoning: Cognitive and Computational Perspectives","author":"Glasgow J","year":"1995"},{"key":"CIT0008","volume-title":"Logic and Visual Information","author":"Hammer E"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1145\/42411.42414"},{"key":"CIT0010","volume-title":"Working Papers on Diagrams and Logic","author":"Johnson S","year":"1993"},{"key":"CIT0011","volume-title":"The Logic of Architecture","author":"Mitchell W","year":"1990"},{"key":"CIT0012","volume-title":"Natural Deduction","author":"Prawitz D","year":"1965"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(09)70361-1"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511574696"}],"container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/09528130701475401","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,15]],"date-time":"2016-12-15T01:37:51Z","timestamp":1481765871000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/09528130701475401"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,9]]}},"alternative-id":["10.1080\/09528130701475401"],"URL":"https:\/\/doi.org\/10.1080\/09528130701475401","relation":{},"ISSN":["0952-813X","1362-3079"],"issn-type":[{"value":"0952-813X","type":"print"},{"value":"1362-3079","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,9]]}}}
