@article{CameronJonesQ94,
title = {Efficient Top-Down Induction of Logic Programs},
address = {New York, NY, USA},
author = {R. Mike Cameron-Jones and J. Ross Quinlan},
journal = {SIGART Bulletin},
number = {1},
pages = {33--42},
publisher = {ACM},
url = {http://doi.acm.org/10.1145/181668.181676},
volume = {5},
year = {1994},
description = {foil in 1994},
abstract = {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 of a general to specific approach to clause induction using heuristically guided search. This paper describes the current version of FOIL, assesses its performance and notes areas for improvement. The successful application of similar methods in other systems is reviewed to demonstrate their general utility.},
keywords = {applications article enumerative_ip foil ilp induction inductive_programming machine_learning program_synthesis }
}
::