{"type":"ScholarlyArticle","title":"AILP: Abductive Inductive Logic Programming","authors":[{"name":"Hilde Adé","slug":"hilde-ade","given":"Hilde","family":"Adé","affiliation":""},{"name":"Marc Denecker","slug":"marc-denecker","given":"Marc","family":"Denecker","affiliation":""}],"abstract":"Inductive Logic Programming (ILP) is often situated as a research area emerging at the intersection of Machine Learning and Logic Programming (LP). This paper makes the link more clear between ILP and LP , in particular, between ILP and Abductive Logic Programming (ALP), i.e., LP extended with abductive reasoning. We formulate a generic framework for handling incomplete knowledge. This framework can be instantiated both to ALP and ILP approaches. By doing so more light is shed on the relationship between abduction and induction . As an example we consider the abductive procedure SLDNFA, and modify it into an inductive procedure which we call SLDNFAI.","doi":null,"url":"https://ijcai.org/proceedings/1995/155","pdf":"https://ijcai.org/proceedings/1995/0155.pdf","markdown":"https://ijcai.org/proceedings/1995/155.md","bibtex":"https://ijcai.org/proceedings/1995/bibtex/155","volume":{"slug":"1995","title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1995","url":"https://ijcai.org/proceedings/1995/","year":1995,"location":"Montréal, Québec, Canada","dates":"","editors":"Chris S. Mellish","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Learning","track":"Learning","number":155,"pages":{"first":1201,"last":1208},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}