{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:11Z","timestamp":1725663611873},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540194262"},{"type":"electronic","value":"9783540392675"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19426-6_5","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:10:37Z","timestamp":1330182637000},"page":"69-79","source":"Crossref","is-referenced-by-count":0,"title":["Analogical program synthesis from program components"],"prefix":"10.1007","author":[{"given":"Takeshi","family":"Imanaka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kuniaki","family":"Uehara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun'ichi","family":"Toyoda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"5_CR1","unstructured":"Carbonell JG (1983) Learning by analogy: Formulating and generating plans from past experience. In: Ryszard S et al.(eds.), Machine Learning, Morgan Kaufmann, pp.137\u2013161"},{"key":"5_CR2","unstructured":"Elliot S (1985) Learning to Program=Learning to Construct Mechanisms and Explanations. Communications of ACM, 29-9, pp.850\u2013858"},{"key":"5_CR3","first-page":"56","volume-title":"Logic Programming '85","author":"M Haraguchi","year":"1985","unstructured":"Haraguchi M, Arikawa S (1985) Analogical Reasoning using Transformations of rules. In: Wada E (ed) Logic Programming '85. Springer, Berlin Heidelberg New York, pp.56\u201365"},{"key":"5_CR4","unstructured":"Uehara K, Fujii K, Toyoda J (1986) A Technique for Prolog Program Synthesis from Natural Language Specification. Computer software, 3\u20134, pp.55\u201364"},{"key":"5_CR5","unstructured":"Winston PH, Binford TO, Katz B, Lowry M (1983) Learning Physical Descriptions from Functional Definitions, Examples, and Precedents. Proc. of AAAI-83, pp.433\u2013439"}],"container-title":["Lecture Notes in Computer Science","Logic Programming '87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19426-6_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T17:21:03Z","timestamp":1619544063000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19426-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540194262","9783540392675"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-19426-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}