dblp.uni-trier.dewww.uni-trier.de

Xiaorong Huang Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1998
16 Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou: Adaptation of Declaratively Represented Methods in Proof Planning. Ann. Math. Artif. Intell. 23(3-4): 299-320 (1998)
1997
15 Xiaorong Huang: Planning Reference Choices for Argumentative Texts. ACL 1997: 190-197
14EEChristoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge: Omega: Towards a Mathematical Assistant. CADE 1997: 252-255
13 Xiaorong Huang, Armin Fiedler: Proof Verbalization as an Application of NLG. IJCAI (2) 1997: 965-972
1996
12EEXiaorong Huang, Armin Fiedler: Presenting Machine-Found Proofs. CADE 1996: 221-225
11EEXiaorong Huang: Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level. PRICAI 1996: 399-410
10 Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: Die Beweisentwicklungsumgebung Omega-MKRP. Inform., Forsch. Entwickl. 11(1): 20-26 (1996)
1994
9EEXiaorong Huang: Reconstruction Proofs at the Assertion Level. CADE 1994: 738-752
8EEXiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: Omega-MKRP: A Proof Development Environment. CADE 1994: 788-792
7EEXiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: KEIM: A Toolkit for Automated Deduction. CADE 1994: 807-810
6EEXiaorong Huang: Planning Argumentative Texts. COLING 1994: 329-333
5 Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts: Adapting Methods to Novel Tasks in Proof Planning. KI 1994: 379-390
4 Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn: Planning Mathematical Proofs with Methods. Elektronische Informationsverarbeitung und Kybernetik 30(5/6): 277-291 (1994)
1992
3 Xiaorong Huang: Applications of Assertions as Elementary Tactics in Proof Planning. AIMSA 1992: 25-34
2 Xiaorong Huang: An Explanatory Framework for Human Theorem Proving. GWAI 1992: 55-66
1989
1 Xiaorong Huang: Proof Transformation Towards Human Reasoning Style. GWAI 1989: 37-42

Coauthor Index

1Christoph Benzmüller (Christoph Benzmueller) [14]
2Lassaad Cheikhrouhou [14] [16]
3Detlef Fehrer [14]
4Armin Fiedler [12] [13] [14]
5Manfred Kerber [4] [5] [7] [8] [10] [14] [16]
6Michael Kohlhase [5] [7] [8] [10] [14]
7Karsten Konrad [14]
8Andreas Meier [14]
9Erica Melis [7] [8] [10] [14]
10Daniel Nesmith (Dan Nesmith) [7] [8] [10]
11Jörn Richts [4] [5] [7] [8] [10]
12Wolf Schaarschmidt [14]
13Arthur Sehn [4]
14Jörg H. Siekmann [7] [8] [10] [14]
15Volker Sorge [14]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)