Properties of Inductive Logic Programming in function-free Horn logic

  • Irene Stahl
Extended Abstracts
Part of the Lecture Notes in Computer Science book series (LNCS, volume 784)


Inductive Logic Programming (ILP) deals with inductive inference in first order Horn logic. A commonly employed restriction on the hypothesis space in ILP is that to function-free programs. It yields a more tractable hypothesis space, and simplifies induction. This paper investigates basic properties of ILP in function-free languages.


  1. [Mug92]
    Muggleton, S. (1992): Inductive Logic Programming, in S. Muggleton (ed): Inductive Logic Programming, Academic PressGoogle Scholar
  2. [Qui90]
    Quinlan, J. R. (1990): Learning Logical Definitions from Relations, Machine Learning 5Google Scholar
  3. [Rae91]
    De Raedt, L., Feyaerts, J., Bruynooghe, M. (1991): Acquiring Object-Knowledge for Learning Systems, in Y. Kodratoff (ed): Proceedings of the Fifth European Working Session on Learning, SpringerGoogle Scholar
  4. [Rei93]
    Reinhardt, K. (1993), personal communicationGoogle Scholar
  5. [Rou91]
    Rouveirol, C. (1991): ITOU: Induction of First Order Theories, in S. Muggleton (ed): Inductive Logic Programming, Academic PressGoogle Scholar
  6. [Sta94]
    Stahl, I. (1994): On the Utility of Predicate Invention in Inductive Logic Programming, this volumeGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Irene Stahl
    • 1
  1. 1.Fakultät InformatikUniversität StuttgartStuttgart

Personalised recommendations