Chapter PDF
References
J. L. Bates and R. L. Constable. Proofs as Programs. ACM Transactions on Programming Languages and Systems, 7(1):113–136, 1985.
T. Ellman. Explanation-Based Learning: A Survey of Programs and Perspectives. ACM Computing Surveys, 21(2):163–221, 1989.
F. Giunchiglia and T. Walsh. A Theory of Abstraction. Artificial Intelligence, 57:323–389, 1992.
R. P. Hall. Computational Approaches to Analogical Reasoning: A Comparative Analysis. Artificial Intelligence, 39:39–120, 1989.
X. Huang. PROVERB: A System Explanining Machine-Found Proofs. In Proc. of 16th Annual Conference of the Cognitive Science Society, Atlanta, Georgia, 1994.
T. Kolbe and C. Walther. Patching proofs for reuse. Technical report, Technische Hochschule Darmstadt, 1994.
T. Kolbe and C. Walther. Reusing Proofs. In A. Cohn, editor, Proceedings of the 11th European Conference on Artificial Intelligence, Amsterdam, pages 80–84. John Wiley & Sons, Ltd., 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kolbe, T., Walther, C. (1995). Patching proofs for reuse (Extended abstract). In: Lavrac, N., Wrobel, S. (eds) Machine Learning: ECML-95. ECML 1995. Lecture Notes in Computer Science, vol 912. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-59286-5_73
Download citation
DOI: https://doi.org/10.1007/3-540-59286-5_73
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59286-0
Online ISBN: 978-3-540-49232-0
eBook Packages: Springer Book Archive