Proof Verbalization as an Application of NLG (1997)

by Xiaorong Huang , Armin Fiedler
Venue:PROCEEDINGS OF THE 15TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI
Citations:43 - 8 self