Inverting Implication with Small Training Sets
暂无分享,去创建一个
Stan Matwin | David W. Aha | Charles X. Ling | Stephane Lapointe | D. Aha | C. Ling | S. Matwin | Stephane Lapointe
[1] Céline Rouveirol,et al. Beyond Inversion of Resolution , 1990, ML.
[2] L. D. Raedt. Interactive theory revision: an inductive logic programming approach , 1992 .
[3] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[4] Stan Matwin,et al. Sub-unification: A Tool for Efficient Induction of Recursive Programs , 1992, ML.
[5] S. Muggleton. Inverting Implication , 1992 .
[6] Stan Matwin,et al. Constructive Inductive Logic Programming , 1993, International Joint Conference on Artificial Intelligence.
[7] Stephen Muggleton,et al. Efficient Induction of Logic Programs , 1990, ALT.
[8] Charles X. Ling,et al. Inductive Learning from Good Examples , 1991, IJCAI.
[9] William W. Cohen. Pac-Learning a Restricted Class of Recursive Logic Programs , 1993, AAAI.
[10] Stephen Muggleton,et al. Machine Invention of First Order Predicates by Inverting Resolution , 1988, ML.
[11] Peter Idestam-Almquist,et al. Generalization under Implication by Recursive Anti-unification , 1993, ICML.
[12] J. Ross Quinlan,et al. Determinate Literals in Inductive Logic Programming , 1991, IJCAI.