{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,5]],"date-time":"2024-05-05T01:48:53Z","timestamp":1714873733972},"reference-count":25,"publisher":"Elsevier","isbn-type":[{"value":"9781558603776","type":"print"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1016\/b978-1-55860-377-6.50037-2","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T03:00:28Z","timestamp":1404183628000},"page":"235-243","source":"Crossref","is-referenced-by-count":6,"title":["Learning proof heuristics by adapting parameters"],"prefix":"10.1016","author":[{"given":"Matthias","family":"Fuchs","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/B978-1-55860-377-6.50037-2_bib1","doi-asserted-by":"crossref","unstructured":"Avenhaus, J.;Denzinger, J.;Fuchs, M. DISCOUNT; A system for distributed equational deduction. Proc. 6th RTA, Kaiserslautern, FRG, 1995, LNCS 914, pp. 397\u2013402","DOI":"10.1007\/3-540-59200-8_72"},{"key":"10.1016\/B978-1-55860-377-6.50037-2_bib2","doi-asserted-by":"crossref","unstructured":"Brock, B.; Cooper, S.; Pierce, W. Analogical reasoning and proof discovery, Proc. CADE 9, Argonne, IL, USA, 1988, LNCS 310, pp. 454\u2013468","DOI":"10.1007\/BFb0012849"},{"key":"10.1016\/B978-1-55860-377-6.50037-2_bib3","series-title":"Completion without Failure, Coll. on the Resolution of Equations in Algebraic Structures, Austin, TX, USA (1987)","author":"Bachmair","year":"1989"},{"key":"10.1016\/B978-1-55860-377-6.50037-2_bib4","doi-asserted-by":"crossref","unstructured":"Bundy, A. The use of explicit plans to guide inductive proofs, Proc. CADE 9, Argonne, IL, USA, 1988, LNCS 310, pp. 111\u2013120","DOI":"10.1007\/BFb0012826"},{"key":"10.1016\/B978-1-55860-377-6.50037-2_bib5","unstructured":"Burstein, M.H. Analogy vs. CBR: The purpose of mapping, in: K.J. Hammond (ed.), Proceedings: Second case-based reasoning workshop (DARPA), Morgan Kaufmann, San Mateo, CA, USA, 1989, pp. 133\u2013136"},{"key":"10.1016\/B978-1-55860-377-6.50037-2_bib6","unstructured":"Carbonell, J. Derivational analogy: a theory of reconstructive problem solving and expertise acquisition, in: R.S. Michalski et al. (eds.), Machine Intelligence; an AI approach, Vol. 2, 1986, pp. 371\u2013392"},{"key":"10.1016\/B978-1-55860-377-6.50037-2_bib7","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF00881866","article-title":"Flatterms, discrimination nets, and fast term rewriting","volume":"10","author":"Christian","year":"1993","journal-title":"JAR"},{"key":"10.1016\/B978-1-55860-377-6.50037-2_bib8","unstructured":"Davis, L. (ed): Genetic algorithms and simulated annealing, Research notes in artificial intelligence, 1988"},{"key":"10.1016\/B978-1-55860-377-6.50037-2_bib9","doi-asserted-by":"crossref","unstructured":"Denzinger, J.; Fuchs, M. Goal oriented equational theorem proving using teamwork, Proc. 18th KI-94, Saarbr\u00fccken, LNAI 861, 1994, pp. 343\u2013354; also available as SEKI-Report SR-94\u201304, University of Kaiserslautern, 1994","DOI":"10.1007\/3-540-58467-6_30"},{"key":"10.1016\/B978-1-55860-377-6.50037-2_bib10","unstructured":"Denzinger, J.; Schulz, S. Recording, Analyzing and Presenting Distributed Deduction Processes, Proc. PASCO '94, Linz, Austria, 1994"},{"key":"10.1016\/B978-1-55860-377-6.50037-2_bib11","doi-asserted-by":"crossref","unstructured":"Fuchs, M. Learning proof heuristics by adapting parameters, SEKI-Report SR-95\u201302, University of Kaiserslautern, 1995","DOI":"10.1016\/B978-1-55860-377-6.50037-2"},{"key":"10.1016\/B978-1-55860-377-6.50037-2_bib12","series-title":"Adaptation in natural and artificial systems: An introductory analysis with applications to biology, control, and artificial intelligence","author":"Holland","year":"1975"},{"key":"10.1016\/B978-1-55860-377-6.50037-2_bib13","doi-asserted-by":"crossref","unstructured":"Hsiang, J.; Rusinowitch, M., On word problems in equational theories, Proc. 14th ICALP, Karlsruhe, FRG, LNCS 267, 1987, pp. 54\u201371","DOI":"10.1007\/3-540-18088-5_6"},{"key":"10.1016\/B978-1-55860-377-6.50037-2_bib14","series-title":"Simple Word Problems in Universal Algebra, Computational Algebra","first-page":"263","author":"Knuth","year":"1970"},{"key":"10.1016\/B978-1-55860-377-6.50037-2_bib15","series-title":"Fully ordered groups","author":"Kokorin","year":"1974"},{"key":"10.1016\/B978-1-55860-377-6.50037-2_bib16","unstructured":"Koehler, J.; Nebel, B. Plan modification versus plan generation, Proc. IJCAI '93, Chambery, FRA, 1993, pp. 1436\u20131444"},{"key":"10.1016\/B978-1-55860-377-6.50037-2_bib17","unstructured":"Kolbe, T.; Walther, C. Reusing proofs, Proc. 11th ECAI '94, Amsterdam, HOL, 1994, pp. 80\u201384"},{"key":"10.1016\/B978-1-55860-377-6.50037-2_bib18","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":"10.1016\/B978-1-55860-377-6.50037-2_bib19","series-title":"Foundations of genetic algorithms","year":"1991"},{"key":"10.1016\/B978-1-55860-377-6.50037-2_bib20","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1016\/0004-3702(83)90002-4","article-title":"A new basis for state-space learning systems and a successful implementation","volume":"20","author":"Rendell","year":"1983","journal-title":"Artificial Intelligence"},{"key":"10.1016\/B978-1-55860-377-6.50037-2_bib21","doi-asserted-by":"crossref","unstructured":"Suttner, C.; Ertel, W. Automatic acquisition of search guiding heuristics, Proc. CADE 10, Kaiserslautern, FRG, 1990, LNAI 449, pp. 470\u2013484","DOI":"10.1007\/3-540-52885-7_108"},{"issue":"Nr. 2","key":"10.1016\/B978-1-55860-377-6.50037-2_bib22","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1145\/362515.362560","article-title":"Experiments in automatic learning for a multipurpose heuristic program","volume":"14","author":"Slagle","year":"1971","journal-title":"Communications of the ACM"},{"key":"10.1016\/B978-1-55860-377-6.50037-2_bib23","unstructured":"Smith, S.F. Flexible learning of problem solving heuristics through adaptive search, Proc. IJCAI '83, Karlsruhe, FRG, 1983, pp. 422\u2013425"},{"key":"10.1016\/B978-1-55860-377-6.50037-2_bib24","doi-asserted-by":"crossref","unstructured":"Suttner, C. Representing heuristic-relevant information for an automated theorem prover, Proc. 6th IMYCS: aspects and prospects of theoretical computer science, LNAI 464, 1990","DOI":"10.1007\/3-540-53414-8_49"},{"key":"10.1016\/B978-1-55860-377-6.50037-2_bib25","doi-asserted-by":"crossref","unstructured":"Zhang, H. Herky; High performance rewriting in RRL, Proc. CADE 11, Saratoga Springs, NY, USA, 1992, LNAI 607, pp. 696\u2013700","DOI":"10.1007\/3-540-55602-8_206"}],"container-title":["Machine Learning Proceedings 1995"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9781558603776500372?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9781558603776500372?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T05:46:05Z","timestamp":1565588765000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9781558603776500372"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9781558603776"],"references-count":25,"URL":"https:\/\/doi.org\/10.1016\/b978-1-55860-377-6.50037-2","relation":{},"subject":[],"published":{"date-parts":[[1995]]}}}