|
Search the dblp DataBase
Xiaorong Huang:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Xiaorong Huang
Planning Reference Choices for Argumentative Texts. [Citation Graph (0, 0)][DBLP] ACL, 1997, pp:190-197 [Conf]
- Xiaorong Huang
Applications of Assertions as Elementary Tactics in Proof Planning. [Citation Graph (0, 0)][DBLP] AIMSA, 1992, pp:25-34 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] CADE, 1997, pp:252-255 [Conf]
- Xiaorong Huang
Reconstruction Proofs at the Assertion Level. [Citation Graph (0, 0)][DBLP] CADE, 1994, pp:738-752 [Conf]
- Xiaorong Huang, Armin Fiedler
Presenting Machine-Found Proofs. [Citation Graph (0, 0)][DBLP] CADE, 1996, pp:221-225 [Conf]
- Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
Omega-MKRP: A Proof Development Environment. [Citation Graph (0, 0)][DBLP] CADE, 1994, pp:788-792 [Conf]
- Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
KEIM: A Toolkit for Automated Deduction. [Citation Graph (0, 0)][DBLP] CADE, 1994, pp:807-810 [Conf]
- Xiaorong Huang
Planning Argumentative Texts. [Citation Graph (0, 0)][DBLP] COLING, 1994, pp:329-333 [Conf]
- Xiaorong Huang, Armin Fiedler
Proof Verbalization as an Application of NLG. [Citation Graph (0, 0)][DBLP] IJCAI (2), 1997, pp:965-972 [Conf]
- Xiaorong Huang
Proof Transformation Towards Human Reasoning Style. [Citation Graph (0, 0)][DBLP] GWAI, 1989, pp:37-42 [Conf]
- Xiaorong Huang
An Explanatory Framework for Human Theorem Proving. [Citation Graph (0, 0)][DBLP] GWAI, 1992, pp:55-66 [Conf]
- Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts
Adapting Methods to Novel Tasks in Proof Planning. [Citation Graph (0, 0)][DBLP] KI, 1994, pp:379-390 [Conf]
- Xiaorong Huang
Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level. [Citation Graph (0, 0)][DBLP] PRICAI, 1996, pp:399-410 [Conf]
- Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou
Adaptation of Declaratively Represented Methods in Proof Planning. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1998, v:23, n:3-4, pp:299-320 [Journal]
- Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn
Planning Mathematical Proofs with Methods. [Citation Graph (0, 0)][DBLP] Elektronische Informationsverarbeitung und Kybernetik, 1994, v:30, n:5/6, pp:277-291 [Journal]
- Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
Die Beweisentwicklungsumgebung Omega-MKRP. [Citation Graph (0, 0)][DBLP] Inform., Forsch. Entwickl., 1996, v:11, n:1, pp:20-26 [Journal]
A Structure Analysis and Trend Prediction of the Population Development in China. [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs
|