System Name
THINKER
 B2Z list of NLG systems
System Builders Edgar, Pelletier
Development Dates 1993
Languages English
URL (if available)
who's who

Description:

explanation of natural deduction proofs

References

Main reference

A. Edgar and F.J. Pelletier.
Natural language explanation of natural deduction proofs.
In Proceedings of the First Conference of the Pacific Association for Computational Linguistics, Simon Fraser University, 1993.

Information last updated: 20.06.2000 (dd.mm.yy)
Page last generated: 25-1-2009 21:01:39