%0 Journal Article %1 CameronJonesQ94 %A Cameron-Jones, R. Mike %A Quinlan, J. Ross %C New York, NY, USA %D 1994 %I ACM %J SIGART Bulletin %K applications article enumerative_ip foil ilp induction inductive_programming machine_learning program_synthesis %N 1 %P 33--42 %T Efficient Top-Down Induction of Logic Programs %U http://doi.acm.org/10.1145/181668.181676 %V 5 %X 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.

@article{CameronJonesQ94, 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.}, added-at = {2008-05-16T18:18:32.000+0200}, address = {New York, NY, USA}, author = {Cameron-Jones, R. Mike and Quinlan, J. Ross}, biburl = {https://www.bibsonomy.org/bibtex/26d35fd8bdec05ccce1cd5ef370063fd1/emanuel}, description = {foil in 1994}, interhash = {87ddbbf96370c68723de1fa6fe956f26}, intrahash = {6d35fd8bdec05ccce1cd5ef370063fd1}, journal = {SIGART Bulletin}, keywords = {applications article enumerative_ip foil ilp induction inductive_programming machine_learning program_synthesis}, number = 1, pages = {33--42}, publisher = {ACM}, timestamp = {2008-05-16T18:18:33.000+0200}, title = {Efficient Top-Down Induction of Logic Programs}, url = {http://doi.acm.org/10.1145/181668.181676}, volume = 5, year = 1994 }