Xiaorong Huang (huang-xi)

Contributions to Philosophie.ch

Bibliography

Huang, Xiaorong. 1990. “An Extensible Natural Calculus for Argument Presentation.” sr–91–3. Kaiserslautern: Fachbereich Informatik, Universität Kaiserslautern.
Huang, Xiaorong. 1994a. “Human Oriented Proof Presentation: A Reconstructive Approach.” Doktorarbeit, Saarbrücken: Universität des Saarlandes.
Huang, Xiaorong. 1994b. “The Presentation of Proofs at the Assertion Level.” in.
Huang, Xiaorong. 1996. “Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level.” in PRICAI96: Topics in Artificial Intelligence, edited by Norman F. Foo and Randy Goebel. Berlin: Springer.
Huang, Xiaorong. 1997. “Planning Reference Choices for Argumentative Texts.” in ACL-97. Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics and Eighth Conference of the European Chapter of the Association for Computational Linguistics, edited by Paul R. Cohen and Wolfgang Wahlster, pp. 190–197. Somerset, New Jersey: Association for Computational Linguistics.
Huang, Xiaorong and Fiedler, Armin. 1996. “Presenting Machine-Found Proofs.” in CADE-13 Thirteenth International Conference on Automated Deduction, edited by Michael A. McRobbie and John K. Slaney, pp. 221–225. Lecture Notes in Computer Science. Berlin: Springer.
Huang, Xiaorong and Fiedler, Armin. 1997. “Proof Verbalization as an Application of NLG.” in IJCAI-97. Proceedings of the 15th International Joint Conference on Artificial Intelligence, edited by Michael P. Georgeff and Martha E. Pollack. San Francisco, California: Morgan Kaufmann Publishers.