Presenting machine-found proofs

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

Volumn 1104, Issue , 1996, Pages 221-225

  Huang, Xiaorong ^a   Fiedler, Armin ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; THEOREM PROVING;

INTERMEDIATE REPRESENTATIONS; LEVEL OF ABSTRACTION; NATURAL DEDUCTION; NATURAL LANGUAGES; PROOF-PLANNING;

AUTOMATION;

EID: 84957068989     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61511-3_83     Document Type: Conference Paper

References (11)

1. [And80] Peter B. Andrews. Transforming matings into natural deduction proofs. In Proc. of the 5th CADE, 1980.
2. [Che76] Daniel Chester. The translation of formal proofs into English. Al, 7:178-216, 1976.
3. [EP93] Andrew Edgar and Francis Jeffry Pelletier. Natural language explanation of natural deduction proofs. In Proc. of the first Conference of the Pacific Association for Computational Linguistics, 1993.
4. [Gen35] Gerhard Gentzen. Untersuchungen iiber das logische Schliefien I. Math. Zeitschrift, 39:176-210, 1935.
5. [HF96] Xiaorong Huang and Armin Fiedler. Paraphrasing and aggregating argumentative text using text structure. In Proc. of 8th International Workshop on Natural Language Generation, 1996.
6. +94] Xiaorong Huang et al. J2-MKRP - a proof development environment. In Proc. of 12th CADE, 1994.
7. [Hua94a] Xiaorong Huang. Planning argumentative texts. In Proc. of 15th International Conference on Computational Linguistics, 1994.
8. [Hua94b] Xiaorong Huang. Reconstructing proofs at the assertion level. In Proc. of 12th CADE, 1994.
9. [Hua96] Xiaorong Huang. Translating machine-generated resolution proofs into nd- proofs at the assertion level. In Proc. of PRICAI-96, 1996.
10. [Lin90] Christoph Lingenfelder. Transformation and Structuring of Computer Generated Proofs. PhD thesis, Universität Kaiserslautern, 1990.
11. [Pfe87] Frank Pfenning. Proof Transformation in Higher-Order Logic. PhD thesis, Carnegie Mellon University, 1987.