|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaobing Yu, Shunsheng Guo, Jun Guo, Xiaorong Huang |
An extended support vector machine forecasting framework for customer churn in e-commerce. |
Expert Syst. Appl. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guizhi Wang, Jie Li, Jiacai Sun, Xiaorong Huang |
A Structure Analysis and Trend Prediction of the Population Development in China. |
BIFE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou |
Adaptation of Declaratively Represented Methods in Proof Planning. |
Ann. Math. Artif. Intell. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaorong Huang, Armin Fiedler |
Proof Verbalization as an Application of NLG. |
IJCAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | Xiaorong Huang |
Planning Reference Choices for Argumentative Texts. |
ACL |
1997 |
DBLP BibTeX RDF |
|
| 1 | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann |
Die Beweisentwicklungsumgebung Omega-MKRP. |
Inform., Forsch. Entwickl. |
1996 |
DBLP BibTeX RDF |
|
| 1 | Xiaorong Huang |
Human oriented proof presentation - a reconstructive approach. |
|
1996 |
RDF |
|
| 1 | Xiaorong Huang, Armin Fiedler |
Presenting Machine-Found Proofs. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaorong Huang |
Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn |
Planning Mathematical Proofs with Methods. |
Elektronische Informationsverarbeitung und Kybernetik |
1994 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaorong Huang |
Reconstruction Proofs at the Assertion Level. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaorong Huang |
Planning Argumentative Texts. |
COLING |
1994 |
DBLP BibTeX RDF |
|
| 1 | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts |
Adapting Methods to Novel Tasks in Proof Planning. |
KI |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaorong Huang |
An Explanatory Framework for Human Theorem Proving. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaorong Huang |
Applications of Assertions as Elementary Tactics in Proof Planning. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
| 1 | Xiaorong Huang |
Proof Transformation Towards Human Reasoning Style. |
GWAI |
1989 |
DBLP BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")