Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
C. Benzmüller et. al. OMEGA: Towards a Mathematical Assistant. In Proc. CADE-14, Townsville, Australia. Springer 1997.
J. Brauburger. Plagiator — Design and Implementation of a Learning Prover. Diploma Thesis (in German), TH Darmstadt, 1994.
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.
D. Hutter and C. Sengler. INKA: The Next Generation. In Proc. CADE-13, New Brunswick, USA, pp. 288–292. Springer LNAI 1104, 1996.
T. Kolbe and S. Glesner. Many-Sorted Logic in a Learning Theorem Prover. Technical Report IBN 97/43, TH Darmstadt, 1997.
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.
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.
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.
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.
W. Reif, G. Schellhorn and K. Stenzel. Proving System Correctness with KIV 3.0. In Proc. CADE-14, Townsville, Australia. Springer 1997.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kolbe, T., Brauburger, J. (1997). Plagiator — A learning prover. In: McCune, W. (eds) Automated Deduction—CADE-14. CADE 1997. Lecture Notes in Computer Science, vol 1249. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63104-6_24
Download citation
DOI: https://doi.org/10.1007/3-540-63104-6_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63104-0
Online ISBN: 978-3-540-69140-2
eBook Packages: Springer Book Archive