| 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 | EE | 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 |
