Jieh Hsiang

Jieh Hsiang, Shih-Pei Chen, Hou Ieong Ho, Hsieh-Chang Tu: Discovering relationships from imperial court documents of Qing China. IJHAC 6(1-2): 22-41 (2012)

Ruey-Cheng Chen, Chia-Jung Lee, Chiung-Min Tsai, Jieh Hsiang: Information preservation in static index pruning. CIKM 2012: 2487-2490

Jieh Hsiang, Shu-Fen H. Lin: Breathing New Life into Static Materials. HICSS 2011: 1-5

Ruey-Cheng Chen, Chiung-Min Tsai, Jieh Hsiang: Relevance Model Revisited: With Multiple Document Representations. AIRS 2010: 37-48

Hou Ieong Ho, Jieh Hsiang: Effectiveness of Social Networking in a University Library Environment . KMIS 2010: 307-310

Kuang-hua Chen, Jieh Hsiang: The unique approach to institutional repository: Practice of National Taiwan University. The Electronic Library 27(2): 204-221 (2009)

Szu-Pei Chen, Jieh Hsiang, Hsieh-Chang Tu, Micha Wu: On Building a Full-Text Digital Library of Historical Documents. ICADL 2007: 49-60

Richard Tzong-Han Tsai, Shih-Hung Wu, Wen-Chi Chou, Yu-Chun Lin, Ding He, Jieh Hsiang, Ting-Yi Sung, Wen-Lian Hsu: Various criteria in the evaluation of biomedical named entity recognition. BMC Bioinformatics 7: 92 (2006)

Tzong-Han Tsai, Wen-Chi Chou, Shih-Hung Wu, Ting-Yi Sung, Jieh Hsiang, Wen-Lian Hsu: Integrating linguistic knowledge into a conditional random fieldframework to identify biomedical named entities. Expert Syst. Appl. 30(1): 117-128 (2006)

Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss: Boolean Rings for Intersection-Based Satisfiability. LPAR 2006: 482-496

Jen-Shin Hong, Martin Doerr, Jieh Hsiang: Editorial. Int. J. on Digital Libraries 5(3): 151-152 (2005)

Jen-Shin Hong, Bai-Hsuan Chen, Sheng-Hao Hung, Jieh Hsiang: Toward an integrated digital museum system - the Chi Nan experiences. Int. J. on Digital Libraries 5(3): 231-251 (2005)

Hou Ieong Ho, Jieh Hsiang: Configurable Meta-search for Integrating Web Public Access Catalogs. ICADL 2005: 317-322

Jieh Hsiang, D. Frank Hsu, Yuh-Pyng Shieh: On the hardness of counting problems of complete mappings. Discrete Mathematics 277(1-3): 87-100 (2004)

Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss: Boolean Ring Satisfiability. SAT 2004

Bee-Chung Chen, Jieh Hsiang: A Logical Framework of Knowledge Retrieval with Fuzziness. Web Intelligence 2004: 524-528

Jieh Hsiang, Wen-Jun Liu, Bee-Chung Chen, Hsieh-Chang Tu: Multidimensional interactive fine-grained image retrieval. ICME 2003: 297-300

Chao-Chen Chen, Hsueh-hua Chen, Kuang-hua Chen, Jieh Hsiang: The design of metadata for the Digital Museum Initiative in Taiwan. Online Information Review 26(5): 295-306 (2002)

Jen-Shin Hong, Bai-Hsuen Chen, Jieh Hsiang: XSL-based Content Management for Multi-presentation Digital Museum Exhibitions. ECDL 2001: 378-389

Jen-Shin Hong, Bai-Hsuen Chen, Jieh Hsiang, Tien-Yu Hsu: Content management for digital museum exhibitions. JCDL 2001: 450

Hsieh-Chang Tu, Jieh Hsiang: An architecture and category knowledge for intelligent information retrieval agents. Decision Support Systems 28(3): 255-268 (2000)

Jen-Shin Hong, Herng-Yow Chen, Jieh Hsiang: A digital museum of Taiwanese butterflies. ACM DL 2000: 260-261

Hsieh-Chang Tu, Michael L. Lyu, Jieh Hsiang: Agent Technology for Website Browsing and Navigation. HICSS 1999

Maria Paola Bonacina, Jieh Hsiang: On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy Analysis. Inf. Comput. 147(2): 171-208 (1998)

Maria Paola Bonacina, Jieh Hsiang: On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching. New Generation Comput. 16(2): 163-200 (1998)

Hsieh-Chang Tu, Jieh Hsiang: An Architecture and Category Knowledge for Intelligent Information Retrieval Agents. HICSS (4) 1998: 405-414

Jieh Hsiang, Hsieh-Chang Tu: Personalized Web Retrieval: Three Agents for Retrieving Web Information. PRIMA 1998: 118-132

Jieh Hsiang, Atsushi Ohori (Eds.): Advances in Computing Science - ASIAN '98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings. Lecture Notes in Computer Science 1538, Springer 1998, isbn 3-540-65388-0

Jieh-Sheng Lee, Jieh Hsiang, Po-Hao Tsang: A Generic Virus Detection Agent on the Internet. HICSS (4) 1997: 210-210

Jieh Hsiang, Anita Wasilewska: Automating Algebraic Proofs in Algebraic Logic. Fundam. Inform. 28(1-2): 129-140 (1996)

Maria Paola Bonacina, Jieh Hsiang: A Category-Theoretic Treatment of Automated Theorem Proving. J. Inf. Sci. Eng. 12(1): 101-125 (1996)

Hantao Zhang, Maria Paola Bonacina, Jieh Hsiang: PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems. J. Symb. Comput. 21(4): 543-560 (1996)

Maria Paola Bonacina, Jieh Hsiang: On Semantic Resolution with Lemmaizing and Contraction. PRICAI 1996: 372-386

Maria Paola Bonacina, Jieh Hsiang: The Clause-Diffusion Methodology for Distributed Deduction. Fundam. Inform. 24(1/2): 177-207 (1995)

Hong Chen, Jieh Hsiang: Recurrence Domains: Their Unification and Application to Logic Programming. Inf. Comput. 122(1): 45-69 (1995)

Maria Paola Bonacina, Jieh Hsiang: Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius Prover. J. Symb. Comput. 19(1-3): 245-267 (1995)

Maria Paola Bonacina, Jieh Hsiang: Towards a Foundation of Completion Procedures as Semidecision Procedures. Theor. Comput. Sci. 146(1&2): 199-242 (1995)

Jieh Hsiang (Ed.): Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings. Lecture Notes in Computer Science 914, Springer 1995, isbn 3-540-59200-8

Edmund K. Burke, Jieh Hsiang: On Subsumption in Distributed Derivations. J. Autom. Reasoning 12(2): 225-240 (1994)

Maria Paola Bonacina, Jieh Hsiang: Parallelization of Deduction Strategies: An Analytical Study. J. Autom. Reasoning 13(1): 1-33 (1994)

Maria Paola Bonacina, Jieh Hsiang: Distributed Deduction by Clause-Diffusion: The Aquarius Prover. DISCO 1993: 272-287

Maria Paola Bonacina, Jieh Hsiang: On Fairness in Distributed Automated Deduction. STACS 1993: 141-152

Jieh Hsiang, Hélène Kirchner, Pierre Lescanne, Michaël Rusinowitch: The Term Rewriting Approach to Automated Theorem Proving. J. Log. Program. 14(1&2): 71-99 (1992)

Maria Paola Bonacina, Jieh Hsiang: On Rewrite Programs: Semantics and Relationship with Prolog. J. Log. Program. 14(1&2): 155-180 (1992)

Jieh Hsiang, Michaël Rusinowitch: Proving Refutational Completeness of Theorem-Proving Strategies: The Transfinite Semantic Tree Method. J. ACM 38(3): 559-587 (1991)

Hong Chen, Jieh Hsiang: Logic Programming with Recurrence Domains. ICALP 1991: 20-34

Maria Paola Bonacina, Jieh Hsiang: On Fairness of Completion-Based Theorem Proving Strategies. RTA 1991: 348-360

Siva Anantharaman, Jieh Hsiang: Automated Proofs of the Moufang Identities in Alternative Rings. J. Autom. Reasoning 6(1): 79-109 (1990)

Jieh Hsiang, Jean-Pierre Jouannaud: Tutorial on Rewrite-Based Theorem Proving. CADE 1990: 684

Hong Chen, Jieh Hsiang, Hwa-Chung Kong: On Finite Representations of Infinite Sequences of Terms. CTRS 1990: 100-114

Maria Paola Bonacina, Jieh Hsiang: Completion Procedures as Semidecision Procedures. CTRS 1990: 206-232

Maria Paola Bonacina, Jieh Hsiang: A System for Distributed Simplification-Based Theorem Proving. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 370

Maria Paola Bonacina, Jieh Hsiang: Operational and Denotational Semantics of Rewrite Programs. NACLP 1990: 449-464

Siva Anantharaman, Jieh Hsiang, Jalel Mzali: SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion. RTA 1989: 533-537

Jieh Hsiang: Rewrite Method for Theorem Proving in First Order Theory with Equality. J. Symb. Comput. 3(1/2): 133-151 (1987)

Jieh Hsiang, Mandayam K. Srivas: Automatic Inductive Theorem Proving Using Prolog. Theor. Comput. Sci. 54: 3-28 (1987)

Jieh Hsiang, Michaël Rusinowitch: On Word Problems in Equational Theories. ICALP 1987: 54-71

Jieh Hsiang, Michaël Rusinowitch, Kô Sakai: Complete Inference Rules for the Cancellation Laws. IJCAI 1987: 990-992

Jieh Hsiang, Michaël Rusinowitch: A New Method for Establishing Refutational Completeness in Theorem Proving. CADE 1986: 141-152

Leo Bachmair, Nachum Dershowitz, Jieh Hsiang: Orderings for Equational Proofs. LICS 1986: 346-357

Jieh Hsiang: Refutational Theorem Proving Using Term-Rewriting Systems. Artif. Intell. 25(3): 255-300 (1985)

Jieh Hsiang, Mandayam K. Srivas: PROLOG-Based Inductive Theorem Proving. FSTTCS 1985: 129-149

Jieh Hsiang: Two Results in Term Rewriting Theorem Proving. RTA 1985: 301-324

Jieh Hsiang, Mandayam K. Srivas: A PROLOG Environment for Developing and Reasoning about Data Types. TAPSOFT, Vol.2 1985: 276-293

Jieh Hsiang, Nachum Dershowitz: Rewrite Methods for Clausal and Non-Clausal Theorem Proving. ICALP 1983: 331-346

Nachum Dershowitz, Jieh Hsiang, N. Alan Josephson, David A. Plaisted: Associative-Commutative Rewriting. IJCAI 1983: 940-944