{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:15Z","timestamp":1761611175039},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,3,23]],"date-time":"2006-03-23T00:00:00Z","timestamp":1143072000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Knowl Inf Syst"],"published-print":{"date-parts":[[2007,2]]},"DOI":"10.1007\/s10115-006-0019-5","type":"journal-article","created":{"date-parts":[[2006,3,22]],"date-time":"2006-03-22T16:43:07Z","timestamp":1143045787000},"page":"217-242","source":"Crossref","is-referenced-by-count":3,"title":["Inference of abduction theories for handling incompleteness in first-order learning"],"prefix":"10.1007","volume":"11","author":[{"given":"F.","family":"Esposito","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Ferilli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T. M. A.","family":"Basile","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Di Mauro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,3,23]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Blockeel H, De Raedt L (1996) Inductive database design. In: Proceedings of the 10th international symposium on methodologies for intelligent systems (ISMIS96), vol 1079 of Lecture Notes in Artificial Intelligence, Springer-Verlag, pp 376\u2013385","DOI":"10.1007\/3-540-61286-6_162"},{"key":"19_CR2","unstructured":"Cestnik B, Kononenko I, Bratko I (1987) Assistant 86: A knowledge-elicitation tool for sophisticated users. In: Proceedings of EWSL, Sigma Press. Bled, Yugoslavia, pp 31\u201345"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Clark K (1978) Negation as failure. In: Gallaire H, Minker J (eds) Logic and databases, Plenum Press, New York, pp 293\u2013322","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Clark P, Boswell R (1991) Rule induction with CN2: Some recent improvements. In: Proceedings of the fifth European working session on learning, Springer, Berlin Heidelberg New York, pp 151\u2013163","DOI":"10.1007\/BFb0017011"},{"key":"19_CR5","volume-title":"The Handbook of artificial intelligence. vol 3","year":"1981","unstructured":"Cohen P, Feigenbaum E (eds) (1981) The Handbook of artificial intelligence. vol 3. Morgan Kaufmann, San Mateo, CA"},{"key":"19_CR6","volume-title":"Interactive theory revision\u2014an inductive logic programming approach","author":"L De Raedt","year":"1992","unstructured":"De Raedt L (1992) Interactive theory revision\u2014an inductive logic programming approach. Academic Press, New York"},{"key":"19_CR7","unstructured":"Dimopoulos Y, Kakas A (1996) Abduction and learning. In: Raedt LD (ed) Advances in inductive logic programming, IOS Press, pp 144\u2013171"},{"key":"19_CR8","unstructured":"Eshghi K, Kowalski R (1989) Abduction compared to negation by failure. In: Levi G, Martelli M (eds) Proceedings of the 6th international conference on logic programming, The MIT Press, Cambridge, MA, pp 234\u2013255"},{"issue":"8\u20139","key":"19_CR9","doi-asserted-by":"crossref","first-page":"859","DOI":"10.1080\/713827255","volume":"17","author":"F Esposito","year":"2003","unstructured":"Esposito F, Ferilli S, Fanizzi N, Basile T, Di Mauro N (2003) Incremental multistrategy learning for document processing. Appl Artif Intell: An Int J 17(8\u20139):859\u2013883","journal-title":"Appl Artif Intell: An Int J"},{"key":"19_CR10","unstructured":"Esposito F, Lamma E, Malerba D, Mello P, Milano M, Riguzzi F, Semeraro G (1996) Learning abductive logic programs. In: Proceedings of the ECAI96 workshop on abductive and inductive reasoning, Budapest, Hungary, pp 23\u201330"},{"issue":"2\u20133","key":"19_CR11","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1023\/A:1008735902918","volume":"14","author":"F Esposito","year":"2000a","unstructured":"Esposito F, Malerba D, Lisi F (2000a) Machine learning for intelligent processing of printed documents. J Intell Inf Syst 14(2\u20133):175\u2013198","journal-title":"J Intell Inf Syst"},{"issue":"1\u20132","key":"19_CR12","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1023\/A:1007638124237","volume":"38","author":"F Esposito","year":"2000b","unstructured":"Esposito F, Semeraro G, Fanizzi N, Ferilli S (2000b) Multistrategy theory revision: induction and abduction in INTHELEX. Machine Learn 38(1\u20132):133\u2013156","journal-title":"Machine Learn"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Ferilli S, Esposito F, Basile T, Di Mauro N (2004) Automatic induction of first-order logic descriptors type domains from observations. In: Camacho R, King RD, Srinivasan A (eds) ILP, vol 3194 of LNCS, Springer, Berlin Heidelberg New York, pp 116\u2013131","DOI":"10.1007\/978-3-540-30109-7_12"},{"issue":"1\u20132","key":"19_CR14","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1023\/A:1007656703224","volume":"42","author":"P Flach","year":"2001","unstructured":"Flach P, Lachiche N (2001) Confirmation-guided discovery of first-order rules with Tertius. Machine Learn 42(1\u20132):61\u201395","journal-title":"Machine Learn"},{"issue":"4","key":"19_CR15","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/s101150200014","volume":"4","author":"R Hewett","year":"2002","unstructured":"Hewett R, Leuchner J (2002) Knowledge discovery with second-order relations. Knowledge Inf Syst 4(4):413\u2013439","journal-title":"Knowledge Inf Syst"},{"issue":"4","key":"19_CR16","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/s10115-003-0086-9","volume":"5","author":"A Hinneburg","year":"2003","unstructured":"Hinneburg A, Keim D (2003) A general approach to clustering in large databases with noise. Knowledge Inf Syst 5(4):387\u2013415","journal-title":"Knowledge Inf Syst"},{"key":"19_CR17","unstructured":"Kakas A, Mancarella P (1990) On the relation of truth maintenance and abduction. In: Proceedings of the 1st pacific rim international conference on artificial intelligence, Nagoya, Japan"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Kakas A, Riguzzi F (1999) Abductive concept learning. New Gen Comput","DOI":"10.1007\/BF03037531"},{"key":"19_CR19","unstructured":"Kakas A, Kowalski R, Toni F (1993) Abductive logic programming. J Logic Comput 718\u2013770"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Kakas C, Riguzzi F (2000) Learning with abduction. New Gen Comput 18(3):243\u2013284","DOI":"10.1007\/BF03037531"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Lamma E, Mello P, Milano M, Riguzzi F, Esposito F, Ferilli S, Semeraro G (2000) Cooperation of abduction and induction in logic programming. In: Kakas A, Flach P (eds) Abductive and inductive reasoning: essays on their relation and integration, Kluwer, Dordrecht","DOI":"10.1007\/978-94-017-0606-3_15"},{"key":"19_CR22","volume-title":"Inductive logic programming: techniques and applications","author":"Lavra\u010dN","year":"1994","unstructured":"Lavra\u010dN, D\u017eeroski S (1994) Inductive logic programming: techniques and applications. Ellis Horwood, New York"},{"key":"19_CR23","first-page":"3","volume-title":"Machine learning. A multistrategy approach, vol IV","author":"R Michalski","year":"1994","unstructured":"Michalski R (1994) Inferential theory of learning. developing foundations for multistrategy learning. In: Michalski R, Tecuci G (eds) Machine learning. A multistrategy approach, vol IV. Morgan Kaufmann, San Mateo, CA, pp 3\u201361"},{"key":"19_CR24","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D Poole","year":"1988","unstructured":"Poole D (1988) A logical framework for default reasoning. Artif Intell 36:27\u201347","journal-title":"Artif Intell"},{"issue":"2","key":"19_CR25","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1023\/A:1007361123060","volume":"26","author":"LD Raedt","year":"1997","unstructured":"Raedt LD, Dehaspe L (1997) Clausal discovery. Machine Learn 26(2):99\u2013146","journal-title":"Machine Learn"},{"key":"19_CR26","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter R (1980) A logic for default reasoning. J Artif Intell 13:81\u2013132","journal-title":"J Artif Intell"},{"key":"19_CR27","unstructured":"Riguzzi F (1998) Extensions of Logic Programming as Representation Languages for Machine Learning, PhD thesis, University of Bologna"},{"issue":"4","key":"19_CR28","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/PL00011676","volume":"3","author":"DB Skillicorn","year":"2001","unstructured":"Skillicorn DB, Wang Y (2001) Parallel and sequential algorithms for data mining using inductive logic. Knowledge Inform Syst 3(4):405\u2013421","journal-title":"Knowledge Inform Syst"}],"container-title":["Knowledge and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-006-0019-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10115-006-0019-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-006-0019-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T10:10:15Z","timestamp":1559124615000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10115-006-0019-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,3,23]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,2]]}},"alternative-id":["19"],"URL":"https:\/\/doi.org\/10.1007\/s10115-006-0019-5","relation":{},"ISSN":["0219-1377","0219-3116"],"issn-type":[{"value":"0219-1377","type":"print"},{"value":"0219-3116","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,3,23]]}}}