{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:48Z","timestamp":1725663708518},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540566021"},{"type":"electronic","value":"9783540475972"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56602-3_132","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:20:33Z","timestamp":1330255233000},"page":"124-135","source":"Crossref","is-referenced-by-count":0,"title":["Improving example-guided unfolding"],"prefix":"10.1007","author":[{"given":"Henrik","family":"Bostr\u00f6m","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"9_CR1","first-page":"37","volume-title":"Machine Learning: Proceedings of the 9th International Conference","author":"H. Bostr\u00f6m","year":"1992","unstructured":"Bostr\u00f6m H., \u201dEliminating Redundancy in Explanation-Based Learning\u201d, Machine Learning: Proceedings of the 9th International Conference, Morgan Kaufmann, CA (1992) 37\u201342"},{"key":"9_CR2","unstructured":"Bostr\u00f6m H., Efficient Organization of Clauses Learned by Explanation-Based Generalization, SYSLAB Report, Dept. of Computer and Systems Sciences, Stockholm University (1993)"},{"key":"9_CR3","first-page":"82","volume-title":"Machine Learning: Proceedings of the 9th International Conference","author":"P. Clark","year":"1992","unstructured":"Clark P. and Holte R., \u201dLazy Partial Evaluation: an Integration of Explanation-Based Generalization and Partial Evaluation\u201d, Machine Learning: Proceedings of the 9th International Conference, Morgan Kaufmann, CA (1992) 82\u201391"},{"key":"9_CR4","volume-title":"Programming in Prolog","author":"W. F. Clocksin","year":"1981","unstructured":"Clocksin W. F. and Mellish C. S., Programming in Prolog, Springer Verlag, Berlin Heidelberg (1981)"},{"key":"9_CR5","first-page":"256","volume-title":"Generalizing Number and Learning from Multiple Examples in Explanation-Based Learning","author":"W. W. Cohen","year":"1988","unstructured":"Cohen W. W., \u201dGeneralizing Number and Learning from Multiple Examples in Explanation-Based Learning\u201d, Proceedings of the Fifth International Conference on Machine Learning, Morgan Kaufmann, CA (1988) 256\u2013269"},{"key":"9_CR6","unstructured":"Debray S. K., Global Optimization of Logic Programs, Ph.D. thesis, Stony Brook (1986)"},{"key":"9_CR7","first-page":"240","volume-title":"Example-Guided Optimization of Recursive Domain theories","author":"R. Feldman","year":"1991","unstructured":"Feldman R. and Subramanian D., \u201dExample-Guided Optimization of Recursive Domain theories\u201d, Proceedings of Conference on Artificial Intelligence Applications, Miami Beach, Florida, IEEE (1991) 240\u2013244"},{"key":"9_CR8","volume-title":"Godel, Escher, Bach: an Eternal Golden Braid","author":"D. R. Hofstadter","year":"1980","unstructured":"Hofstadter D. R., Godel, Escher, Bach: an Eternal Golden Braid, Penguin Books, New York (1980)"},{"key":"9_CR9","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1016\/B978-0-934613-41-5.50041-6","volume-title":"Proceedings of the Fourth International Machine Learning Workshop","author":"S. Kedar-Cabelli","year":"1987","unstructured":"Kedar-Cabelli S. and McCarty L. T., \u201dExplanation-based generalization as resolution theorem proving\u201d, Proceedings of the Fourth International Machine Learning Workshop, Morgan Kaufmann, CA (1987) 383\u2013389"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Lloyd J. W., Foundations of Logic Programming, Springer-Verlag (1987)","DOI":"10.1007\/978-3-642-83189-8"},{"key":"9_CR11","volume-title":"Ph.D. thesis","author":"S. Minton","year":"1988","unstructured":"Minton S., Learning Effective Search Control Knowledge: An Explanation-Based Approach, Ph.D. thesis, Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA (1988)"},{"key":"9_CR12","first-page":"304","volume-title":"Issues in the Design of Operator Composition Systems","author":"S. Minton","year":"1990","unstructured":"Minton S., \u201dIssues in the Design of Operator Composition Systems\u201d, Proceedings of the Seventh International Conference on Machine Learning, Morgan Kaufmann, CA (1990) 304\u2013312"},{"key":"9_CR13","first-page":"47","volume":"1","author":"T. M. Mitchell","year":"1986","unstructured":"Mitchell, T. M., Keller R. M. and Kedar-Cabelli S. T., \u201dExplanation-Based Generalization: A Unifying View\u201d, Machine Learning 1, (1986) 47\u201380","journal-title":"Machine Learning"},{"key":"9_CR14","first-page":"725","volume-title":"The Effect of Rule Use on the Utility of Explanation-Based Learning","author":"R. Mooney","year":"1989","unstructured":"Mooney R., \u201dThe Effect of Rule Use on the Utility of Explanation-Based Learning\u201d, Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Morgan Kaufmann, CA (1989) 725\u2013730"},{"key":"9_CR15","first-page":"177","volume-title":"Proceedings of the International Workshop AII 2","author":"G. Sablon","year":"1989","unstructured":"Sablon G., De Raedt L. and Bruynooghe M., \u201dGeneralizing Multiple Examples in Explanation Based Learning\u201d, Proceedings of the International Workshop AII 2, Reinhardsbrunn, GDR (1989) 177\u2013183"},{"key":"9_CR16","volume-title":"Ph.D. thesis","author":"D. Sahlin","year":"1991","unstructured":"Sahlin D., An Automatic Partial Evaluator for Full Prolog, Ph.D. thesis, Dept. of Tele-communication and Computer Systems, The Royal Institute of Technology, Stockholm (1991)"},{"key":"9_CR17","first-page":"609","volume-title":"Quantitative Evaluation of Explanation-Based Learning as an Optimization Tool for a Large Scale Natural Language System","author":"C. Samuelsson","year":"1992","unstructured":"Samuelsson C. and Rayner M., \u201dQuantitative Evaluation of Explanation-Based Learning as an Optimization Tool for a Large Scale Natural Language System\u201d, Proceedings of the 12th International Joint Conference on Artificial Intelligence, Morgan Kaufmann, CA (1992) 609\u2013615"},{"key":"9_CR18","first-page":"688","volume-title":"Acquiring Recursive Concepts with Explanation-Based Learning","author":"J. W. Shavlik","year":"1989","unstructured":"Shavlik J. W., \u201dAcquiring Recursive Concepts with Explanation-Based Learning\u201d, Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Morgan Kaufmann, CA (1989) 688\u2013693"},{"key":"9_CR19","first-page":"127","volume-title":"Proceedings of the Second International Logic Programming Conference","author":"H. Tamaki","year":"1984","unstructured":"Tamaki H. and Sato T., \u201dUnfold\/Fold Transformations of Logic Programs\u201d, Proceedings of the Second International Logic Programming Conference, Uppsala University, Uppsala, Sweden (1984) 127\u2013138"},{"key":"9_CR20","first-page":"657","volume-title":"Improving Efficiency by Learning Intermediate Concepts","author":"J. Wogulis","year":"1989","unstructured":"Wogulis J. and Langley P., \u201dImproving Efficiency by Learning Intermediate Concepts\u201d, Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Morgan Kaufmann, CA (1989) 657\u2013662"}],"container-title":["Lecture Notes in Computer Science","Machine Learning: ECML-93"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56602-3_132.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:53:37Z","timestamp":1619571217000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56602-3_132"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540566021","9783540475972"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-56602-3_132","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}