The SCEAS System
| |||||||

## Search the dblp DataBase
Jieh Hsiang:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Hong Chen, Jieh Hsiang
**Logic Programming with Recurrence Domains.**[Citation Graph (1, 0)][DBLP] ICALP, 1991, pp:20-34 [Conf] - Jieh Hsiang, Nachum Dershowitz
**Rewrite Methods for Clausal and Non-Clausal Theorem Proving.**[Citation Graph (1, 0)][DBLP] ICALP, 1983, pp:331-346 [Conf] - Nachum Dershowitz, Jieh Hsiang, Alan Josephson, David A. Plaisted
**Associative-Commutative Rewriting.**[Citation Graph (1, 0)][DBLP] IJCAI, 1983, pp:940-944 [Conf] - Jieh Hsiang
**Refutational Theorem Proving Using Term-Rewriting Systems.**[Citation Graph (1, 0)][DBLP] Artif. Intell., 1985, v:25, n:3, pp:255-300 [Journal] - Jieh Hsiang, Jean-Pierre Jouannaud
**Tutorial on Rewrite-Based Theorem Proving.**[Citation Graph (0, 0)][DBLP] CADE, 1990, pp:684- [Conf] - Jieh Hsiang, Michaël Rusinowitch
**A New Method for Establishing Refutational Completeness in Theorem Proving.**[Citation Graph (0, 0)][DBLP] CADE, 1986, pp:141-152 [Conf] - Maria Paola Bonacina, Jieh Hsiang
**Completion Procedures as Semidecision Procedures.**[Citation Graph (0, 0)][DBLP] CTRS, 1990, pp:206-232 [Conf] - Hong Chen, Jieh Hsiang, Hwa-Chung Kong
**On Finite Representations of Infinite Sequences of Terms.**[Citation Graph (0, 0)][DBLP] CTRS, 1990, pp:100-114 [Conf] - Maria Paola Bonacina, Jieh Hsiang
**A System for Distributed Simplification-Based Theorem Proving.**[Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:370- [Conf] - Maria Paola Bonacina, Jieh Hsiang
**Distributed Deduction by Clause-Diffusion: The Aquarius Prover.**[Citation Graph (0, 0)][DBLP] DISCO, 1993, pp:272-287 [Conf] - Jen-Shin Hong, Herng-Yow Chen, Jieh Hsiang
**A digital museum of Taiwanese butterflies.**[Citation Graph (0, 0)][DBLP] ACM DL, 2000, pp:260-261 [Conf] - Jen-Shin Hong, Bai-Hsuen Chen, Jieh Hsiang
**XSL-based Content Management for Multi-presentation Digital Museum Exhibitions.**[Citation Graph (0, 0)][DBLP] ECDL, 2001, pp:378-389 [Conf] - Jieh Hsiang, Mandayam K. Srivas
**PROLOG-Based Inductive Theorem Proving.**[Citation Graph (0, 0)][DBLP] FSTTCS, 1985, pp:129-149 [Conf] - Jieh-Sheng Lee, Jieh Hsiang, Po-Hao Tsang
**A Generic Virus Detection Agent on the Internet.**[Citation Graph (0, 0)][DBLP] HICSS (4), 1997, pp:210-210 [Conf] - Hsieh-Chang Tu, Jieh Hsiang
**An Architecture and Category Knowledge for Intelligent Information Retrieval Agents.**[Citation Graph (0, 0)][DBLP] HICSS (4), 1998, pp:405-414 [Conf] - Hsieh-Chang Tu, Michael L. Lyu, Jieh Hsiang
**Agent Technology for Website Browsing and Navigation.**[Citation Graph (0, 0)][DBLP] HICSS, 1999, pp:- [Conf] - Hou Ieong Ho, Jieh Hsiang
**Configurable Meta-search for Integrating Web Public Access Catalogs.**[Citation Graph (0, 0)][DBLP] ICADL, 2005, pp:317-322 [Conf] - Jieh Hsiang, Michaël Rusinowitch
**On Word Problems in Equational Theories.**[Citation Graph (0, 0)][DBLP] ICALP, 1987, pp:54-71 [Conf] - Jieh Hsiang, Michaël Rusinowitch, Kô Sakai
**Complete Inference Rules for the Cancellation Laws.**[Citation Graph (0, 0)][DBLP] IJCAI, 1987, pp:990-992 [Conf] - Jen-Shin Hong, Bai-Hsuen Chen, Jieh Hsiang, Tien-Yu Hsu
**Content management for digital museum exhibitions.**[Citation Graph (0, 0)][DBLP] JCDL, 2001, pp:450- [Conf] - Leo Bachmair, Nachum Dershowitz, Jieh Hsiang
**Orderings for Equational Proofs**[Citation Graph (0, 0)][DBLP] LICS, 1986, pp:346-357 [Conf] - Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss
**Boolean Rings for Intersection-Based Satisfiability.**[Citation Graph (0, 0)][DBLP] LPAR, 2006, pp:482-496 [Conf] - Maria Paola Bonacina, Jieh Hsiang
**On Semantic Resolution with Lemmaizing and Contraction.**[Citation Graph (0, 0)][DBLP] PRICAI, 1996, pp:372-386 [Conf] - Jieh Hsiang, Hsieh-Chang Tu
**Personalized Web Retrieval: Three Agents for Retrieving Web Information.**[Citation Graph (0, 0)][DBLP] PRIMA, 1998, pp:118-132 [Conf] - Siva Anantharaman, Jieh Hsiang, Jalel Mzali
**SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion.**[Citation Graph (0, 0)][DBLP] RTA, 1989, pp:533-537 [Conf] - Maria Paola Bonacina, Jieh Hsiang
**On Fairness of Completion-Based Theorem Proving Strategies.**[Citation Graph (0, 0)][DBLP] RTA, 1991, pp:348-360 [Conf] - Jieh Hsiang
**Two Results in Term Rewriting Theorem Proving.**[Citation Graph (0, 0)][DBLP] RTA, 1985, pp:301-324 [Conf] - Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss
**Boolean Ring Satisfiability.**[Citation Graph (0, 0)][DBLP] SAT, 2004, pp:- [Conf] - Maria Paola Bonacina, Jieh Hsiang
**Operational and Denotational Semantics of Rewrite Programs.**[Citation Graph (0, 0)][DBLP] NACLP, 1990, pp:449-464 [Conf] - Maria Paola Bonacina, Jieh Hsiang
**On Fairness in Distributed Automated Deduction.**[Citation Graph (0, 0)][DBLP] STACS, 1993, pp:141-152 [Conf] - Jieh Hsiang, Mandayam K. Srivas
**A PROLOG Environment for Developing and Reasoning about Data Types.**[Citation Graph (0, 0)][DBLP] TAPSOFT, Vol.2, 1985, pp:276-293 [Conf] - Bee-Chung Chen, Jieh Hsiang
**A Logical Framework of Knowledge Retrieval with Fuzziness.**[Citation Graph (0, 0)][DBLP] Web Intelligence, 2004, pp:524-528 [Conf] - 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.**[Citation Graph (0, 0)][DBLP] BMC Bioinformatics, 2006, v:7, n:, pp:92- [Journal] - Jieh Hsiang, D. Frank Hsu, Yuh-Pyng Shieh
**On the hardness of counting problems of complete mappings.**[Citation Graph (0, 0)][DBLP] Discrete Mathematics, 2004, v:277, n:1-3, pp:87-100 [Journal] - 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.**[Citation Graph (0, 0)][DBLP] Expert Syst. Appl., 2006, v:30, n:1, pp:117-128 [Journal] - Maria Paola Bonacina, Jieh Hsiang
**The Clause-Diffusion Methodology for Distributed Deduction.**[Citation Graph (0, 0)][DBLP] Fundam. Inform., 1995, v:24, n:1/2, pp:177-207 [Journal] - Jieh Hsiang, Anita Wasilewska
**Automating Algebraic Proofs in Algebraic Logic.**[Citation Graph (0, 0)][DBLP] Fundam. Inform., 1996, v:28, n:1-2, pp:129-140 [Journal] - Maria Paola Bonacina, Jieh Hsiang
**On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy Analysis.**[Citation Graph (0, 0)][DBLP] Inf. Comput., 1998, v:147, n:2, pp:171-208 [Journal] - Hong Chen, Jieh Hsiang
**Recurrence Domains: Their Unification and Application to Logic Programming**[Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:122, n:1, pp:45-69 [Journal] - Jieh Hsiang, Michaël Rusinowitch
**Proving Refutational Completeness of Theorem-Proving Strategies: The Transfinite Semantic Tree Method.**[Citation Graph (0, 0)][DBLP] J. ACM, 1991, v:38, n:3, pp:559-587 [Journal] - Siva Anantharaman, Jieh Hsiang
**Automated Proofs of the Moufang Identities in Alternative Rings.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1990, v:6, n:1, pp:79-109 [Journal] - Edmund K. Burke, Jieh Hsiang
**On Subsumption in Distributed Derivations.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1994, v:12, n:2, pp:225-240 [Journal] - Maria Paola Bonacina, Jieh Hsiang
**Parallelization of Deduction Strategies: An Analytical Study.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1994, v:13, n:1, pp:1-33 [Journal] - Maria Paola Bonacina, Jieh Hsiang
**A Category-Theoretic Treatment of Automated Theorem Proving.**[Citation Graph (0, 0)][DBLP] J. Inf. Sci. Eng., 1996, v:12, n:1, pp:101-125 [Journal] - Maria Paola Bonacina, Jieh Hsiang
**On Rewrite Programs: Semantics and Relationship with Prolog.**[Citation Graph (0, 0)][DBLP] J. Log. Program., 1992, v:14, n:1&2, pp:155-180 [Journal] - Jieh Hsiang, Hélène Kirchner, Pierre Lescanne, Michaël Rusinowitch
**The Term Rewriting Approach to Automated Theorem Proving.**[Citation Graph (0, 0)][DBLP] J. Log. Program., 1992, v:14, n:1&2, pp:71-99 [Journal] - Jen-Shin Hong, Bai-Hsuan Chen, Sheng-Hao Hung, Jieh Hsiang
**Toward an integrated digital museum system - the Chi Nan experiences.**[Citation Graph (0, 0)][DBLP] Int. J. on Digital Libraries, 2005, v:5, n:3, pp:231-251 [Journal] - Jen-Shin Hong, Martin Doerr, Jieh Hsiang
**Editorial.**[Citation Graph (0, 0)][DBLP] Int. J. on Digital Libraries, 2005, v:5, n:3, pp:151-152 [Journal] - Maria Paola Bonacina, Jieh Hsiang
**Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius Prover.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1995, v:19, n:1-3, pp:245-267 [Journal] - Jieh Hsiang
**Rewrite Method for Theorem Proving in First Order Theory with Equality.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1987, v:3, n:1/2, pp:133-151 [Journal] - Hantao Zhang, Maria Paola Bonacina, Jieh Hsiang
**PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1996, v:21, n:4, pp:543-560 [Journal] - Maria Paola Bonacina, Jieh Hsiang
**On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching.**[Citation Graph (0, 0)][DBLP] New Generation Comput., 1998, v:16, n:2, pp:163-200 [Journal] - Maria Paola Bonacina, Jieh Hsiang
**Towards a Foundation of Completion Procedures as Semidecision Procedures.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1995, v:146, n:1&2, pp:199-242 [Journal] - Jieh Hsiang, Mandayam K. Srivas
**Automatic Inductive Theorem Proving Using Prolog.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1987, v:54, n:, pp:3-28 [Journal] - Hsieh-Chang Tu, Jieh Hsiang
**An architecture and category knowledge for intelligent information retrieval agents.**[Citation Graph (0, 0)][DBLP] Decision Support Systems, 2000, v:28, n:3, pp:255-268 [Journal] **On Building a Full-Text Digital Library of Historical Documents.**[Citation Graph (, )][DBLP]
Search in 0.058secs, Finished in 0.060secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |