Learning by Refining Algorithm Sketches
暂无分享,去创建一个
[1] Jorg-uwe Kietz,et al. Controlling the Complexity of Learning in Logic through Syntactic and Task-Oriented Models , 1992 .
[2] Christopher John Hogger,et al. Essentials of logic programming , 1990 .
[3] Alan W. Biermann,et al. The Inference of Regular LISP Programs from Examples , 1978, IEEE Transactions on Systems, Man, and Cybernetics.
[4] Douglas R. Smith,et al. KIDS: A Semiautomatic Program Development System , 1990, IEEE Trans. Software Eng..
[5] Werner Emde,et al. Non-Cumulative Learning in METAXA.3 , 1987, IJCAI.
[6] Stephen Muggleton,et al. Towards Inductive Generalization in Higher Order Logic , 1992, ML.
[7] S. Kay. Structured Systems Analysis through Prolog , 1989 .
[8] Terry Goble. Structured Systems Analysis Through Prolog , 1989 .
[9] Luc De Raedt,et al. Explanation Based Program Transformation , 1989, IJCAI.
[10] Rüdiger Wirth,et al. Constraints on Predicate Invention , 1991, ML.
[11] Pavel Brazdil,et al. Experimental Learning Model , 1978, AISB/GI.