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
{"_id":{"_str":"51f8645b59ced8df44001e25"},"__v":35,"authorIDs":["5457e8eb2abc8e9f3700089e","5481c317a29145d03f001517"],"author_short":["Huang, X.","Fiedler, A."],"bibbaseid":"huang-fiedler-proofverbalizationasanapplicationofnlg-1997","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Huang"],"firstnames":["Xiaorong"],"suffixes":[]},{"propositions":[],"lastnames":["Fiedler"],"firstnames":["Armin"],"suffixes":[]}],"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","bibtex":"@INPROCEEDINGS{huang1997,\r\n author = {Huang, Xiaorong and Fiedler, Armin},\r\n title = {{Proof Verbalization as an Application of NLG}},\r\n booktitle = {Proc. of the 15th International Joint Conference on Artificial Intelligence},\r\n year = {1997},\r\n pages = {965--972},\r\n address = {Nagoya, Japan},\r\n publisher = {Morgan Kaufmann},\r\n keywords = {\\#understanding},\r\n mendeley-tags = {\\#understanding}\r\n}\r\n\r\n","author_short":["Huang, X.","Fiedler, A."],"key":"huang1997","id":"huang1997","bibbaseid":"huang-fiedler-proofverbalizationasanapplicationofnlg-1997","role":"author","urls":{},"keyword":["#understanding"],"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://delicias.dia.fi.upm.es/prov-xgCURATED.bib","downloads":0,"keywords":["#understanding"],"search_terms":["proof","verbalization","application","nlg","huang","fiedler"],"title":"Proof Verbalization as an Application of NLG","title_words":["proof","verbalization","application","nlg"],"year":1997,"dataSources":["drTBSwRdnSo2Wujnd"]}