{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T19:10:10Z","timestamp":1736536210847,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540649588"},{"type":"electronic","value":"9783540498728"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0054792","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T05:52:33Z","timestamp":1153979553000},"page":"102-122","source":"Crossref","is-referenced-by-count":0,"title":["A system for abductive learning of logic programs"],"prefix":"10.1007","author":[{"given":"Evelina","family":"Lamma","sequence":"first","affiliation":[]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[]},{"given":"Michela","family":"Milano","sequence":"additional","affiliation":[]},{"given":"Fabrizio","family":"Riguzzi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,26]]},"reference":[{"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.","key":"5_CR1","DOI":"10.1007\/3-540-58495-1_34"},{"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":"5_CR2"},{"key":"5_CR3","volume-title":"volume 1111 of LNAI","author":"J. J. Alferes","year":"1996","unstructured":"J. J. Alferes and L. M. Pereira. Reasoning with Logic Programming, volume 1111 of LNAI. SV, Heidelberg, 1996."},{"unstructured":"M. Bain and S. Muggleton. Non-monotonic learning. In S. Muggleton, editor, Inductive Logic Programming, chapter 7, pages 145\u2013161. Academic Press, 1992.","key":"5_CR4"},{"unstructured":"M. Bain and S. Muggleton. Non-monotonic learning. In S. Muggleton, editor, Inductive Logic Programming, pages 145\u2013161. Academic Press, 1992.","key":"5_CR5"},{"doi-asserted-by":"crossref","unstructured":"F. Bergadano and D. Gunetti. Learning Clauses by Tracing Derivations. In Proceedings 4th Int. Workshop on Inductive Logic Programming, 1994.","key":"5_CR6","DOI":"10.7551\/mitpress\/3731.001.0001"},{"doi-asserted-by":"crossref","unstructured":"F. Bergadano and D. Gunetti. Inductive Logic Programming. MIT press, 1995.","key":"5_CR7","DOI":"10.7551\/mitpress\/3731.001.0001"},{"doi-asserted-by":"crossref","unstructured":"F. Bergadano, D. Gunetti, M. Nicosia, and G. Ruffo. Learning logic programs with negation as failure. In L. De Raedt, editor, Advances in Inductive Logic Programming, pages 107\u2013123. IOS Press, 1996.","key":"5_CR8","DOI":"10.7551\/mitpress\/3731.001.0001"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)80755-4","volume":"184","author":"A. Brogi","year":"1997","unstructured":"A. Brogi, E. Lamma, P. Mancarella, and P. Mello. A unifying view for logic programming with non-monotonic reasoning. Theoretical Computer Science, 184:1\u201359, 1997.","journal-title":"Theoretical Computer Science"},{"unstructured":"L. De Raedt and M. Bruynooghe. On negation and three-valued logic in interactive concept learning. In Proceedings of the 9th European Conference on Artificial Intelligence, 1990.","key":"5_CR10"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/0004-3702(92)90075-9","volume":"53","author":"L. Raedt De","year":"1992","unstructured":"L. De Raedt and M. Bruynooghe. Belief updating from integrity constraints and queries. Artificial Intelligence, 53:291\u2013307, 1992.","journal-title":"Artificial Intelligence"},{"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":"5_CR12"},{"unstructured":"L. De Raedt, N. Lavra\u010d, and S. D\u017deroski. Multiple predicate learning. In S. Muggleton, editor, Proceedings of the 3rd International Workshop on Inductive Logic Programming, pages 221\u2013240. J. Stefan Institute, 1993.","key":"5_CR13"},{"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.","key":"5_CR14","DOI":"10.1007\/3-540-60454-5_30"},{"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":"5_CR15"},{"doi-asserted-by":"crossref","unstructured":"Y. Dimopoulos and A. Kakas. Learning Non-monotonic Logic Programs: Learning Exceptions. In Proceedings of the 8th European Conference on Machine Learning, 1995.","key":"5_CR16","DOI":"10.1007\/3-540-59286-5_53"},{"unstructured":"Y. Dimopoulos and A. Kakas. Abduction and inductive learning. In Advances in Inductive Logic Programming. IOS Press, 1996.","key":"5_CR17"},{"unstructured":"P.M. Dung. Negation as hypothesis: An abductive foundation for logic programming. In K. Furukawa, editor, Proceedings of the 8th International Conference on Logic Programming, pages 3\u201317. MIT Press, 1991.","key":"5_CR18"},{"unstructured":"S. D\u017deroski. Handling noise in inductive logic programming. Master's thesis, Faculty of Electrical Engineering and Computer Science, University of Ljubljana, 1991.","key":"5_CR19"},{"unstructured":"K. Eshghi and R.A. Kowalski. Abduction compared with Negation by Failure. In Proceedings of the 6th International Conference on Logic Programming, 1989.","key":"5_CR20"},{"unstructured":"F. Esposito, E. Lamma, D. Malerba, P. Mello, M. Milano, F. Riguzzi, and G. Semeraro. Learning abductive logic programs. In Denecker et al. [15].","key":"5_CR21"},{"unstructured":"C. Hartshorne and P. Weiss, editors. Collected Papers of Charles Sanders Peirce, 1931\u20131958, volume 2. Harvards University Press, 1965.","key":"5_CR22"},{"key":"5_CR23","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"},{"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":"5_CR24"},{"unstructured":"A.C. Kakas, P. Mancarella, and P.M. Dung. The acceptability semantics for logic programs. In Proceedings of the 11th International Conference on Logic Programming, 1994.","key":"5_CR25"},{"unstructured":"A.C. Kakas and F. Riguzzi. Learning with abduction. Technical Report TR-96-15, University of Cyprus, Computer Science Department, 1996.","key":"5_CR26"},{"doi-asserted-by":"crossref","unstructured":"A.C. Kakas and F. Riguzzi. Learning with abduction. In Proceedings of the 7th International Workshop on Inductive Logic Programming, 1997.","key":"5_CR27","DOI":"10.1007\/3540635149_47"},{"unstructured":"E. Lamma, P. Mello, M. Milano, and F. Riguzzi. Integrating induction and abduction in logic programming. To appear on Information Sciences.","key":"5_CR28"},{"unstructured":"E. Lamma, P. Mello, M. Milano, and F. Riguzzi. Integrating Induction and Abduction in Logic Programming. In P. P. Wang, editor, Proceedings of the Third Joint Conference on Information Sciences, volume 2, pages 203\u2013206, 1997.","key":"5_CR29"},{"doi-asserted-by":"crossref","unstructured":"E. Lamma, P. Mello, M. Milano, and F. Riguzzi. Introducing Abduction into (Extensional) Inductive Logic Programming Systems. In M. Lenzerini, editor, AI * IA97, Advances in Artificial Intelligence, Proceedings of the 5th Congress of the Italian Association for Artificial Intelligence, number 1321 in LNAI. Springer-Verlag, 1997.","key":"5_CR30","DOI":"10.1007\/3-540-63576-9_107"},{"unstructured":"N. Lavra\u010d and S. D\u017deroski. Inductive Logic Programming: Techniques and Applications. Ellis Horwood, 1994.","key":"5_CR31"},{"doi-asserted-by":"crossref","unstructured":"L. Martin and C. Vrain. A three-valued framework for the induction of general logic programs. In Advances in Inductive Logic Programming. IOS Press, 1996.","key":"5_CR32","DOI":"10.1007\/3-540-61863-5_44"},{"unstructured":"R. Michalski, J.G. Carbonell, and T.M. Mitchell (eds). Machine Learning \u2014 An Artificial Intelligence Approach. Springer-Verlag, 1984.","key":"5_CR33"},{"issue":"3\u20134","key":"5_CR34","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S. Muggleton","year":"1995","unstructured":"S. Muggleton. Inverse entailment and Progol. New Generation Computing, Special issue on Inductive Logic Programming, 13(3\u20134):245\u2013286, 1995.","journal-title":"New Generation Computing, Special issue on Inductive Logic Programming"},{"doi-asserted-by":"crossref","unstructured":"L. M. Pereira, C. V. Dam\u00e1sio, and J. J. Alferes. Diagnosis and debugging as contradiction removal. In L. M. Pereira and A. Nerode, editors, Proceedings of the 2nd International Workshop on Logic Programming and Non-monotonic Reasoning, pages 316\u2013330. MIT Press, 1993.","key":"5_CR35","DOI":"10.7551\/mitpress\/4307.001.0001"},{"doi-asserted-by":"crossref","unstructured":"D.L. Poole. A logical framework for default reasoning. Artificial Intelligence, 32, 1988.","key":"5_CR36","DOI":"10.1016\/0004-3702(88)90077-X"},{"key":"5_CR37","doi-asserted-by":"publisher","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"},{"doi-asserted-by":"crossref","unstructured":"E. Shapiro. Algorithmic Program Debugging. MIT Press, 1983.","key":"5_CR38","DOI":"10.7551\/mitpress\/1192.001.0001"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Knowledge Representation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0054792","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T03:08:42Z","timestamp":1736478522000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0054792"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649588","9783540498728"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/bfb0054792","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}