论文信息 - GENEX: a tool for testing in ILP

GENEX: a tool for testing in ILP

Inductive Logic Programming (ILP) is a field of research in which logic programs are synthesized (learned) from examples. There is a need for a variety of large datasets to evaluate ILP learners. The paper describes an example generator program GENEX that provides the user with a language in which to describe large sets of structured examples. GENEX is available on the WWW. Copyright © 2001 John Wiley & Sons, Ltd.

Stan Matwin | Johanne Morin

[1] R. Mike Cameron-Jones,et al. Avoiding Pitfalls When Learning Recursive Theories , 1993, IJCAI.

[2] Ehud Shapiro,et al. Algorithmic Program Debugging , 1983 .

[3] Stan Matwin,et al. Sub-unification: A Tool for Efficient Induction of Recursive Programs , 1992, ML.

[4] Christel Vrain,et al. OGUST: a system that learns using domain properties expressed as the theorems , 1990 .

[5] Stephen Muggleton,et al. Learning from Positive Data , 1996, Inductive Logic Programming Workshop.

[6] R. J. Henery,et al. Methods for comparison , 1995 .

[7] Ashwin Srinivasan,et al. Theories for Mutagenicity: A Study in First-Order and Feature-Based Induction , 1996, Artif. Intell..

[8] Wray L. Buntine. Generalized Subsumption and Its Applications to Induction and Redundancy , 1986, Artif. Intell..

[9] Ronald de Wolf,et al. Least Generalizations under Implication , 1996, Inductive Logic Programming Workshop.

[10] Stephen Muggleton,et al. A Comparison of ILP and Propositional Systems on Propositional Traffic Data , 1998, ILP.