{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:13:37Z","timestamp":1773656017084,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642642494","type":"print"},{"value":"9783642600852","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-642-60085-2_15","type":"book-chapter","created":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T07:03:26Z","timestamp":1315465406000},"page":"347-354","source":"Crossref","is-referenced-by-count":3,"title":["From Deduction to Induction: Logical Perspective"],"prefix":"10.1007","author":[{"given":"Koichi","family":"Furukawa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Furukawa, K., Murakami, T., Ueno, K., Ozaki, T., Shimaze, K. On a Sufficient Condition for the Existence of Most Specific Hypothesis in Progol, Proc. of ILP-97, Lecture Notes in Artificial Intelligence 1297, Springer-Verlag, 157 \u2013164, 1997.","DOI":"10.1007\/3540635149_44"},{"key":"15_CR2","volume-title":"On the Completion of the Most Specific Hypothesis in Inverse Entailment for Mutual Recursion and Abductive ILP Setting, Proceedings of 32nd SIG-FAI","author":"K Furukawa","year":"1998","unstructured":"Furukawa, K. On the Completion of the Most Specific Hypothesis in Inverse Entailment for Mutual Recursion and Abductive ILP Setting, Proceedings of 32nd SIG-FAI, JSAI, March 1998 (in Japanese)."},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Moyle, S., Muggleton, S. Learning Programs in the Event Calculus, Proc. of ILP-97, Lecture Notes in Artificial Intelligence 1297, Springer-Verlag, 205 \u2013212, 1997.","DOI":"10.1007\/3540635149_49"},{"key":"15_CR4","unstructured":"Muggleton, S. Inverting Implication, Proc. of ILP92, 19 \u201339, ICOT Technical Memorandum: TM-1182, 1992."},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S Muggleton","year":"1995","unstructured":"Muggleton, S. Inverse Entailment and Progol, New Generation Computing, Vol. 13, 245\u2013286, 1995.","journal-title":"New Generation Computing"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Muggleton, S. Completing Inverse Entailments, Proc. of ILP98, Lecture Notes in Artificial Intelligence 1446, Springer-Verlag, pp. 245\u2013249, 1998.","DOI":"10.1007\/BFb0027328"},{"key":"15_CR7","volume-title":"Realization of Abduction by Inverse Entailment and its Equivalence to Partial Deduction, Proceedings of 32nd SIG- FAI","author":"T Murakami","year":"1998","unstructured":"Murakami, T., Furukawa, K., Ozaki, T. Realization of Abduction by Inverse Entailment and its Equivalence to Partial Deduction, Proceedings of 32nd SIG- FAI, JSAI, March 1998."},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Ozaki, T., Furukawa, K., Murakami, T., Ueno, K. Realizing Progol by Forward Reasoning, Proc. of ILP-97, Lecture Notes in Artificial Intelligence 1297, Springer-Verlag, 227\u2013234, 1997.","DOI":"10.1007\/3540635149_51"},{"key":"15_CR9","unstructured":"Plotkin, G.D. Automatic Method of Inductive Inference, PhD thesis, Edinburgh University, 1971."},{"key":"15_CR10","unstructured":"Yamamoto, A. Improving Theories for Inductive Logic Programming Systems with Ground Reduced Programs. Technical Report, Forschungsbericht AIDA- 96\u201319 FG Intellektik FB Informatik TH Darmstadt, 1996."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Yamamoto, A. Which Hypotheses Can Be Found with Inverse Entailment? Proc. of ILP-97, Lecture Notes in Artificial Intelligence 1297, Springer-Verlag, 296\u2013308, 1997.","DOI":"10.1007\/3540635149_58"}],"container-title":["Artificial Intelligence","The Logic Programming Paradigm"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-60085-2_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T07:20:58Z","timestamp":1620285658000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-60085-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783642642494","9783642600852"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-60085-2_15","relation":{},"ISSN":["1431-0066"],"issn-type":[{"value":"1431-0066","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}