{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:40:28Z","timestamp":1742600428846,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604549"},{"type":"electronic","value":"9783540474708"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60454-5_45","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:30:50Z","timestamp":1330281050000},"page":"266-281","source":"Crossref","is-referenced-by-count":1,"title":["Analogical logic program synthesis algorithm that can refute inappropriate similarities"],"prefix":"10.1007","author":[{"given":"Ken","family":"Sadohara","sequence":"first","affiliation":[]},{"given":"Makoto","family":"Haraguchi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"21_CR1","unstructured":"Bipin Indurkhya. On the role of interpretive analogy in learning. In Proc. 1st Internat. Workshop on Algorithmic Learning Theory, pages 174\u2013189, 1990."},{"issue":"3","key":"21_CR2","first-page":"206","volume":"11","author":"H. Ishizaka","year":"1988","unstructured":"Hiroki Ishizaka. Model inference incorporating generalization. Journal of Information Processing, 11(3):206\u2013211, 1988.","journal-title":"Journal of Information Processing"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Stephen Muggleton. Inductive logic programming. In Inductive Logic Programming, pages 3\u201327. ACADEMIC PRESS, 1992.","DOI":"10.1145\/180139.178095"},{"key":"21_CR5","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0304-3975(95)91135-D","volume":"137","author":"Y. Mukouchi","year":"1995","unstructured":"Yasuhito Mukouchi and Setsuo Arikawa. Towards a mathematical theory of machine discovery from facts. Theoretical Computer Science, 137:53\u201384, 1995.","journal-title":"Theoretical Computer Science"},{"key":"21_CR6","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0004-3702(81)90015-1","volume":"16","author":"D. A. Plaisted","year":"1981","unstructured":"David A. Plaisted. Theorem proving with abstraction. Artificial Intelligence, 16:47\u2013108, 1981.","journal-title":"Artificial Intelligence"},{"key":"21_CR7","unstructured":"G.D. Plotkin. A note on inductive generalization. In Machine Intelligence 5, pages 153\u2013163. Edinburgh University Press, 1970."},{"key":"21_CR8","first-page":"107","volume":"8","author":"L. Raedt De","year":"1992","unstructured":"Luc De Raedt and Maurice Bruynooghe. Interactive concept-learning and constructive induction by analogy. Machine Learning, 8:107\u2013150, 1992.","journal-title":"Machine Learning"},{"key":"21_CR9","unstructured":"J.C. Reynolds. Transformational systems and the algebraic structure of atomic formulas. In Machine Intelligence 5, pages 135\u2013153. Edinburgh University Press, 1970."},{"key":"21_CR10","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the Association for Computing Machinery, 12:13\u201341, Mach. 1965.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"21_CR11","unstructured":"C\u00e9line Rouveirol. Extension of inversion of resolution applied to theory completion. In Inductive Logic Programming, pages 64\u201392. ACADEMIC PRESS, 1992."},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Ken Sadohara and Makoto Haraguchi. Analogical logic program synthesis from examples. In Proc. 8th European Conference on Machine Learning, Lecture Notes in Artificial Intelligence Vol. 914, pages 232\u2013244. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59286-5_61"},{"key":"21_CR13","unstructured":"Seiichiro Sakurai and Makoto Haraguchi. Towards learning by abstraction. In Proc. 2nd Internat. Workshop on Algorithmic Learning Theory, pages 288\u2013298, 1991."},{"key":"21_CR14","unstructured":"Ehud Y. Shapiro. Inductive inference of theories from facts. Technical Report 192, Yale University Computer Science Dept., 1981."},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Birgit Tausend and Siegfried Bell. Analogical reasoning for logic programming. In Inductive Logic Programming, pages 397\u2013408. ACADEMIC PRESS, 1992.","DOI":"10.1007\/BFb0017032"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Patrick R.J. van der Laag and Shan-Hwei Nienhuys-Cheng. Subsumption and refinement in model inference. In Proc. 6th European Conference on Machine Learning, pages 95\u2013114. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56602-3_130"},{"key":"21_CR17","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0743-1066(92)90022-U","volume":"13","author":"A. Yamamoto","year":"1992","unstructured":"Akihiro Yamamoto. Procedural semantics and negative information of elementary formal system. J. Logic Programming, 13:89\u201397, 1992.","journal-title":"J. Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Algorithmic Learning Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60454-5_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:03:54Z","timestamp":1742598234000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60454-5_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604549","9783540474708"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-60454-5_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}