Xiaorong Huang

	2011
20		Xiaobing Yu, Shunsheng Guo, Jun Guo, Xiaorong Huang: An extended support vector machine forecasting framework for customer churn in e-commerce. Expert Syst. Appl. 38(3): 1425-1430 (2011)
19		Xiaobing Yu, Shunsheng Guo, Jun Guo, Xiaorong Huang: Rank B2C e-commerce websites in e-alliance based on AHP and fuzzy TOPSIS. Expert Syst. Appl. 38(4): 3550-3557 (2011)
	2009
18		Guizhi Wang, Jie Li, Jiacai Sun, Xiaorong Huang: A Structure Analysis and Trend Prediction of the Population Development in China. BIFE 2009: 817-821
	1998
17		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
16		Xiaorong Huang: Planning Reference Choices for Argumentative Texts. ACL 1997: 190-197
15		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
14		Xiaorong Huang, Armin Fiedler: Proof Verbalization as an Application of NLG. IJCAI (2) 1997: 965-972
	1996
13		Xiaorong Huang: Human oriented proof presentation - a reconstructive approach. Infix 1996: 1-174
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)	[15]
2	Lassaad Cheikhrouhou	[15] [17]
3	Detlef Fehrer	[15]
4	Armin Fiedler	[12] [14] [15]
5	Jun Guo	[19] [20]
6	Shunsheng Guo	[19] [20]
7	Manfred Kerber	[4] [5] [7] [8] [10] [15] [17]
8	Michael Kohlhase	[5] [7] [8] [10] [15]
9	Karsten Konrad	[15]
10	Jie Li	[18]
11	Andreas Meier	[15]
12	Erica Melis	[7] [8] [10] [15]
13	Daniel Nesmith (Dan Nesmith)	[7] [8] [10]
14	Jörn Richts	[4] [5] [7] [8] [10]
15	Wolf Schaarschmidt	[15]
16	Arthur Sehn	[4]
17	Jörg H. Siekmann	[7] [8] [10] [15]
18	Volker Sorge	[15]
19	Jiacai Sun	[18]
20	Guizhi Wang	[18]
21	Xiaobing Yu	[19] [20]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page