Plagiator — A learning prover

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1249, Issue , 1997, Pages 256-259

  Kolbe, Thomas ^a   Brauburger, Jürgen ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957062703     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63104-6_24     Document Type: Conference Paper

References (11)

1. C. Benzmüller et. al. OMEGA: Towards a Mathematical Assistant. In Proc. CADE-14, Townsville, Australia. Springer 1997.
2. J. Brauburger. PLAGIATOR - Design and Implementation of a Learning Prover. Diploma Thesis (in German), TH Darmstadt, 1994.
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.
4. D. Hutter and C. Sengler. INKA: The Next Generation. In Proc. CADE-13, New Brunswick, USA, pp. 288 - 292. Springer LNAI 1104, 1996.
5. T. Kolbe and S. Glesner. Many-Sorted Logic in a Learning Theorem Prover. Technical Report IBN 97/43, TH Darmstadt, 1997.
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.
7. T. Kolbe and C. Walther. Proof Management and Retrieval. In Proceedings of the IJCAI-I4 Workshop on Formal Approaches to the Reuse of Plans, Proofs, and Programs, Montreal, Canada, pp. 16-20, 1995.
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.
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.
10. W. Reif, G. Schellhorn and K. Stenzel. Proving System Correctness with KIV 3.0. In Proc. CADE-14, Townsville, Australia. Springer 1997.
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.