{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:11Z","timestamp":1725663971237},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540573708"},{"type":"electronic","value":"9783540480969"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57370-4_36","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T07:56:31Z","timestamp":1330242991000},"page":"45-57","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Reformulation of explanation by linear logic toward logic for explanation"],"prefix":"10.1007","author":[{"given":"Jun","family":"Arima","sequence":"first","affiliation":[]},{"given":"Hajime","family":"Sawamura","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"4_CR1","unstructured":"Arima, J.: A logical analysis of relevance in analogy, in Proc. of Workshop on Algorithmic Learning Theory (ALT'91), Japanese Society for Artificial Intelligence, 255\u2013265 (1991)."},{"key":"4_CR2","first-page":"608","volume-title":"Lecture Notes in Computer Science 230","author":"P.T. Cox","year":"1986","unstructured":"Cox P.T. and Pietrzykowski T.: Causes for events: their computation and applications, in: Proc. of Eighth International Conference on Automated Deduction, Lecture Notes in Computer Science 230 (Springer-Verlag, Berlin, 1986) pp. 608\u2013621."},{"key":"4_CR3","unstructured":"Girard,J-Y: Linear Logic, Theoretical Computer Science 50, North-Holland, pp. 1\u2013102, (1987)."},{"key":"4_CR4","unstructured":"Hobbs, J.R., Stickel,M.E., Martin, P., & Edwards, D.: Interpretation as abduction, In Proc. of the 26th Annual Meeting of the Association for Computational Linguistics, Philadelphia, PA, pp. 32\u201337, (1986)."},{"key":"4_CR5","first-page":"150","volume-title":"Purpose-directed analogy","author":"S. Kedar-Cabelli","year":"1985","unstructured":"Kedar-Cabelli,S.: Purpose-directed analogy, in the 7th Annual Conference of the Cognitive Science Society, Hillsdale, N J: Lawrence Erlbaum Associates, pp.150\u2013159 (1985)."},{"key":"4_CR6","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/978-1-4613-2279-5","volume-title":"Machine Learning 1","author":"T. Mitchell","year":"1986","unstructured":"Mitchell, T., Keller, R. & Kedar-Cabelli,S.: Explanation-Based Generalization: A Unifying View, in Machine Learning 1, Kluwer Academic Publishers, Boston, pp.47\u201380 (1986)."},{"key":"4_CR7","unstructured":"Ng,H.T. & Mooney, R.J.: On the Role of Coherence in Abductive Explanation, in Proc. of the 8th National Conference on A I (AAAI-90), pp. 337\u2013342 (1990)."},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/0004-3702(88)90015-X","volume":"35","author":"J. Pearl","year":"1988","unstructured":"Pearl,J.: Embracing causality in default reasoning, Artificial Intelligence\n35, pp.259\u2013271 (1988).","journal-title":"Artificial Intelligence"},{"key":"4_CR9","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/978-1-4612-4792-0_13","volume-title":"The Knowledge Frontier: Essays in the Representation of Knowledge","author":"D. Poole","year":"1987","unstructured":"Poole D., Goebel R. and Aleliunas R.: Theorist: a logical reasoning system for defaults and diagnosis, in: N. Cercone and G. McCalla (eds.), The Knowledge Frontier: Essays in the Representation of Knowledge (Springer-Verlag, New York, 1987) 331\u2013352."},{"key":"4_CR10","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"Poole, D.: A logical framework for default reasoning, Artificial Intelligence\n36, pp.27\u201347 (1988).","journal-title":"Artificial Intelligence"},{"key":"4_CR11","first-page":"233","volume-title":"Lecture Notes in Artificial Intelligence 459","author":"M.E. Stickel","year":"1990","unstructured":"Stickel M.E.: Rationale and methods for abductive reasoning in natural-language interpretation, in: R. Studer (ed.), Natural Language and Logic, Proceedings of the International Scientific Symposium, Hamburg, Germany, Lecture Notes in Artificial Intelligence 459 (Springer-Verlag, Berlin, 1990) 233\u2013252."}],"container-title":["Lecture Notes in Computer Science","Algorithmic Learning Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57370-4_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:40:27Z","timestamp":1558255227000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57370-4_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573708","9783540480969"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-57370-4_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}