{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:49Z","timestamp":1725664309144},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540585206"},{"type":"electronic","value":"9783540490302"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58520-6_61","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:34:04Z","timestamp":1330274044000},"page":"149-160","source":"Crossref","is-referenced-by-count":0,"title":["Explanation-based reuse of prolog programs"],"prefix":"10.1007","author":[{"given":"Yasuyuki","family":"Koga","sequence":"first","affiliation":[]},{"given":"Eiju","family":"Hirowatari","sequence":"additional","affiliation":[]},{"given":"Setsuo","family":"Arikawa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Ali, K. M.: Augmenting domain theory for explanation-based generalization. In Proceedings of the Sixth International Workshop on Machine Learning (1989) 40\u201342","DOI":"10.1016\/B978-1-55860-036-2.50016-3"},{"key":"16_CR2","unstructured":"Bostr\u014dm, H.: Improving example-guided unfolding. In Proceedings of European Conference on Machine Learning (1993) 124\u2013135"},{"key":"16_CR3","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1145\/66443.66445","volume":"21","author":"T. Ellman","year":"1989","unstructured":"Ellman, T.: Explanation-based learning: A survey of programs and perspectives. ACM Computing Surveys 21 (1989) 163\u2013221","journal-title":"ACM Computing Surveys"},{"key":"16_CR4","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0004-3702(93)90080-U","volume":"62","author":"O. Etzioni","year":"1993","unstructured":"Etzioni, O.: Acquiring search-control knowledge via static analysis. Artificial Intelligence 62 (1993) 255\u2013301","journal-title":"Artificial Intelligence"},{"key":"16_CR5","doi-asserted-by":"crossref","first-page":"13","DOI":"10.5109\/3063","volume":"26","author":"E. Hirowatari","year":"1994","unstructured":"Hirowatari, E., Arikawa, S.: Incorporating explanation-based generalization with analogical reasoning. Bulletin of Informatics and Cybernetics 26 (1994) 13\u201333","journal-title":"Bulletin of Informatics and Cybernetics"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Kedar-Cabelli, S.T., McCarty, L.T.: Explanation-based generalization as resolution theorem proving. In Proceedings of the Fourth International Workshop on Machine Learning (1987) 383\u2013389","DOI":"10.1016\/B978-0-934613-41-5.50041-6"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W.: Foundation of logic programming (second edition). Springer-Verlag (1987)","DOI":"10.1007\/978-3-642-83189-8"},{"key":"16_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(93)90059-K","volume":"64","author":"S. Mahadevan","year":"1993","unstructured":"Mahadevan, S., Mitchell, T.M., Mostow, J., Steinberg, L., Tadepalli, P.V.: An apprentice-based approach to knowledge acquisition. Artificial Intelligence 64 (1993) 1\u201352","journal-title":"Artificial Intelligence"},{"key":"16_CR9","first-page":"47","volume":"1","author":"T.M. Mitchell","year":"1986","unstructured":"Mitchell, T.M., Keller, R. M., Kedar-Cabelli, S. T.: Explanation-based generalization: a unifying view. Machine Learning 1 (1986) 47\u201380","journal-title":"Machine Learning"},{"key":"16_CR10","first-page":"1018","volume":"7","author":"M. Numao","year":"1992","unstructured":"Numao, M., Maruoka, T., Shimura, M.: Speed-up learning by extracting partial structures of explanations. Journal of Japanese Society for Artificial Intelligence (in Japanese) 7 (1992) 1018\u20131026","journal-title":"Journal of Japanese Society for Artificial Intelligence (in Japanese)"},{"key":"16_CR11","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1023\/A:1022630301359","volume":"14","author":"J.-F. Puget","year":"1994","unstructured":"Puget, J.-F.: Explicit representation of concept negation. Machine Learning 14 (1994) 233\u2013247","journal-title":"Machine Learning"},{"key":"16_CR12","unstructured":"Sterling, L., Shapiro, E.: The art of Prolog. The MIT Press (1986)."},{"key":"16_CR13","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/0004-3702(88)90088-4","volume":"36","author":"F. Harmelen van","year":"1988","unstructured":"van Harmelen, F., Bundy, A.: Explanation-based generalization=partial evaluation. Artificial Intelligence 36 (1988) 401\u2013412","journal-title":"Artificial Intelligence"},{"key":"16_CR14","first-page":"309","volume":"7","author":"S. Yamada","year":"1992","unstructured":"Yamada, S.: Computing the utility of EBL in a logic programming environment. Journal of Japanese Society for Artificial Intelligence (in Japanese) 7 (1992) 309\u2013319","journal-title":"Journal of Japanese Society for Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Algorithmic Learning Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58520-6_61.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:18:41Z","timestamp":1619572721000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58520-6_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540585206","9783540490302"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-58520-6_61","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}