THINKER

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

Description

explanation of natural deduction proofs

References

  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  +
NameTHINKER  +
Started1993  +
WorkerEdgar  +, and Pelletier  +
Personal tools