Author:
Dietzen Scott,Pfenning Frank
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Software
Reference56 articles.
1. Angluin, D. & Smith, C.H. (1983). Inductive inference: Theory and methods.Computing Surveys, 15, 237?269.
2. Bhatnagar, N. (1988). A correctness proof of explanation-based generalization as resolution theorem proving.Proceedings of the AAAI Spring Symposium on Explanation-Based Learning (pp. 220?225).
3. Burstall, R.M. & Darlington, J. (1977). A transformation system for developing recursive programs.Journal of the Association for Computing Machinery, 24, 44?67.
4. Chellas, B.F. (1980).Modal logic: An introduction. Cambridge University Press.
5. Cohen, W.W. (1988). Generalizing number and learning from multiple examples in explanation-based learning.Proceedings of the Fifth International Machine Learning Conference.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Proving theorems by reuse;Artificial Intelligence;2000-01
2. On a Modal λ-Calculus for S4;Electronic Notes in Theoretical Computer Science;1995
3. Implementing polymorphic typing in a logic programming language;Computer Languages;1994-03