External Links
Google Scholar
provided by
German Research Center for Artificial Intelligence
with support by
as well as by

Inductive Logic Programming

abbreviation(s): ILP
definition: Inductive Logic Programming (ILP) is a research area formed at the intersection of Machine Learning and Logic Programming. ILP systems develop predicate descriptions from examples and background knowledge. The examples, background knowledge and final descriptions are all described as logic programs. A unifying theory of Inductive Logic Programming is being built up around lattice-based concepts such as refinement, least general generalisation, inverse resolution and most specific corrections. In addition to a well established tradition of learning-in-the-limit results, some results within Valiant's PAC-learning framework have been demonstrated for ILP systems. U-learnabilty, a new model of learnability, has also been developed.
related organisation(s):
  • University of York
  • Machine Learning and Natural Language Processing Lab
  • Knowledge Discovery and Machine Learning
  • Computational Bioinformatics Laboratory (CBL)
related person(s):
  • Luc de Raedt
  • Stefan Wrobel
  • Stephen H. Muggleton
  • Jim Cunningham
  • James Cussens
related publication(s):

Inductive Logic Programming: Derivations, Successes and Shortcomings.
Muggleton, S.
. 1993. 21-38.

Inductive Logic Programming.
Muggleton, S.
Muggleton, S. AP. 1992. 3-28.

Guest editorial to the special Issue on Inductive Logic Programming.
L. De Raedt and C.D. Page and S. Wrobel.
2001. 5-6.