Xiaorong Huang

	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
14		Christoph 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
12		Xiaorong Huang, Armin Fiedler: Presenting Machine-Found Proofs. CADE 1996: 221-225
11		Xiaorong 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
9		Xiaorong Huang: Reconstruction Proofs at the Assertion Level. CADE 1994: 738-752
8		Xiaorong 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
7		Xiaorong 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
6		Xiaorong 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

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