Author:
Feng Cao,Muggleton Stephen
Reference21 articles.
1. A transformation system for developing recursive programs;Burstall;Journal of the ACM,1977
2. Combinatory Logic (Volume I);Curry,1958
3. S. Dietzen and F. Pfenning. Higher-order and modal logic as a framework for explanation-based generalization. In B. Spatz, editor, Proceedings of the sixth international workshop on machine learning. Cornell University, Ithaca, New York, pages 447–449. San Mateo, CA: Morgan Kaufmann, June 1989.
4. Least general generalisation in higher order logic;Feng,1991
5. Masateru Harao. Analogical reasoning based on higher order unification. In First International Conference on Algorithmic Learning Theory, pages 151–163, Tokyo, Japan, 1990. Japanese Society for Artificial Intellligence.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献