{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:46:37Z","timestamp":1725558397437},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201441"},{"type":"electronic","value":"9783540399179"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39917-9_21","type":"book-chapter","created":{"date-parts":[[2010,6,28]],"date-time":"2010-06-28T04:02:15Z","timestamp":1277697735000},"page":"311-328","source":"Crossref","is-referenced-by-count":24,"title":["Hybrid Abductive Inductive Learning: A Generalisation of Progol"],"prefix":"10.1007","author":[{"given":"Oliver","family":"Ray","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krysia","family":"Broda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C. Chang","year":"1973","unstructured":"Chang, C., Lee, R.C.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, London (1973)"},{"key":"21_CR2","series-title":"Lecture Notes in Computer Science","first-page":"107","volume-title":"Proceedings of the Work-in- Progress Track, 10th International Conference on Inductive Logic Programming","author":"K. Furukawa","year":"2000","unstructured":"Furukawa, K., Ozaki, T.: On the Completion of Inverse Entailment for Mutual Recursion and its Application to Self Recursion. In: Proceedings of the Work-in- Progress Track, 10th International Conference on Inductive Logic Programming. LNCS, vol.\u00a01866, pp. 107\u2013119. Springer, Heidelberg (2000)"},{"key":"21_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/3-540-44797-0_6","volume-title":"Inductive Logic Programming","author":"K. Inoue","year":"2001","unstructured":"Inoue, K.: Induction, Abduction, and Consequence-Finding. In: Rouveirol, C., Sebag, M. (eds.) ILP 2001. LNCS (LNAI), vol.\u00a02157, pp. 65\u201379. Springer, Heidelberg (2001)"},{"issue":"6","key":"21_CR4","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A.C. Kakas","year":"1992","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive Logic Programming. Journal of Logic and Computation\u00a02(6), 719\u2013770 (1992)","journal-title":"Journal of Logic and Computation"},{"key":"21_CR5","first-page":"650","volume-title":"Proceedings of the 16th International Conference on Very Large Databases","author":"A.C. Kakas","year":"1990","unstructured":"Kakas, A.C., Mancarella, P.: Database Updates through Abduction. In: Proceedings of the 16th International Conference on Very Large Databases, pp. 650\u2013661. Morgan Kaufmann, San Francisco (1990)"},{"key":"21_CR6","first-page":"591","volume-title":"Proceedings of the 17th International Joint Conference on Artificial Intelligence","author":"A. Kakas","year":"2001","unstructured":"Kakas, A., Van Nuffelen, B., Denecker, M.: A-system: Problem solving through abduction. In: Proceedings of the 17th International Joint Conference on Artificial Intelligence, pp. 591\u2013596. Morgan Kaufmann, San Francisco (2001)"},{"key":"21_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/3-540-44960-4_8","volume-title":"Inductive Logic Programming","author":"S.H. Muggleton","year":"2000","unstructured":"Muggleton, S.H., Bryant, C.H.: Theory Completion Using Inverse Entailment. In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol.\u00a01866, pp. 130\u2013146. Springer, Heidelberg (2000)"},{"key":"21_CR8","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19,20","author":"S.H. Muggleton","year":"1994","unstructured":"Muggleton, S.H., De Raedt, L.: Inductive Logic Programming: Theory and Methods. Journal of Logic Programming\u00a019,20, 629\u2013679 (1994)","journal-title":"Journal of Logic Programming"},{"issue":"4","key":"21_CR9","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"S.H. Muggleton","year":"1991","unstructured":"Muggleton, S.H.: Inductive Logic Programming. New Generation Computing\u00a08(4), 295\u2013318 (1991)","journal-title":"New Generation Computing"},{"issue":"3-4","key":"21_CR10","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S.H. Muggleton","year":"1995","unstructured":"Muggleton, S.H.: Inverse Entailment and Progol. New Generation Computing, Special issue on Inductive Logic Programming\u00a013(3-4), 245\u2013286 (1995)","journal-title":"New Generation Computing, Special issue on Inductive Logic Programming"},{"key":"21_CR11","unstructured":"Plotkin, G.D.: Automatic Methods of Inductive Inference. PhD thesis, Edinburgh University (1971)"},{"key":"21_CR12","unstructured":"Ray, O.: HAIL: Hybrid Abductive-Inductive Learning. Technical report 2003\/6, Imperial College, Department of Computing (2003)"},{"issue":"4","key":"21_CR13","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/BF00297245","volume":"4","author":"M.E. Stickel","year":"1988","unstructured":"Stickel, M.E.: A Prolog technology theorem prover: Implementation by an extended Prolog compiler. Journal of Automated Reasoning\u00a04(4), 353\u2013380 (1988)","journal-title":"Journal of Automated Reasoning"},{"key":"21_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/3540635149_58","volume-title":"Inductive Logic Programming","author":"A. Yamamoto","year":"1997","unstructured":"Yamamoto, A.: Which Hypotheses Can Be Found with Inverse Entailment? In: D\u017eeroski, S., Lavra\u010d, N. (eds.) ILP 1997. LNCS, vol.\u00a01297, pp. 296\u2013308. Springer, Heidelberg (1997)"},{"issue":"1","key":"21_CR15","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/BF03037584","volume":"17","author":"A. Yamamoto","year":"1999","unstructured":"Yamamoto, A.: An Inference Method for the Complete Inverse of Relative Subsumption. New Generation Computing\u00a017(1), 99\u2013117 (1999)","journal-title":"New Generation Computing"},{"key":"21_CR16","series-title":"Applied Logic Series","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/978-94-017-0606-3_17","volume-title":"Abduction and Induction: Essays on their relation and integration","author":"A. Yamamoto","year":"2000","unstructured":"Yamamoto, A.: Using Abduction for Induction based on Bottom Generalisation. In: Abduction and Induction: Essays on their relation and integration. Applied Logic Series, vol.\u00a018, pp. 267\u2013280. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"21_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/3-540-40992-0_12","volume-title":"Proceedings of the 11th International Conference on Algorithmic Learning Theory","author":"A. Yamamoto","year":"2000","unstructured":"Yamamoto, A., Fronh\u00f6fer, B.: Hypothesis Finding via Residue Hypotheses with the Resolution Principle. In: Proceedings of the 11th International Conference on Algorithmic Learning Theory. LNCS, vol.\u00a01968, pp. 156\u2013165. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39917-9_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T03:46:48Z","timestamp":1552621608000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39917-9_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201441","9783540399179"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39917-9_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}