---
title: "AILP: Abductive Inductive Logic Programming"
authors:
  - "Hilde Adé"
  - "Marc Denecker"
doi: ""
url: "https://ijcai.org/proceedings/1995/155"
pdf: "https://ijcai.org/proceedings/1995/0155.pdf"
venue: "Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence"
year: 1995
pages: "1201-1208"
track: "Learning"
keywords:
---

# AILP: Abductive Inductive Logic Programming

Hilde Adé, Marc Denecker

*Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence*, pages 1201-1208.

## 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.