{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:19:53Z","timestamp":1725664793263},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635147"},{"type":"electronic","value":"9783540695875"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3540635149_47","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:28:01Z","timestamp":1330298881000},"page":"181-188","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Learning with abduction"],"prefix":"10.1007","author":[{"given":"A. C.","family":"Kakas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Riguzzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,10]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"H. Ade and M. Denecker. RUTH: An ILP theory revision system. In Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems, 1994.","DOI":"10.1007\/3-540-58495-1_34"},{"key":"18_CR2","unstructured":"H. Ad\u00e9 and M. Denecker. AILP: Abductive inductive logic programming. In Proceedings of the 14th International Joint Conference on Artificial Intelligence, 1995."},{"key":"18_CR3","unstructured":"M. Denecker, L. De Raedt, P. Flach, and A. Kakas, editors. Proceedings of ECAI96 Workshop on Abductive and Inductive Reasoning. Catholic University of Leuven, 1996."},{"key":"18_CR4","unstructured":"Y. Dimopoulos, S. D\u017eeroski, and A.C. Kakas. Integrating explanatory and descriptive learning in ILP. In Proceedings of the 15th International Joint Conference on Artificial Intelligence, 1997."},{"key":"18_CR5","unstructured":"Y. Dimopoulos and A. Kakas. Abduction and inductive learning. In L. De Raedt, editor, Advances in Inductive Logic Programming, pages 144\u2013171. IOS Press, 1996."},{"key":"18_CR6","unstructured":"F. Esposito, E. Lamma, D. Malerba, P. Mello,M. Milano, F. Riguzzi, and G. Semeraro. Learning abductive logic programs. In Denecker et al. [3]."},{"key":"18_CR7","unstructured":"N. Inuzuka, M. Kamo, N. Ishii, H. Seki, and H. Itoh. Top-down induction of logic programs from incomplete samples. In S. Muggleton, editor, Proceedings of the 6th International Workshop on Inductive Logic Programming, pages 119\u2013136. Stockholm University, Royal Institute of Technology, 1996."},{"key":"18_CR8","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A.C. Kakas","year":"1993","unstructured":"A.C. Kakas, R.A. Kowalski, and F. Toni. Abductive logic programming. Journal of Logic and Computation, 2:719\u2013770, 1993.","journal-title":"Journal of Logic and Computation"},{"key":"18_CR9","unstructured":"A.C. Kakas and P. Mancarella. On the relation between truth maintenance and abduction. In Proceedings of the 2nd Pacific Rim International Conference on Artificial Intelligence, 1990."},{"key":"18_CR10","unstructured":"A.C. Kakas and F. Riguzzi. Learning with abduction. Technical Report TR-96-15, University of Cyprus, Computer Science Department, 1996."},{"key":"18_CR11","unstructured":"N. Lavra\u010d and S. D\u017eeroski. Inductive Logic Programming: Techniques and Applications. Ellis Horwood, 1994."},{"key":"18_CR12","unstructured":"L. De Raedt and M. Bruynooghe. A theory of clausal discovery. In Proceedings of the 13th International Joint Conference on Artificial Intelligence, 1993."},{"key":"18_CR13","unstructured":"L. De Raedt and L. Dehaspe.Learning from satisfiability.Technical report, Katholieke Universiteit Leuven, 1996."},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"L. De Raedt and W. Van Lear. Inductive constraint logic. In Proceedings of the 5th International Workshop on Algorithmic Learning Theory, 1995.","DOI":"10.1007\/3-540-60454-5_30"},{"key":"18_CR15","unstructured":"C. Thompson and R. Mooney. Inductive learning for abductive diagnosis. In Proceedings of the 12th National Conference on Artificial Intelligence, 1994."},{"key":"18_CR16","unstructured":"S. Wroble and S. D\u017eeroski. The ILP description learning problem: Towards a genearl model-leve definition of data mining in ILP. In Proceedings of the Fachgruppentreffen Maschinelles Lernen, 1995."}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540635149_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:51:15Z","timestamp":1558270275000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540635149_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635147","9783540695875"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3540635149_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"10 July 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}