Follow
Jieh Hsiang
Title
Cited by
Cited by
Year
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
3101996
Refutational theorem proving using term-rewriting systems
J Hsiang
Artificial Intelligence 25 (3), 255-300, 1985
2691985
Orderings for equational proofs
L Bachmair
Proc. Sympo. on Logic in Computer Science, 346-357, 1986
2641986
On word problems in equational theories
J Hsiang, M Rusinowitch
Automata, Languages and Programming: 14th International Colloquium Karlsruhe …, 1987
2341987
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
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
1462006
Patent claim generation by fine-tuning OpenAI GPT-2
JS Lee, J Hsiang
World Patent Information 62, 101983, 2020
1452020
Patent classification by fine-tuning BERT language model
JS Lee, J Hsiang
World Patent Information 61, 101965, 2020
1422020
Patentbert: Patent classification with fine-tuning a pre-trained bert model
JS Lee, J Hsiang
arXiv preprint arXiv:1906.02124, 2019
1262019
Rewrite methods for clausal and non-clausal theorem proving
J Hsiang, N Dershowitz
International Colloquium on Automata, Languages, and Programming, 331-346, 1983
1201983
Topics in automated theorem proving and program generation
J Hsiang
University of Illinois at Urbana-Champaign, 1983
851983
An architecture and category knowledge for intelligent information retrieval agents
HC Tu, J Hsiang
Decision Support Systems 28 (3), 255-268, 2000
702000
A new method for establishing refutational completeness in theorem proving
J Hsiang, M Rusinowitch
8th International Conference on Automated Deduction: Oxford, England, July …, 1986
661986
Automated proofs of the Moufang identities in alternative rings
S Anantharaman, J Hsiang
Journal of Automated Reasoning 6 (1), 79-109, 1990
641990
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
632015
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
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
582006
Towards a foundation of completion procedures as semidecision procedures
MP Bonacina, J Hsiang
Theoretical Computer Science 146 (1-2), 199-242, 1995
491995
A digital museum of Taiwanese butterflies
JS Hong, HY Chen, J Hsiang
Proceedings of the fifth ACM conference on Digital libraries, 260-261, 2000
462000
Solving open quasigroup problems by propositional reasoning
H Zhang, J Hsiang
Proceedings of the International Computer Symp., Hsinchu, Taiwan, 1994
461994
The system can't perform the operation now. Try again later.
Articles 1–20