Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Reference17 articles.
1. Bergadano, F. and Gunetti, D.,Inductive Logic Programming: From Machine Learning to Software Engineering, the MIT Press, Cambridge, MA, 1996.
2. Buntine, W., “Generalized Subsumption and its Applications to Induction and Redundancy,”Artificial Intelligence, 36, pp. 149–176, 1988.
3. Chang, C.-L. and Lee, R.C.-T.,Symbolic Logic and Mechanical Theorem Proving, Academic Press, Orlando, FL, 1973.
4. Fujita, H., Yagi, N., Ozaki, T. and Furukawa, K., “A New Design and Implementation of Progol by Bottom-up Computation,” inProceedings of the 6th International Workshop on Inductive Logic Programming (LNAI 1314), Springer, pp. 163–174, 1996.
5. Furukawa, K., Murakami, T. Ueno, K., Ozaki, T. and Shimazu, K., “On a Sufficient Condition for the Existence of Most Specific Hypothesis in Progol,” inProceedings of the 7th International Workshop on Inductive Logic Programming (LNAI 1297), Springer, pp. 157–164, 1997.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献