THINKER
From NLG Systems Wiki
[edit] Summary
- System Name: THINKER
- Short Description: explanation of natural deduction proofs
- System Builders: Edgar, Pelletier^{[1]}
- Development Period: 1993–1993
- Languages: English
- Domain: formal proofs
Description
explanation of natural deduction proofs
References
- ↑ Edgar, A., & Pelletier, F. J. (1993). Natural language explanation of natural deduction proofs. Paper presented at Proceedings of the First Conference of the Pacific Association for Computational Linguistics, Simon Fraser University. ^{Bib}