Obserwuj
Jieh Hsiang
Tytuł
Cytowane przez
Cytowane przez
Rok
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
3071996
Refutational theorem proving using term-rewriting systems
J Hsiang
Artificial Intelligence 25 (3), 255-300, 1985
2731985
Orderings for equational proofs
L Bachmair
Proc. Sympo. on Logic in Computer Science, 346-357, 1986
2681986
On word problems in equational theories
J Hsiang, M Rusinowitch
Automata, Languages and Programming: 14th International Colloquium Karlsruhe …, 1987
2331987
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
1861991
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
1452006
Patent classification by fine-tuning BERT language model
JS Lee, J Hsiang
World Patent Information 61, 101965, 2020
1312020
Patent claim generation by fine-tuning OpenAI GPT-2
JS Lee, J Hsiang
World Patent Information 62, 101983, 2020
1272020
Rewrite methods for clausal and non-clausal theorem proving
J Hsiang, N Dershowitz
International Colloquium on Automata, Languages, and Programming, 331-346, 1983
1221983
Patentbert: Patent classification with fine-tuning a pre-trained bert model
JS Lee, J Hsiang
arXiv preprint arXiv:1906.02124, 2019
1182019
Associative-Commutative Rewriting.
N Dershowitz, J Hsiang, NA Josephson, DA Plaisted
IJCAI, 940-944, 1983
861983
Topics in automated theorem proving and program generation
J Hsiang
University of Illinois at Urbana-Champaign, 1983
861983
An architecture and category knowledge for intelligent information retrieval agents
HC Tu, J Hsiang
Decision Support Systems 28 (3), 255-268, 2000
692000
A new method for establishing refutational completeness in theorem proving
J Hsiang, M Rusinowitch
8th International Conference on Automated Deduction: Oxford, England, July …, 1986
641986
Automated proofs of the Moufang identities in alternative rings
S Anantharaman, J Hsiang
Journal of Automated Reasoning 6 (1), 79-109, 1990
621990
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
612015
On finite representations of infinite sequences of terms
H Chen, J Hsiang, HC Kong
Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop …, 1991
611991
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
Solving open quasigroup problems by propositional reasoning
H Zhang, J Hsiang
Proceedings of the International Computer Symp., Hsinchu, Taiwan, 1994
461994
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20