{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T13:45:40Z","timestamp":1761918340365},"reference-count":38,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1999,5,1]],"date-time":"1999-05-01T00:00:00Z","timestamp":925516800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Sciences"],"published-print":{"date-parts":[[1999,5]]},"DOI":"10.1016\/s0020-0255(98)10092-0","type":"journal-article","created":{"date-parts":[[2003,4,25]],"date-time":"2003-04-25T01:23:41Z","timestamp":1051233821000},"page":"25-54","source":"Crossref","is-referenced-by-count":10,"title":["Integrating induction and abduction in logic programming"],"prefix":"10.1016","volume":"116","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":"78","reference":[{"key":"10.1016\/S0020-0255(98)10092-0_bib1","series-title":"Proceedings of the 14th International Joint Conference on Artificial Intelligence","first-page":"1201","article-title":"AILP: Abductive inductive logic programming","author":"Ad\u00e9","year":"1995"},{"key":"10.1016\/S0020-0255(98)10092-0_bib2","first-page":"336","article-title":"RUTH: An ILP theory revision system","author":"Ad\u00e9","year":"1994"},{"key":"10.1016\/S0020-0255(98)10092-0_bib3","first-page":"493","article-title":"Logic programming","volume":"vol. B","author":"Apt","year":"1990"},{"key":"10.1016\/S0020-0255(98)10092-0_bib4","series-title":"Inductive Logic Programming","first-page":"145","article-title":"Non-monotonic learning","author":"Bain","year":"1992"},{"key":"10.1016\/S0020-0255(98)10092-0_bib5","series-title":"Inductive Logic Programming","author":"Bergadano","year":"1995"},{"key":"10.1016\/S0020-0255(98)10092-0_bib6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(97)80755-4","article-title":"A unifying view for logic programming with non-monotonic reasoning","volume":"184","author":"Brogi","year":"1997","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S0020-0255(98)10092-0_bib7","series-title":"Proceedings of the Seventh International Conference on Logic Programming","first-page":"561","article-title":"Intensional updates: Abduction via deduction","author":"Bry","year":"1990"},{"key":"10.1016\/S0020-0255(98)10092-0_bib8","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BF00992863","article-title":"Abductive explanation-based learning: A solution to the multiple inconsistent explanation problem","volume":"8","author":"Cohen","year":"1992","journal-title":"Machine Learning"},{"key":"10.1016\/S0020-0255(98)10092-0_bib9","series-title":"Proceedings of the Third International Symposium on Methodologies for Intelligent Systems","first-page":"175","article-title":"Abductive reasoning through direct deduction from completed domains models","author":"Console","year":"1989"},{"key":"10.1016\/S0020-0255(98)10092-0_bib10","series-title":"Proceedings of the Ninth European Conference on Artificial Intelligence","first-page":"207","article-title":"On negation and three-valued logic in interactive concept-learning","author":"De Raedt","year":"1990"},{"key":"10.1016\/S0020-0255(98)10092-0_bib11","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0004-3702(92)90075-9","article-title":"Belief updating from integrity constraints and queries","volume":"53","author":"De Raedt","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0020-0255(98)10092-0_bib12","series-title":"Proceedings of the 13th International Joint Conference on Artificial Intelligence","first-page":"1058","article-title":"A theory of clausal discovery","author":"De Raedt","year":"1993"},{"key":"10.1016\/S0020-0255(98)10092-0_bib13","series-title":"Proceedings of the Third International Workshop on Inductive Logic Programming","first-page":"221","article-title":"Multiple predicate learning","author":"De Raedt","year":"1993"},{"key":"10.1016\/S0020-0255(98)10092-0_bib14","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60454-5_30","article-title":"Inductive constraint logic","author":"De Raedt","year":"1995"},{"key":"10.1016\/S0020-0255(98)10092-0_bib15","series-title":"Proceedings of ECAI96 Workshop on Abductive and Inductive Reasoning","year":"1996"},{"key":"10.1016\/S0020-0255(98)10092-0_bib16","first-page":"122","article-title":"Learning non-monotonic logic programs: Learning exceptions","author":"Dimopoulos","year":"1995"},{"key":"10.1016\/S0020-0255(98)10092-0_bib17","series-title":"Advances in Inductive Logic Programming","article-title":"Abduction and inductive learning","author":"Dimopoulos","year":"1996"},{"key":"10.1016\/S0020-0255(98)10092-0_bib18","series-title":"Proceedings of the Eighth International Conference on Logic Programming","first-page":"3","article-title":"Negation as hypothesis: An abductive foundation for logic programming","author":"Dung","year":"1991"},{"key":"10.1016\/S0020-0255(98)10092-0_bib19","article-title":"Handling noise in inductive logic programming","author":"Deroski","year":"1991"},{"key":"10.1016\/S0020-0255(98)10092-0_bib20","series-title":"Proceedings of the Sixth International Conference on Logic Programming","article-title":"Abduction compared with Negation by Failure","author":"Eshghi","year":"1989"},{"key":"10.1016\/S0020-0255(98)10092-0_bib21","series-title":"Proceedings of ECAI96 Workshop on Abductive and Inductive Reasoning","article-title":"Learning abductive logic programs","author":"Esposito","year":"1996"},{"key":"10.1016\/S0020-0255(98)10092-0_bib22","series-title":"Proceedings of IJCAI97 Workshop on Abductive and Inductive Reasoning","year":"1997"},{"key":"10.1016\/S0020-0255(98)10092-0_bib23","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","article-title":"Abductive logic programming","volume":"2","author":"Kakas","year":"1993","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S0020-0255(98)10092-0_bib24","first-page":"233","article-title":"The role of abduction in logic programming","volume":"vol. 5","author":"Kakas","year":"1997"},{"key":"10.1016\/S0020-0255(98)10092-0_bib25","series-title":"Proceedings of the Ninth European Conference on Artificial Intelligence","article-title":"Generalized stable models: a semantics for abduction","author":"Kakas","year":"1990"},{"key":"10.1016\/S0020-0255(98)10092-0_bib26","series-title":"Proceedings of the Second Pacific Rim International Conference on Artificial Intelligence","article-title":"On the relation between truth maintenance and abduction","author":"Kakas","year":"1990"},{"key":"10.1016\/S0020-0255(98)10092-0_bib27","series-title":"Proceedings of the 11th International Conference on Logic Programming","article-title":"The acceptability semantics for logic programs","author":"Kakas","year":"1994"},{"key":"10.1016\/S0020-0255(98)10092-0_bib28","series-title":"Proceedings of the Seventh International Workshop on Inductive Logic Programming","article-title":"Learning with abduction","author":"Kakas","year":"1997"},{"key":"10.1016\/S0020-0255(98)10092-0_bib29","series-title":"AI*IA97, Advances in Artificial Intelligence","article-title":"Introducing abduction into (extensional) inductive logic programming systems","author":"Lamma","year":"1997"},{"key":"10.1016\/S0020-0255(98)10092-0_bib30","series-title":"Inductive Logic Programming: Techniques and Applications","author":"Lavra\u010d","year":"1994"},{"key":"10.1016\/S0020-0255(98)10092-0_bib31","series-title":"Machine Learning \u2014 An Artificial Intelligence Approach","year":"1984"},{"key":"10.1016\/S0020-0255(98)10092-0_bib32","volume":"vol. 11","year":"1986"},{"issue":"3\/4","key":"10.1016\/S0020-0255(98)10092-0_bib33","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF03037227","article-title":"Inverse entailment and Progol","volume":"13","author":"Muggleton","year":"1995","journal-title":"New Generation Computing"},{"key":"10.1016\/S0020-0255(98)10092-0_bib34","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1111\/j.1467-8640.1994.tb00167.x","article-title":"Abduction and explanation-based learning: Case studies in diverse domains","volume":"10","author":"O'Rourke","year":"1994","journal-title":"Computational Intelligence"},{"key":"10.1016\/S0020-0255(98)10092-0_bib35","series-title":"Proceedings of the Sixth National Conference on Artificial Intelligence","first-page":"369","article-title":"Embracing causality in formal reasoning","author":"Pearl","year":"1987"},{"issue":"3\/4","key":"10.1016\/S0020-0255(98)10092-0_bib36","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF03037228","article-title":"Introduction of logic programs: FOIL and related systems","volume":"13","author":"Quinlan","year":"1995","journal-title":"New Generation Computing"},{"key":"10.1016\/S0020-0255(98)10092-0_bib37","series-title":"Algorithmic Program Debugging","author":"Shapiro","year":"1983"},{"key":"10.1016\/S0020-0255(98)10092-0_bib38","author":"Swedish Institute of Computer Science","year":"1997","journal-title":"SICStus Prolog User's Manual"}],"container-title":["Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025598100920?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025598100920?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T22:21:51Z","timestamp":1556058111000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020025598100920"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,5]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,5]]}},"alternative-id":["S0020025598100920"],"URL":"https:\/\/doi.org\/10.1016\/s0020-0255(98)10092-0","relation":{},"ISSN":["0020-0255"],"issn-type":[{"value":"0020-0255","type":"print"}],"subject":[],"published":{"date-parts":[[1999,5]]}}}