Learning and applying generalised solutions using higher order resolution-Reference-Cited by-同舟云学术

Learning and applying generalised solutions using higher order resolution

Published: Issue: Volume: Page:41-60
ISSN:
Container-title:9th International Conference on Automated Deduction
language:
Short-container-title:

Author:

Donat M. R.,Wallen L. A.

Publisher

Springer-Verlag

Link

http://www.springerlink.com/index/pdf/10.1007/BFb0012822

Reference8 articles.

1. deGroote, P. How I spent my time in Cambridge with Isabelle, Technical Report RR 87-1, Université Catholique de Louvain, January 1987.

2. Donat, M.R. Construction and Application of Generalisations Using Higher Order Unification. Master's thesis, Department of Artificial Intelligence, University of Edinburgh, 1987.

3. Fikes, R.E., Hart, P.E., and Nilsson, N.J. Learning and executing generalized robot plans. Artificial Intelligence, 3:251–288, 1972.

4. Kedar-Cabelli, S. and McCarty, L.T. Explanation-based generalization as resolution theorem proving. In P. Langley, editor, Proceedings of the 4th International Machine Learning Workshop, pages 383–389, Morgan Kaufmann, 1987.

5. Miller, D.A. and Nadathur, G. “Higher-order logic programming,” Proceedings of the 3rd Int. Logic Programming Conference, London, June 1986, 448–462.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Tractable and Intractable Second-Order Matching Problems;Lecture Notes in Computer Science;1999

2. Decidable higher-order unification problems;Automated Deduction — CADE-12;1994

3. Higher-order and modal logic as a framework for explanation-based generalization;Machine Learning;1992-06

4. Higher-order unification with dependent function types;Rewriting Techniques and Applications;1989

5. Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization;Proceedings of the Sixth International Workshop on Machine Learning;1989