{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:46:42Z","timestamp":1725551202077},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540632337"},{"type":"electronic","value":"9783540692386"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63233-6_475","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T15:22:48Z","timestamp":1270480968000},"page":"23-32","source":"Crossref","is-referenced-by-count":3,"title":["Applying case-based reasoning to automated deduction"],"prefix":"10.1007","author":[{"given":"Marc","family":"Fuchs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Fuchs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"3_CR1","unstructured":"Aha, D.W.: Case-based Learning Algorithms, Proc. Case-based Reasoning Work-shop, Morgan Kaufmann Publishers, 1991."},{"key":"3_CR2","unstructured":"Althoff, K.-D.; Wess, S.: Case-Based Knowledge Acquisition, Learning and Problem Solving in Diagnostic Real World Tasks, Proc. EKAW, 1991, pp. 48\u201367."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Avenhaus, J.; Denzinger, J.; Fuchs, M.: DISCOUNT: A System For Distributed Equational Deduction, Proc. 6th RTA, 1995, Springer LNCS 914, pp. 397\u2013402.","DOI":"10.1007\/3-540-59200-8_72"},{"key":"3_CR4","volume-title":"Completion without Failure, Coll. on the Resolution of Equations in Algebraic Structures","author":"L. Bachmair","year":"1987","unstructured":"Bachmair, L.; Dershowitz, N.; Plaisted, D.: Completion without Failure, Coll. on the Resolution of Equations in Algebraic Structures, Austin, TX, USA (1987), Academic Press, 1989."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Brock, B.; Cooper, S.; Pierce, W.: Analogical reasoning and proof discovery, Proc. CADE-9, 1988, Springer LNCS 310, pp. 454\u2013468.","DOI":"10.1007\/BFb0012849"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Denzinger, J.; Fuchs, M.: Goal-oriented equational theorem proving using teamwork, Proc. 18ft KI-94, 1994, Springer LNAI 861, pp. 343\u2013354.","DOI":"10.1007\/3-540-58467-6_30"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Denzinger J.; Schulz, S.: Learning Domain Knowledge to Improve Theorem Proving, Proc. CADE-13, 1996, Springer LNAI 1104, pp. 62\u201376.","DOI":"10.1007\/3-540-61511-3_69"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Fuchs, M.: Learning proof heuristics by adapting parameters, Proc. 12th ICML,1995, Morgan Kaufmann, pp. 235\u2013243.","DOI":"10.1016\/B978-1-55860-377-6.50037-2"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Fuchs, M.: Experiments in the Heuristic Use of Past Proof Experience, Proc. CADE-13, 1996, Springer LNAI 1104, pp. 523\u2013537.","DOI":"10.1007\/3-540-61511-3_111"},{"key":"3_CR10","unstructured":"Kolbe, T.; Walther, C: Reusing proofs, Proc. 11th ECAI '94, 1994, pp. 80\u201384."},{"key":"3_CR11","unstructured":"Kolodner, J.L.: Retrieval and Organizational Strategies in Conceptual Memory, Ph.D. Thesis, Yale University, 1980."},{"key":"3_CR12","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF00155578","volume":"6","author":"J.L. Kolodner","year":"1992","unstructured":"Kolodner, J.L.: An Introduction to Case-Based Reasoning, Artificial Intelligence Review 6:3\u201334, 1992.","journal-title":"Artificial Intelligence Review"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"McCune, W.W.: OTTER 3.0 reference manual and guide, Techn. Report ANL-94\/6, Argonne Natl. Laboratory, 1994.","DOI":"10.2172\/10129052"},{"key":"3_CR14","unstructured":"Melis, E.: A model of analogy-driven proof-plan construction, Proc. 14th IJCAI, 1995, pp. 182\u2013189."},{"key":"3_CR15","unstructured":"Sutcliffe, G.; Suttner, C: First ATP System Competition held on August 1 in conjunction with the 13th International Conference on Automated Deduction (CADE-13), New Brunswick, NJ, USA, 1996; Competition results available via WWW at http:wwwjessen.informatik.tu-muenchen.de\/~tptp\/CASC-13."},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Sutcliffe, G.; Suttner, C.B.; Yemenis, T.: The TPTP Problem Library, Proc. CADE-12, 1994, Springer LNAI 814, pp. 252\u2013266.","DOI":"10.1007\/3-540-58156-1_18"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Suttner, C; Ertel, W.: Automatic acquisition of search-guiding heuristics, Proc. CADE-10, 1990, Springer LNAI 449, pp. 470\u2013484.","DOI":"10.1007\/3-540-52885-7_108"}],"container-title":["Lecture Notes in Computer Science","Case-Based Reasoning Research and Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63233-6_475","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T20:20:07Z","timestamp":1558988407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63233-6_475"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540632337","9783540692386"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-63233-6_475","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}