{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:17:47Z","timestamp":1743128267714,"version":"3.40.3"},"publisher-location":"Dordrecht","reference-count":10,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789048197934"},{"type":"electronic","value":"9789048197941"}],"license":[{"start":{"date-parts":[[2010,8,18]],"date-time":"2010-08-18T00:00:00Z","timestamp":1282089600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2010,8,18]],"date-time":"2010-08-18T00:00:00Z","timestamp":1282089600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-90-481-9794-1_2","type":"book-chapter","created":{"date-parts":[[2010,9,17]],"date-time":"2010-09-17T21:21:08Z","timestamp":1284758468000},"page":"7-10","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Using Mixture of Experts Method in Combining Search-Guiding Heuristics for Theorem Proving"],"prefix":"10.1007","author":[{"given":"C. Acar","family":"Erkek","sequence":"first","affiliation":[]},{"given":"Tunga","family":"G\u00fcng\u00f6r","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,8,18]]},"reference":[{"key":"2_CR1_2","unstructured":"J. Denzinger, M. Fuchs, C. Goller, and S. Schulz.: Learning from Previous Proof Experience: A Survey. Technical Report AR-99-4, Fakult\u00e4t f\u00fcr Informatik der Technischen Universit\u00e4t M\u00fcnchen, 1999."},{"key":"2_CR2_2","unstructured":"M. Fuchs.: Automatic Selection of Search-Guiding Heuristics. Proc. of FLAIRS, pages 1\u20135, 1997."},{"key":"2_CR3_2","doi-asserted-by":"crossref","unstructured":"C. Suttner and W. Ertel.: Automatic Acquisition of Search Guiding Heuristics. Proc. of International Conference on Automated Deduction, pages 470\u2013484, 1990.","DOI":"10.1007\/3-540-52885-7_108"},{"key":"2_CR4_2","doi-asserted-by":"crossref","unstructured":"M. Fuchs and M. Fuchs.: Applying Case-Based Reasoning to Automated Deduction. Proc. of International Conference on Case-Based Reasoning, pages 23\u201332, 1997.","DOI":"10.1007\/3-540-63233-6_475"},{"key":"2_CR5_2","first-page":"523","volume":"1104","author":"M. Fuchs","year":"1996","unstructured":"M. Fuchs.: Experiments in the Heuristic Use of Past Proof Experience. Proc. of CADE-13, New Brunswick, LNAI, 1104:523\u2013537, 1996.","journal-title":"Proc. of CADE-13, New Brunswick, LNAI"},{"key":"2_CR6_2","doi-asserted-by":"crossref","DOI":"10.2172\/822573","volume-title":"OTTER 3.3 Reference Manual","author":"W McCune","year":"2003","unstructured":"W. McCune: OTTER 3.3 Reference Manual. Argonne National Laboratory, Technical Memorandum No.263, 2003."},{"key":"2_CR7_2","unstructured":"E. Alpaydin.: Introduction To Machine Learning. MIT, 2004."},{"key":"2_CR8_2","volume-title":"Artificial Intelligence: A Modern Approach","author":"S.J. Russell","year":"1995","unstructured":"S.J. Russell, P. Norvig, J.F. Canny, J. Malik, and D.D. Edwards.: Artificial Intelligence: A Modern Approach. Prentice Hall, NJ, 1995."},{"issue":"4","key":"2_CR9_2","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/s10817-009-9143-8","volume":"43","author":"G. Sutcliffe","year":"2009","unstructured":"G. Sutcliffe.: The TPTP Problem Library and Associated Infrastructure: The FOF and CNF Parts, v3.5.0. Journal of Automated Reasoning, 43(4):337\u2013362, 2009.","journal-title":"Journal of Automated Reasoning"},{"key":"2_CR10_2","volume-title":"A Connectionist Approach for Learning Search-Control Heuristics for Automated Deduction Systems","author":"C Goller","year":"1999","unstructured":"C. Goller.: A Connectionist Approach for Learning Search-Control Heuristics for Automated Deduction Systems. PhD Dissertation, Technical University of Munich, 1999."}],"container-title":["Lecture Notes in Electrical Engineering","Computer and Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-90-481-9794-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,23]],"date-time":"2023-01-23T21:35:25Z","timestamp":1674509725000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-90-481-9794-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,8,18]]},"ISBN":["9789048197934","9789048197941"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-90-481-9794-1_2","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2010,8,18]]},"assertion":[{"value":"18 August 2010","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}