The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Xiaorong Huang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Xiaorong Huang
    Planning Reference Choices for Argumentative Texts. [Citation Graph (0, 0)][DBLP]
    ACL, 1997, pp:190-197 [Conf]
  2. Xiaorong Huang
    Applications of Assertions as Elementary Tactics in Proof Planning. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1992, pp:25-34 [Conf]
  3. 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]
  4. Xiaorong Huang
    Reconstruction Proofs at the Assertion Level. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:738-752 [Conf]
  5. Xiaorong Huang, Armin Fiedler
    Presenting Machine-Found Proofs. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:221-225 [Conf]
  6. 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]
  7. 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]
  8. Xiaorong Huang
    Planning Argumentative Texts. [Citation Graph (0, 0)][DBLP]
    COLING, 1994, pp:329-333 [Conf]
  9. Xiaorong Huang, Armin Fiedler
    Proof Verbalization as an Application of NLG. [Citation Graph (0, 0)][DBLP]
    IJCAI (2), 1997, pp:965-972 [Conf]
  10. Xiaorong Huang
    Proof Transformation Towards Human Reasoning Style. [Citation Graph (0, 0)][DBLP]
    GWAI, 1989, pp:37-42 [Conf]
  11. Xiaorong Huang
    An Explanatory Framework for Human Theorem Proving. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:55-66 [Conf]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]

  17. A Structure Analysis and Trend Prediction of the Population Development in China. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002