{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:47:40Z","timestamp":1749124060980},"publisher-location":"Berlin\/Heidelberg","reference-count":13,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354019343X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0012849","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T01:12:39Z","timestamp":1132708359000},"page":"454-468","source":"Crossref","is-referenced-by-count":10,"title":["Analogical reasoning and proof discovery"],"prefix":"10.1007","author":[{"given":"Bishop","family":"Brock","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaun","family":"Cooper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William","family":"Pierce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","unstructured":"Bledsoe, W. W., \u201cThe Use of Analogy in Automatic Proof Discovery\u201d, University of Texas Math Dept. Memo ATP-83, November 1985, MCC-AI-158-86."},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"Bledsoe, W. W. and Hines, L. M., \u201cVariable Elimination and Chaining in a Resolution-based Prover for Inequalities\u201d, CADE-5, Les Arcs, France, W. Bibel and R. Kowalski (eds.), Springer-Verlag, pp. 70\u201387, 1980.","DOI":"10.1007\/3-540-10009-1_7"},{"key":"30_CR3","unstructured":"Bledsoe, W. W., \u201cThe UT Natural-Deduction Prover\u201d, The University of Texas at Austin, Math Department Memo ATP-17B, April 1983."},{"key":"30_CR4","unstructured":"Brock, B., Cooper, S. and Pierce, W., \u201cSome Experiments with Analogy in Proof Discovery (Preliminary Report)\u201d, MCC Tech. Report AI-347-86, October 1986."},{"key":"30_CR5","unstructured":"Brock, B., Cooper, S. and Pierce, W., \u201cSome Experiments with Analogy in Proof Discovery: A Natural Deduction Approach\u201d, MCC Tech. Report ACA-AI-274-87, August 1987."},{"key":"30_CR6","unstructured":"Brock, B., Cooper, S. and Pierce, W., Box Users Manual, MCC Tech. Report ACA-AI-273-87, September 1987."},{"key":"30_CR7","first-page":"137","volume-title":"Machine Learning, An Artificial Intelligence Approach, Vol. I","author":"J. G. Carbonell","year":"1983","unstructured":"Carbonell, J. G., \u201cLearning by Analogy: Formulating and Generalizing Plans from Past Experience,\u201d in Machine Learning, An Artificial Intelligence Approach, Vol. I, R. S. Michalski, J. G. Carbonell, and T. M. Mitchell, eds., Tioga Press, Palo Alto, CA, 1983, pp. 137\u2013161."},{"issue":"2","key":"30_CR8","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1207\/s15516709cog0702_3","volume":"7","author":"D. Gentner","year":"1983","unstructured":"Gentner, D., \u201cStructure Mapping: A Theoretical Framework for Analogy,\u201d Cognitive Science, vol. 7, no. 2, April 1983, pp. 155\u2013170.","journal-title":"Cognitive Science"},{"key":"30_CR9","unstructured":"Greiner, R., \u201cLearning by Understanding Analogies\u201d, Ph.D. Thesis, Stanford University, September 1985. Technical Report STAN-CS-1071."},{"key":"30_CR10","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/0004-3702(71)90008-7","volume":"2","author":"R. E. Kling","year":"1971","unstructured":"Kling, R. E., \u201cA Paradigm for Reasoning by Analogy\u201d, Artifical Intelligence, Vol. 2, pp. 147\u2013178, 1971.","journal-title":"Artifical Intelligence"},{"key":"30_CR11","unstructured":"Owen, S., \u201cHeuristics for Analogy Matching\u201d, DAI Research Paper No. 280, University of Edinburgh."},{"key":"30_CR12","unstructured":"Ross, K. A., Elementary Analysis: The Theory of Calculus, Springer-Verlag, 1986."},{"issue":"12","key":"30_CR13","doi-asserted-by":"crossref","first-page":"689","DOI":"10.1145\/359038.359042","volume":"23","author":"P. H. Winston","year":"1979","unstructured":"Winston, P. H., \u201cLearning and Reasoning by Analogy\u201d, CACM, Vol. 23, No. 12, pp. 689\u2013703, 1979.","journal-title":"CACM"}],"container-title":["Lecture Notes in Computer Science","9th International Conference on Automated Deduction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0012849.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,7]],"date-time":"2020-12-07T10:06:42Z","timestamp":1607335602000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0012849"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354019343X"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0012849","relation":{},"subject":[]}}