PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Huang, Xiaorong"

Author of the publication

copydeleteadd this publication to your clipboard
Applications of Assertions as Elementary Tactics in Proof Planning.

. AIMSA, page 25-34. (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zhenxiang Huang University of Stuttgart

Jingjing Huang University of Stuttgart

Dr. rer. nat. Shiang-Yu Huang University of Stuttgart

Dr. -Ing. Min Huang University of Stuttgart

Shih-Min Huang University of Stuttgart

 

Other publications of authors with the same name

Die Beweisentwicklungsumgebung Omega-MKRP., , , , , , and . Inform., Forsch. Entwickl., 11 (1): 20-26 (1996)Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level.. PRICAI, volume 1114 of Lecture Notes in Computer Science, page 399-410. Springer, (1996)Applications of Assertions as Elementary Tactics in Proof Planning.. AIMSA, page 25-34. (1992)An extended support vector machine forecasting framework for customer churn in e-commerce., , , and . Expert Syst. Appl., 38 (3): 1425-1430 (2011)Planning Mathematical Proofs with Methods., , , and . Elektronische Informationsverarbeitung und Kybernetik, 30 (5/6): 277-291 (1994)Adapting Methods to Novel Tasks in Proof Planning., , , and . KI, volume 861 of Lecture Notes in Computer Science, page 379-390. Springer, (1994)Adaptation of Declaratively Represented Methods in Proof Planning., , and . Ann. Math. Artif. Intell., 23 (3-4): 299-320 (1998)Proof Transformation Towards Human Reasoning Style.. GWAI, volume 216 of Informatik-Fachberichte, page 37-42. Springer, (1989)Planning Reference CHoices for Argumentative Texts.. INLG, (1994)Planning Reference Choices for Argumentative Texts.. ACL, page 190-197. Morgan Kaufmann Publishers / ACL, (1997)