Follow
Jieh Hsiang
Title
Cited by
Cited by
Year
Paramodulation-based theorem proving
J Hsiang, C Lynch, M Rusinowitch
Handbook of automated reasoning 1, 371, 2001
4862001
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
2981996
Refutational theorem proving using term-rewriting systems
J Hsiang
Artificial Intelligence 25 (3), 255-300, 1985
2601985
Orderings for equational proofs
L Bachmair
Proc. Sympo. on Logic in Computer Science, 346-357, 1986
2481986
On word problems in equational theories
J Hsiang, M Rusinowitch
International Colloquium on Automata, Languages, and Programming, 54-71, 1987
2241987
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
1831991
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), 1-8, 2006
1242006
Rewrite methods for clausal and non-clausal theorem proving
J Hsiang, N Dershowitz
International Colloquium on Automata, Languages, and Programming, 331-346, 1983
1181983
Associative-Commutative Rewriting.
N Dershowitz, J Hsiang, NA Josephson, DA Plaisted
IJCAI, 940-944, 1983
871983
Topics in automated theorem proving and program generation
J Hsiang
University of Illinois at Urbana-Champaign, 1983
871983
Patentbert: Patent classification with fine-tuning a pre-trained bert model
JS Lee, J Hsiang
arXiv preprint arXiv:1906.02124, 2019
772019
Patent claim generation by fine-tuning OpenAI GPT-2
JS Lee, J Hsiang
World Patent Information 62, 101983, 2020
742020
An architecture and category knowledge for intelligent information retrieval agents
HC Tu, J Hsiang
Decision Support Systems 28 (3), 255-268, 2000
682000
Patent classification by fine-tuning BERT language model
JS Lee, J Hsiang
World Patent Information 61, 101965, 2020
672020
A new method for establishing refutational completeness in theorem proving
J Hsiang, M Rusinowitch
International Conference on Automated Deduction, 141-152, 1986
611986
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
On finite representations of infinite sequences of terms
H Chen, J Hsiang, HC Kong
International Workshop on Conditional Term Rewriting Systems, 99-114, 1990
601990
Automated proofs of the Moufang identities in alternative rings
S Anantharaman, J Hsiang
Journal of Automated Reasoning 6 (1), 79-109, 1990
591990
Exploring alternative metrics of scholarly performance in the social sciences and humanities in Taiwan
K Chen, M Tang, C Wang, J Hsiang
Scientometrics 102 (1), 97-112, 2015
532015
Towards a foundation of completion procedures as semidecision procedures
MP Bonacina, J Hsiang
Theoretical Computer Science 146 (1-2), 199-242, 1995
491995
The system can't perform the operation now. Try again later.
Articles 1–20