Proof Verbalization as an Application of NLG. Huang, X. & Fiedler, A. In Proc. of the 15th International Joint Conference on Artificial Intelligence, pages 965--972, Nagoya, Japan, 1997. Morgan Kaufmann.
bibtex   
@INPROCEEDINGS{huang1997,
  author = {Huang, Xiaorong and Fiedler, Armin},
  title = {{Proof Verbalization as an Application of NLG}},
  booktitle = {Proc. of the 15th International Joint Conference on Artificial Intelligence},
  year = {1997},
  pages = {965--972},
  address = {Nagoya, Japan},
  publisher = {Morgan Kaufmann},
  keywords = {\#understanding},
  mendeley-tags = {\#understanding}
}

Downloads: 0