Patching proofs for reuse (Extended abstract)

  • Thomas Kolbe
  • Christoph Walther
Extended Abstracts
Part of the Lecture Notes in Computer Science book series (LNCS, volume 912)


  1. 1.
    J. L. Bates and R. L. Constable. Proofs as Programs. ACM Transactions on Programming Languages and Systems, 7(1):113–136, 1985.Google Scholar
  2. 2.
    T. Ellman. Explanation-Based Learning: A Survey of Programs and Perspectives. ACM Computing Surveys, 21(2):163–221, 1989.Google Scholar
  3. 3.
    F. Giunchiglia and T. Walsh. A Theory of Abstraction. Artificial Intelligence, 57:323–389, 1992.Google Scholar
  4. 4.
    R. P. Hall. Computational Approaches to Analogical Reasoning: A Comparative Analysis. Artificial Intelligence, 39:39–120, 1989.Google Scholar
  5. 5.
    X. Huang. PROVERB: A System Explanining Machine-Found Proofs. In Proc. of 16th Annual Conference of the Cognitive Science Society, Atlanta, Georgia, 1994.Google Scholar
  6. 6.
    T. Kolbe and C. Walther. Patching proofs for reuse. Technical report, Technische Hochschule Darmstadt, 1994.Google Scholar
  7. 7.
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Thomas Kolbe
    • 1
  • Christoph Walther
    • 1
  1. 1.FB Informatik, TH DarmstadtDarmstadtGermany

Personalised recommendations