| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. Jieh Hsiang 45 Jen-Shin Hong , Bai-Hsuen Chen , Jieh Hsiang: XSL-based Content Management for Multi-presentation Digital Museum Exhibitions. ECDL 2001 : 378-389 44 Jen-Shin Hong , Bai-Hsuen Chen , Jieh Hsiang, Tien-Yu Hsu : Content management for digital museum exhibitions. JCDL 2001 : 450 43 Jen-Shin Hong , Herng-Yow Chen , Jieh Hsiang: A digital museum of Taiwanese butterflies. ACM DL 2000 : 260-261 42 Hsieh-Chang Tu , Michael L. Lyu , Jieh Hsiang: Agent Technology for Website Browsing and Navigation. HICSS 1999 41 Jieh Hsiang, Atsushi Ohori : Advances in Computing Science - ASIAN '98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings. Springer 1998 40 Hsieh-Chang Tu , Jieh Hsiang: An Architecture and Category Knowledge for Intelligent Information Retrieval Agents. HICSS (4) 1998 : 405-414 39 Jieh Hsiang, Hsieh-Chang Tu : Personalized Web Retrieval: Three Agents for Retrieving Web Information. PRIMA 1998 : 118-132 38 Maria Paola Bonacina , Jieh Hsiang: On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy Analysis. Information and Computation 147 (2): 171-208 (1998) 37 Maria Paola Bonacina , Jieh Hsiang: On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching. New Generation Computing 16 (2): 163-200 (1998) 36 Maria Paola Bonacina , Jieh Hsiang: On Semantic Resolution with Lemmaizing and Contraction. PRICAI 1996 : 372-386 35 Jieh Hsiang, Anita Wasilewska : Automating Algebraic Proofs in Algebraic Logic. Fundamenta Informaticae 28 (1-2): 129-140 (1996) 34 Hantao Zhang , Maria Paola Bonacina , Jieh Hsiang: PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems. JSC 21 (4): 543-560 (1996) 33 Jieh Hsiang: Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings. Springer 1995 32 Maria Paola Bonacina , Jieh Hsiang: The Clause-Diffusion Methodology for Distributed Deduction. Fundamenta Informaticae 24 (1/2): 177-207 (1995) 31 Hong Chen , Jieh Hsiang: Recurrence Domains: Their Unification and Application to Logic Programming. Information and Computation 122 (1): 45-69 (1995) 30 Maria Paola Bonacina , Jieh Hsiang: Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius Prover. JSC 19 (1-3): 245-267 (1995) 29 Maria Paola Bonacina , Jieh Hsiang: Towards a Foundation of Completion Procedures as Semidecision Procedures. TCS 146 (1&2): 199-242 (1995) 28 E. K. Burke , Jieh Hsiang: On Subsumption in Distributed Derivations. Journal of Automated Reasoning 12 (2): 225-240 (1994) 27 Maria Paola Bonacina , Jieh Hsiang: Parallelization of Deduction Strategies: An Analytical Study. Journal of Automated Reasoning 13 (1): 1-33 (1994) 26 Maria Paola Bonacina , Jieh Hsiang: Distributed Deduction by Clause-Diffusion: The Aquarius Prover. DISCO 1993 : 272-287 25 Maria Paola Bonacina , Jieh Hsiang: On Fairness in Distributed Automated Deduction. STACS 1993 : 141-152 24 Maria Paola Bonacina , Jieh Hsiang: On Rewrite Programs: Semantics and Relationship with Prolog. JLP 14 (1&2): 155-180 (1992) 23 Jieh Hsiang, Hélène Kirchner , Pierre Lescanne , Michaël Rusinowitch : The Term Rewriting Approach to Automated Theorem Proving. JLP 14 (1&2): 71-99 (1992) 22 Hong Chen , Jieh Hsiang: Logic Programming with Recurrence Domains. ICALP 1991 : 20-34 21 Maria Paola Bonacina , Jieh Hsiang: On Fairness of Completion-Based Theorem Proving Strategies. RTA 1991 : 348-360 20 Jieh Hsiang, Michaël Rusinowitch : Proving Refutational Completeness of Theorem-Proving Strategies: The Transfinite Semantic Tree Method. JACM 38 (3): 559-587 (1991) 19 Jieh Hsiang, Jean-Pierre Jouannaud : Tutorial on Rewrite-Based Theorem Proving. CADE 1990 : 684 18 Hong Chen , Jieh Hsiang, Hwa-Chung Kong : On Finite Representations of Infinite Sequences of Terms. CTRS 1990 : 100-114 17 Maria Paola Bonacina , Jieh Hsiang: Completion Procedures as Semidecision Procedures. CTRS 1990 : 206-232 16 Maria Paola Bonacina , Jieh Hsiang: A System for Distributed Simplification-Based Theorem Proving. Dagstuhl Seminar on Parallelization in Inference Systems 1990 : 370 15 Maria Paola Bonacina , Jieh Hsiang: Operational and Denotational Semantics of Rewrite Programs. NACLP 1990 : 449-464 14 Siva Anantharaman , Jieh Hsiang: Automated Proofs of the Moufang Identities in Alternative Rings. Journal of Automated Reasoning 6 (1): 79-109 (1990) 13 Siva Anantharaman , Jieh Hsiang, Jalel Mzali : SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion. RTA 1989 : 533-537 12 Jieh Hsiang, Michaël Rusinowitch : On Word Problems in Equational Theories. ICALP 1987 : 54-71 11 Jieh Hsiang, Michaël Rusinowitch , Kô Sakai : Complete Inference Rules for the Cancellation Laws. IJCAI 1987 : 990-992 10 Jieh Hsiang: Rewrite Method for Theorem Proving in First Order Theory with Equality. JSC 3 (1/2): 133-151 (1987) 9 Jieh Hsiang, Mandayam K. Srivas : Automatic Inductive Theorem Proving Using Prolog. TCS 54 : 3-28 (1987) 8 Jieh Hsiang, Michaël Rusinowitch : A New Method for Establishing Refutational Completeness in Theorem Proving. CADE 1986 : 141-152 7 Leo Bachmair , Nachum Dershowitz , Jieh Hsiang: Orderings for Equational Proofs. LICS 1986 : 346-357 6 Jieh Hsiang, Mandayam K. Srivas : PROLOG-Based Inductive Theorem Proving. FSTTCS 1985 : 129-149 5 Jieh Hsiang: Two Results in Term Rewriting Theorem Proving. RTA 1985 : 301-324 4 Jieh Hsiang, Mandayam K. Srivas : A PROLOG Environment for Developing and Reasoning about Data Types. TAPSOFT, Vol.2 1985 : 276-293 3 Jieh Hsiang: Refutational Theorem Proving Using Term-Rewriting Systems. Artificial Intelligence 25 (3): 255-300 (1985) 2 Jieh Hsiang, Nachum Dershowitz : Rewrite Methods for Clausal and Non-Clausal Theorem Proving. ICALP 1983 : 331-346 1 Nachum Dershowitz , Jieh Hsiang, Alan Josephson , David A. Plaisted : Associative-Commutative Rewriting. IJCAI 1983 : 940-944  DiSC'02 © 2003 Association for Computing Machinery |
