{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:45Z","timestamp":1725664905424},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635765"},{"type":"electronic","value":"9783540696018"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63576-9_107","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:30:49Z","timestamp":1330299049000},"page":"183-194","source":"Crossref","is-referenced-by-count":4,"title":["Introducing abduction into (Extensional) inductive logic programming systems"],"prefix":"10.1007","author":[{"given":"E.","family":"Lamma","sequence":"first","affiliation":[]},{"given":"P.","family":"Mello","sequence":"additional","affiliation":[]},{"given":"M.","family":"Milano","sequence":"additional","affiliation":[]},{"given":"F.","family":"Riguzzil","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"H. Ad\u00e9 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":"17_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":"17_CR3","doi-asserted-by":"crossref","unstructured":"F. Bergadano and D. Gunetti. Inductive Logic Programming. MIT press, 1996.","DOI":"10.7551\/mitpress\/3731.001.0001"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"A. Brogi, E. Lamma, P. Mancarella, and P. Mello. An Abductive Framework for Extended Logic Programming. In Proceedings 3rd Int. Workshop on Logic Programming and Non Monotonic Reasoning, 1995.","DOI":"10.1007\/3-540-59487-6_24"},{"key":"17_CR5","unstructured":"Y. Dimopoulos and A. Kakas. Abduction and learning. In Advances in Inductive Logic Programming. IOS Press, 1996."},{"key":"17_CR6","unstructured":"K. Eshghi and R.A. Kowalski. Abduction compared with Negation by Failure. In Proceedings of ICLP89, 1989."},{"key":"17_CR7","unstructured":"F. Esposito, E. Lamma, D. Malerba, P. Mello, M. Milano, F. Riguzzi, and G. Semeraro. Learning abductive logic programs. In M. Denecker, L. De Raedt, P. Flach, and A. Kakas, editors, Proceedings of the ECAI96 Workshop on Abductive and Inductive Reasoning. Catholic University of Leuven, 1996."},{"key":"17_CR8","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":"17_CR9","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":"17_CR10","unstructured":"A.C. Kalcas 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":"17_CR11","unstructured":"A.C. Kakas and F. Riguzzi. Learning with abduction. Technical Report TR-96-15, University of Cyprus, Computer Science Department, 1996."},{"key":"17_CR12","unstructured":"R. Michalski, J.G. Carbonell, and T.M. Mitchell (eds). Machine Learning-An Artificial Intelligence Approach. Springer Verlag, 1984."},{"key":"17_CR13","unstructured":"R. Michalski, J.G. Carbonell, and T.M. Mitchell (eds). Machine Learning-An Artificial Intelligence Approach Vol. II. Morgan Kaufmann, 1986."},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"D.L. Poole. A logical framework for default reasoning. Artificial Intelligence, 32, 1988.","DOI":"10.1016\/0004-3702(88)90077-X"},{"key":"17_CR15","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF03037228","volume":"13","author":"J. R. Quinlan","year":"1995","unstructured":"J. R. Quinlan and R.M. Cameron-Jones. Induction of Logic Programs: FOIL and Related Systems. New Generation Computing, 13:287\u2013312, 1995.","journal-title":"New Generation Computing"}],"container-title":["Lecture Notes in Computer Science","AI*IA 97: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63576-9_107.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T11:51:50Z","timestamp":1640951510000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63576-9_107"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635765","9783540696018"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-63576-9_107","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}