{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T14:45:43Z","timestamp":1775832343018,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540517344","type":"print"},{"value":"9783540467984","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51734-0_65","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:15:06Z","timestamp":1330204506000},"page":"243-253","source":"Crossref","is-referenced-by-count":22,"title":["A sketch of analogy as reasoning with equality hypotheses"],"prefix":"10.1007","author":[{"given":"Randy","family":"Goebel","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"17_CR1","series-title":"Technical report","volume-title":"Analogy recognition and comprehension in editorials","author":"S. E. August","year":"1986","unstructured":"S.E. August and M.G. Dyer. Analogy recognition and comprehension in editorials. Technical report, Computer Science Department, University of California at Los Angeles, Los Angeles, California, April 1986."},{"key":"17_CR2","first-page":"351","volume-title":"Machine Learning, volume II","author":"M. H. Burnstein","year":"1986","unstructured":"M.H. Burnstein. Concept formation by incremental analogical reasoning and debugging. In R. Michalski, J.G. Carbonell, and T.M. Mitchell, editors, Machine Learning, volume II, pages 351\u2013369. Morgan Kaufmann, Los Altos, Ca., 1986."},{"key":"17_CR3","first-page":"293","volume-title":"Logic and Databases","author":"K. L. Clark","year":"1978","unstructured":"K.L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Databases, pages 293\u2013322. Plenum Press, New York, 1978."},{"key":"17_CR4","first-page":"1","volume-title":"Analogical and Inductive Inference, volume 265 of Lecture Notes in Computer Science","author":"R. P. Daley","year":"1987","unstructured":"R.P. Daley. Twards the development of an analysis of learning algorithms. In K.P. Jantke, editor, Analogical and Inductive Inference, volume 265 of Lecture Notes in Computer Science, pages 1\u201318. Springer-Verlag, New York, 1987."},{"key":"17_CR5","unstructured":"T.R. Davies and S.J. Russell. A logical approach to reasoning by analogy. In Proceedings of IJCAI-87, pages 264\u2013270, Milan, Italy, August 23\u201328 1987."},{"key":"17_CR6","series-title":"Technical Report","volume-title":"Residue: a deductive approach to synthesis","author":"J. J. Finger","year":"1985","unstructured":"J.J. Finger. Residue: a deductive approach to synthesis. Technical Report STAN-CS-85-1035, Department of Computer Science, Stanford University, Stanford, California, 1985."},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"R. Goebel and S.D. Goodwin. Applying theory formation to the planning problem. In Proceedings of the AAAI Workshop on The Frame Problem in Artificial Intelligence, pages 207\u2013232, Lawrence, Kansas, April 12\u201315 1987.","DOI":"10.1016\/B978-0-934613-32-3.50019-8"},{"issue":"1","key":"17_CR8","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(88)90032-X","volume":"35","author":"R. Greiner","year":"1988","unstructured":"R. Greiner. Learning by understanding analogies. Artificial Intelligence, 35(1):81\u2013125, 1988.","journal-title":"Artificial Intelligence"},{"key":"17_CR9","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/3-540-18081-8_86","volume-title":"Analogical and Inductive Inference, volume 265 of Lecture Notes in Computer Science","author":"M. Haraguchi","year":"1987","unstructured":"M. Haraguchi and S. Arikawa. Reasoning by Analogy as a Partial Identity between Models. In K.P. Jantke, editor, Analogical and Inductive Inference, volume 265 of Lecture Notes in Computer Science, pages 61\u201387. Springer-Verlag, New York, 1987."},{"issue":"1","key":"17_CR10","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(89)90003-9","volume":"39","author":"R. P. Hall","year":"1989","unstructured":"R.P. Hall. Computational approaches to analogical reasoning: A comparative analysis. Artificial Intelligence, 39(1):39\u2013120, 1989.","journal-title":"Artificial Intelligence"},{"key":"17_CR11","unstructured":"D.R. Hofstadter and M. Mitchell. Concepts, analogies, and creativity. In Proceedings of CSCSI-88, pages 94\u2013101, Edmonton, Alberta, June 6\u201310 1988."},{"key":"17_CR12","unstructured":"D.J. Israel. What's wrong with non-monotonic logic? In Proceedings of AAAI-80, pages 99\u2013101, Stanford, California, August 18\u201321 1980. Stanford University."},{"issue":"10","key":"17_CR13","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/MC.1983.1654195","volume":"16","author":"D. J. Israel","year":"1983","unstructured":"D.J. Israel. The role of logic in knowledge representation. Computer, 16(10):37\u201341, 1983.","journal-title":"Computer"},{"issue":"1","key":"17_CR14","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1111\/j.1467-8640.1988.tb00100.x","volume":"4","author":"D. J. Israel","year":"1988","unstructured":"D.J. Israel. On cheeseman. Computational Intelligence, 4(1):85\u201386, 1988.","journal-title":"Computational Intelligence"},{"key":"17_CR15","volume-title":"Analogical and Inductive Inference, volume 265 of Lecture Notes in Computer Science","year":"1987","unstructured":"K.P. Jantke, editor. Analogical and Inductive Inference, volume 265 of Lecture Notes in Computer Science. Springer-Verlag, New York, 1987."},{"key":"17_CR16","series-title":"Technical report","volume-title":"Analogy \u2014 From a Unified Perspective","author":"S. T. Kedar-Cabelli","year":"1985","unstructured":"S.T. Kedar-Cabelli. Analogy \u2014 From a Unified Perspective. Technical report, Laboratory for Computer Science Research, Rutgers University, New Brunswick, New Jersey, December 1985."},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"H. Levesque (ed.). Taking issue: Mcdermott's a critique of pure reason. Computational Intelligence, 3(3), 1987.","DOI":"10.1111\/j.1467-8640.1987.tb00183.x"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd and M.H. van Emden. A logical reconstruction of Prolog ii. In Proceedings of the Second International Logic Programming Conference, pages 115\u2013125, Uppsala, Sweden, July 2\u20136 1984. Uppsala University.","DOI":"10.1016\/0743-1066(84)90001-3"},{"issue":"3","key":"17_CR19","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1111\/j.1467-8640.1987.tb00183.x","volume":"3","author":"D. V. McDermott","year":"1987","unstructured":"D.V. McDermott. A critique of pure reason. Computational Intelligence, 3(3):151\u2013160, 1987.","journal-title":"Computational Intelligence"},{"key":"17_CR20","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/3-540-18081-8_89","volume-title":"Analogical and Inductive Inference, volume 265 of Lecture Notes in Computer Science","author":"Ch. Melis","year":"1987","unstructured":"Ch. Melis and Melis E. Some considerations about formalization of analogical reasoning. In K.P. Jantke, editor, Analogical and Inductive Inference, volume 265 of Lecture Notes in Computer Science, pages 125\u2013134. Springer-Verlag, New York, 1987."},{"issue":"1","key":"17_CR21","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1111\/j.1467-8640.1988.tb00090.x","volume":"4","author":"M. McLeish","year":"1988","unstructured":"M. McLeish (ed.). Taking issue: Cheeseman's an inquiry into computer understanding. Computational Intelligence, 4(1):57\u2013142, 1988.","journal-title":"Computational Intelligence"},{"key":"17_CR22","series-title":"Laboratory for Computer Science Technical Report","volume-title":"A computational theory of legal argument","author":"L. T. McCarty","year":"1981","unstructured":"L.T. McCarty and N.S. Sridharan. A computational theory of legal argument. Laboratory for Computer Science Technical Report LRP-TR-13, Department of Computer Science, Rutgers University, New Brunswick, New Jersey, November 1981."},{"key":"17_CR23","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":"D. Poole, R. Goebel, and R. Aleliunas. Theorist: A logical reasoning system for defaults and diagnosis. In N.J. Cercone and G. McCalla, editors, The Knowledge Frontier: Essays in the Representation of Knowledge, pages 331\u2013352. Springer Verlag, New York, 1987."},{"key":"17_CR24","volume-title":"How to Solve It: A New Aspect of Mathematical Method","author":"G. Polya","year":"1954","unstructured":"G. Polya. How to Solve It: A New Aspect of Mathematical Method. Princeton University Press, Princeton, New Jersey, second, 1957 edition, 1954."},{"key":"17_CR25","unstructured":"D.L. Poole. Variables in hypotheses. In Proceedings of IJCAI-87, pages 905\u2013908, Milan, Italy, August 23\u201328 1987."},{"issue":"1","key":"17_CR26","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"D. Poole. A logical framework for default reasoning. Artifical Intelligence, 36(1):27\u201347, 1988.","journal-title":"Artifical Intelligence"},{"issue":"1&2","key":"17_CR27","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter. A logic for default reasoning. Artificial Intelligence, 13(1&2):81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"17_CR28","first-page":"147","volume-title":"Annual Reviews of Computer Science","author":"R. Reiter","year":"1987","unstructured":"R. Reiter. Nonmonotonic reasoning. In Annual Reviews of Computer Science, pages 147\u2013186. Annual Reviews of Computer Science, New York, 1987."},{"issue":"1","key":"17_CR29","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57\u201395, 1987.","journal-title":"Artificial Intelligence"},{"issue":"12","key":"17_CR30","doi-asserted-by":"crossref","first-page":"689","DOI":"10.1145\/359038.359042","volume":"23","author":"P. H. Winston","year":"1980","unstructured":"P.H. Winston. Learning and Reasoning by Analogy. ACM Communications, 23(12):689\u2013703, 1980.","journal-title":"ACM Communications"}],"container-title":["Lecture Notes in Computer Science","Analogical and Inductive Inference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51734-0_65.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:22:41Z","timestamp":1605648161000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51734-0_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540517344","9783540467984"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-51734-0_65","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989]]}}}