{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:35Z","timestamp":1725663695423},"publisher-location":"Berlin, Heidelberg","reference-count":6,"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_147","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:19:24Z","timestamp":1330255164000},"page":"336-341","source":"Crossref","is-referenced-by-count":0,"title":["An iterative and bottom-up procedure for proving-by-example"],"prefix":"10.1007","author":[{"given":"Masami","family":"Hagiya","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"24_CR1","first-page":"407","volume":"89","author":"M. Bruynooghe","year":"1989","unstructured":"Bruynooghe,M., De Raedt,L., De Schreye,D.: Explanation based program transformation, Proceedings of IJCAI 89, 1989, pp.407\u2013412.","journal-title":"Proceedings of IJCAI"},{"issue":"No.2","key":"24_CR2","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, Vol.21, No.2 (1989), pp.163\u2013221.","journal-title":"ACM Computing Surveys"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Hagiya,M.: Programming by example and proving by example using higher-order unification, 10th International Conference on Automated Deduction (Stickel,M., ed.), Lecture Notes in Artificial Intelligence, Vol.449 (1990), pp.588\u2013602.","DOI":"10.1007\/3-540-52885-7_116"},{"key":"24_CR4","unstructured":"Hagiya,M.: From programming-by-example to proving-by-example, Theoretical Aspects of Computer Software (Ito, T., Meyer,A.R., eds.), Lecture Notes in Computer Science, Vol.526 (1991), pp.387\u2013419."},{"key":"24_CR5","first-page":"236","volume":"87","author":"J.W. Shavlik","year":"1987","unstructured":"Shavlik,J.W., DeJong,G.F.: An explanation-based approach to generalizing number, Proceedings of IJCAI 87, 1987, pp.236\u2013238.","journal-title":"Proceedings of IJCAI"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Shavlik,J.W., DeJong,G.F.: Acquiring general iterative concepts by reformulating explanations of observed examples, Machine Learning Volume III (Kodratoff,Y., Michalski,R., eds.), 1990, pp.302\u2013350.","DOI":"10.1016\/B978-0-08-051055-2.50018-3"}],"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_147.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:04:48Z","timestamp":1605647088000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56602-3_147"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540566021","9783540475972"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-56602-3_147","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}