@article{Quinlan90,
title = {Learning Logical Definitions from Relations},
author = {J. R. Quinlan},
journal = {Machine Learning},
note = {original foil paper},
number = {3},
pages = {239--266},
url = {http://dx.doi.org/10.1007/BF00117105},
volume = {5},
year = {1990},
description = {original foil paper},
abstract = {This paper describes FOIL, a system that learns Horn clauses from data expressed as relations. FOIL is based on ideas that have proved effective in attribute-value learning systems, but extends them to a first-order formalism. This new system has been applied successfully to several tasks taken from the machine learning literature.},
keywords = {applications article enumerative_ip foil ilp induction inductive_programming machine_learning program_synthesis }
}