Jieh Hsiang
Titolo
Citata da
Citata da
Anno
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
2781996
Refutational theorem proving using term-rewriting systems
J Hsiang
Artificial Intelligence 25 (3), 255-300, 1985
2541985
Orderings for equational proofs
L Bachmair
Proc. Sympo. on Logic in Computer Science, 346-357, 1986
2501986
On word problems in equational theories
J Hsiang, M Rusinowitch
International Colloquium on Automata, Languages, and Programming, 54-71, 1987
2181987
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
1751991
Rewrite methods for clausal and non-clausal theorem proving
J Hsiang, N Dershowitz
International Colloquium on Automata, Languages, and Programming, 331-346, 1983
1191983
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), 92, 2006
1012006
An architecture and category knowledge for intelligent information retrieval agents
HC Tu, J Hsiang
Decision Support Systems 28 (3), 255-268, 2000
952000
An intention model-based study of software piracy
TC Lin, MH Hsu, FY Kuo, PC Sun
Proceedings of the 32nd Annual Hawaii International Conference on Systemsá…, 1999
921999
TOPICS IN AUTOMATED THEOREM PROVING AND PROGRAM GENERATION.
J Hsiang
821983
Associative-Commutative Rewriting.
N Dershowitz, J Hsiang, NA Josephson, DA Plaisted
IJCAI, 940-944, 1983
811983
A new method for establishing refutational completeness in theorem proving
J Hsiang, M Rusinowitch
International Conference on Automated Deduction, 141-152, 1986
621986
Automated proofs of the Moufang identities in alternative rings
S Anantharaman, J Hsiang
Journal of Automated Reasoning 6 (1), 79-109, 1990
591990
On finite representations of infinite sequences of terms
H Chen, J Hsiang, HC Kong
International Workshop on Conditional Term Rewriting Systems, 99-114, 1990
581990
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
542006
A digital museum of Taiwanese butterflies
JS Hong, HY Chen, J Hsiang
Proceedings of the fifth ACM conference on Digital libraries, 260-261, 2000
452000
Towards a foundation of completion procedures as semidecision procedures
MP Bonacina, J Hsiang
Theoretical Computer Science 146 (1-2), 199-242, 1995
451995
Logic programming with recurrence domains
H Chen, J Hsiang
International Colloquium on Automata, Languages, and Programming, 20-34, 1991
451991
Solving open quasigroup problems by propositional reasoning
H Zhang, J Hsiang
Proceedings of the International Computer Symp., Hsinchu, Taiwan, 1994
421994
Parallelization of deduction strategies: an analytical study
MP Bonacina, J Hsiang
Journal of Automated Reasoning 13 (1), 1-33, 1994
411994
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20