Abstract Inductive Logic Programming (ILP) is a new discipline which investigates the
inductive construction of first-order clausal theories from examples and background …

The 18th International Conference on Inductive Logic Programming was held in Prague,
September 10–12, 2008. ILP returned to Prague after 11 years, and it is tempting to look at …

This paper is a survey of inductive rule learning algorithms that use a separate-and-conquer
strategy. This strategy can be traced back to the AQ learning system and still enjoys …

FOIL is a learning system that constructs Horn clause programs from examples. This paper
summarises the development of FOIL from 1989 up to early 1993 and evaluates its …

Relational learning algorithms are of special interest to members of the machine learning
community; they o er practical methods for extending the representations used in algorithms …

This paper presents a new approach to constructive induction, Discrimination-Based
Constructive induction (DBC), which invents useful predicates in learning relations …

FOIL is a system for inducing function-free Horn clause definitions of relations from example
and extensionally defined background relations. It demonstrates the successful application …

Since researchers in each of the many various subfields of machine learning are often
unaware of related work done within the other subfields, this book brings together many of …

Abstract European research in Inductive Logic Programming (ILP) has been mainly
conducted within two ESPRIT research projects, ILP (1992–95) and ILP2 (1996–98) …

This dissertation investigates the field of inductive logic programming (ILP) and in so doing
an ILP system, LIME, is designed and developed. LIME addresses the problem of noisy …