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
Retrieved from "http://www.nlg-wiki.org/systems/THINKER"
Facts about THINKERRDF feed
Descriptionexplanation of natural deduction proofs  +
Domainformal proofs  +
Ended1993  +
LanguageEnglish  +
NameTHINKER  +
Started1993  +
WorkerEdgar  +, and Pelletier  +
Personal tools