フォロー
Jieh Hsiang
Jieh Hsiang
確認したメール アドレス: ntu.edu.tw
タイトル
引用先
引用先
PSATO: a distributed propositional prover and its application to quasigroup problems
H Zhang, MP Bonacina, J Hsiang
Journal of Symbolic Computation 21 (4-6), 543-560, 1996
3181996
Orderings for equational proofs
L Bachmair
Proc. Sympo. on Logic in Computer Science, 346-357, 1986
2641986
Refutational theorem proving using term-rewriting systems
J Hsiang
Artificial Intelligence 25 (3), 255-300, 1985
2631985
On word problems in equational theories
J Hsiang, M Rusinowitch
Automata, Languages and Programming: 14th International Colloquium Karlsruhe …, 1987
2381987
Patent classification by fine-tuning BERT language model
JS Lee, J Hsiang
World Patent Information 61, 101965, 2020
2042020
Proving refutational completeness of theorem-proving strategies: The transfinite semantic tree method
J Hsiang, M Rusinowitch
Journal of the ACM (JACM) 38 (3), 558-586, 1991
1901991
Patent claim generation by fine-tuning OpenAI GPT-2
JS Lee, J Hsiang
World Patent Information 62, 101983, 2020
1842020
Patentbert: Patent classification with fine-tuning a pre-trained bert model
JS Lee, J Hsiang
arXiv preprint arXiv:1906.02124, 2019
1512019
Various criteria in the evaluation of biomedical named entity recognition
RTH Tsai, SH Wu, WC Chou, YC Lin, D He, J Hsiang, TY Sung, WL Hsu
BMC bioinformatics 7, 1-8, 2006
1512006
Rewrite methods for clausal and non-clausal theorem proving
J Hsiang, N Dershowitz
International Colloquium on Automata, Languages, and Programming, 331-346, 1983
1181983
Topics in automated theorem proving and program generation
J Hsiang
University of Illinois at Urbana-Champaign, 1983
831983
An architecture and category knowledge for intelligent information retrieval agents
HC Tu, J Hsiang
Decision Support Systems 28 (3), 255-268, 2000
702000
Automated proofs of the Moufang identities in alternative rings
S Anantharaman, J Hsiang
Journal of Automated Reasoning 6 (1), 79-109, 1990
651990
A new method for establishing refutational completeness in theorem proving
J Hsiang, M Rusinowitch
8th International Conference on Automated Deduction: Oxford, England, July …, 1986
651986
On finite representations of infinite sequences of terms
H Chen, J Hsiang, HC Kong
Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop …, 1991
631991
Exploring alternative metrics of scholarly performance in the social sciences and humanities in Taiwan
K Chen, M Tang, C Wang, J Hsiang
Scientometrics 102, 97-112, 2015
602015
Integrating linguistic knowledge into a conditional random fieldframework to identify biomedical named entities
T Tsai, WC Chou, SH Wu, TY Sung, J Hsiang, WL Hsu
Expert Systems with Applications 30 (1), 117-128, 2006
602006
Towards a foundation of completion procedures as semidecision procedures
MP Bonacina, J Hsiang
Theoretical Computer Science 146 (1-2), 199-242, 1995
491995
Parallelization of deduction strategies: an analytical study
MP Bonacina, J Hsiang
Journal of Automated Reasoning 13 (1), 1-33, 1994
481994
A digital museum of Taiwanese butterflies
JS Hong, HY Chen, J Hsiang
Proceedings of the fifth ACM conference on Digital libraries, 260-261, 2000
472000
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20