Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Xiaorong Huang
2010 – today
- 2011
[j5]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)- [j4]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)
2000 – 2009
- 2009
- [c14]Guizhi Wang, Jie Li, Jiacai Sun, Xiaorong Huang: A Structure Analysis and Trend Prediction of the Population Development in China. BIFE 2009: 817-821
1990 – 1999
- 1998
- [j3]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
- [c13]
- [c12]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
- [c11]Xiaorong Huang, Armin Fiedler: Proof Verbalization as an Application of NLG. IJCAI (2) 1997: 965-972
- 1996
- [b1]Xiaorong Huang: Human oriented proof presentation - a reconstructive approach. DISKI 112, Infix 1996, ISBN 978-3-89601-112-1, pp. 1-174
- [j2]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)
- [c10]
- [c9]Xiaorong Huang: Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level. PRICAI 1996: 399-410
- 1994
- [j1]Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn: Planning Mathematical Proofs with Methods. Elektronische Informationsverarbeitung und Kybernetik 30(5/6): 277-291 (1994)
- [c8]
- [c7]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
- [c6]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
- [c5]
- [c4]Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts: Adapting Methods to Novel Tasks in Proof Planning. KI 1994: 379-390
- 1992
- [c3]Xiaorong Huang: Applications of Assertions as Elementary Tactics in Proof Planning. AIMSA 1992: 25-34
- [c2]
1980 – 1989
- 1989
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:15 CEST by the dblp team