Advertisement

Plagiator — A learning prover

  • Thomas Kolbe
  • Jürgen Brauburger
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1249)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    C. Benzmüller et. al. OMEGA: Towards a Mathematical Assistant. In Proc. CADE-14, Townsville, Australia. Springer 1997.Google Scholar
  2. 2.
    J. Brauburger. Plagiator — Design and Implementation of a Learning Prover. Diploma Thesis (in German), TH Darmstadt, 1994.Google Scholar
  3. 3.
    F. Giunchiglia and A. Villafiorita. ABSFOL: A Proof Checker with Abstraction. In Proc. CADE-13, New Brunswick, USA, pp. 136–140. Springer LNAI 1104, 1996.Google Scholar
  4. 4.
    D. Hutter and C. Sengler. INKA: The Next Generation. In Proc. CADE-13, New Brunswick, USA, pp. 288–292. Springer LNAI 1104, 1996.Google Scholar
  5. 5.
    T. Kolbe and S. Glesner. Many-Sorted Logic in a Learning Theorem Prover. Technical Report IBN 97/43, TH Darmstadt, 1997.Google Scholar
  6. 6.
    T. Kolbe and C. Walther. Reusing Proofs. In A. Cohn, editor, Proc. ECAI-11, Amsterdam, The Netherlands, pp. 80–84. John Wiley & Sons, Ltd., 1994.Google Scholar
  7. 7.
    T. Kolbe and C. Walther. Proof Management and Retrieval. In Proceedings of the IJCAI-14 Workshop on Formal Approaches to the Reuse of Plans, Proofs, and Programs, Montreal, Canada, pp. 16–20, 1995.Google Scholar
  8. 8.
    T. Kolbe and C. Walther. Second-Order Matching modulo Evaluation — A Technique for Reusing Proofs. In Proc. IJCAI-14, Montreal, Canada, pp. 190–195, 1995.Google Scholar
  9. 9.
    T. Kolbe and C. Walther. Termination of Theorem Proving by Reuse. In Proc. CADE-13, New Brunswick, USA, pp. 106–120. Springer LNAI 1104, 1996.Google Scholar
  10. 10.
    W. Reif, G. Schellhorn and K. Stenzel. Proving System Correctness with KIV 3.0. In Proc. CADE-14, Townsville, Australia. Springer 1997.Google Scholar
  11. 11.
    C. Walther. Mathematical Induction. In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 2, pp. 127–227. Oxford University Press, 1994.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Thomas Kolbe
    • 1
  • Jürgen Brauburger
    • 1
  1. 1.FB InformatikTH DarmstadtDarmstadtGermany

Personalised recommendations