From NLG Systems Wiki

Jump to: navigation, search

[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


explanation of natural deduction proofs


  1. 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
Facts about THINKERRDF feed
Descriptionexplanation of natural deduction proofs  +
Domainformal proofs  +
Ended1993  +
LanguageEnglish  +
Started1993  +
WorkerEdgar  +, and Pelletier  +
Personal tools