Skip to main content
Conference Proceedings

Presenting machine-found proofs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1996) 1104 221-225
DOI: 10.1007/3-540-61511-3_83
12Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.
Get full text

Abstract

This paper outlines an implemented system named PROVERB that transforms and abstracts machine-found proofs to natural deduction style proofs at an adequate level of abstraction and then verbalizes them in natural language. The abstracted proofs, originally employed only as an intermediate representation, also prove to be useful for proof planning and proving by analogy.

Cite

CITATION STYLE

APA

Huang, X., & Fiedler, A. (1996). Presenting machine-found proofs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1104, pp. 221–225). Springer Verlag. https://doi.org/10.1007/3-540-61511-3_83

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free