| |
 |      |
                                |
Note: Links lead to the DBLP on the Web. Jieh Hsiang 38 Jen-Shin Hong , Herng-Yow Chen , Jieh Hsiang: A digital museum of Taiwanese butterflies. ACM DL 2000 : 260-261 37 Jieh Hsiang, Hsieh-Chang Tu : Personalized Web Retrieval: Three Agents for Retrieving Web Information. PRIMA 1998 : 118-132 36 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) 35 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) 34 Maria Paola Bonacina , Jieh Hsiang: On Semantic Resolution with Lemmaizing and Contraction. PRICAI 1996 : 372-386 33 Jieh Hsiang, Anita Wasilewska : Automating Algebraic Proofs in Algebraic Logic. Fundamenta Informaticae 28 (1-2): 129-140 (1996) 32 Hantao Zhang , Maria Paola Bonacina , Jieh Hsiang: PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems. JSC 21 (4): 543-560 (1996) 31 Maria Paola Bonacina , Jieh Hsiang: The Clause-Diffusion Methodology for Distributed Deduction. Fundamenta Informaticae 24 (1/2): 177-207 (1995) 30 Hong Chen , Jieh Hsiang: Recurrence Domains: Their Unification and Application to Logic Programming. Information and Computation 122 (1): 45-69 (1995) 29 Maria Paola Bonacina , Jieh Hsiang: Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius Prover. JSC 19 (1-3): 245-267 (1995) 28 Maria Paola Bonacina , Jieh Hsiang: Towards a Foundation of Completion Procedures as Semidecision Procedures. TCS 146 (1&2): 199-242 (1995) 27 E. K. Burke , Jieh Hsiang: On Subsumption in Distributed Derivations. Journal of Automated Reasoning 12 (2): 225-240 (1994) 26 Maria Paola Bonacina , Jieh Hsiang: Parallelization of Deduction Strategies: An Analytical Study. Journal of Automated Reasoning 13 (1): 1-33 (1994) 25 Maria Paola Bonacina , Jieh Hsiang: Distributed Deduction by Clause-Diffusion: The Aquarius Prover. DISCO 1993 : 272-287 24 Maria Paola Bonacina , Jieh Hsiang: On Fairness in Distributed Automated Deduction. STACS 1993 : 141-152 23 Maria Paola Bonacina , Jieh Hsiang: On Rewrite Programs: Semantics and Relationship with Prolog. JLP 14 (1&2): 155-180 (1992) 22 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) 21 Hong Chen , Jieh Hsiang: Logic Programming with Recurrence Domains. ICALP 1991 : 20-34 20 Maria Paola Bonacina , Jieh Hsiang: On Fairness of Completion-Based Theorem Proving Strategies. RTA 1991 : 348-360 19 Jieh Hsiang, Michaël Rusinowitch : Proving Refutational Completeness of Theorem-Proving Strategies: The Transfinite Semantic Tree Method. JACM 38 (3): 559-587 (1991) 18 Jieh Hsiang, Jean-Pierre Jouannaud : Tutorial on Rewrite-Based Theorem Proving. CADE 1990 : 684 17 Hong Chen , Jieh Hsiang, Hwa-Chung Kong : On Finite Representations of Infinite Sequences of Terms. CTRS 1990 : 100-114 16 Maria Paola Bonacina , Jieh Hsiang: Completion Procedures as Semidecision Procedures. CTRS 1990 : 206-232 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'01 Copyright ©2002 ACM Inc. |
