公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
1994 | Parallelization of deduction strategies: An analytical study | Bonacina, M.P.; Hsiang, J.; JIEH HSIANG | Journal of Automated Reasoning | 21 | 21 | |
2020 | Patent claim generation by fine-tuning OpenAI GPT-2 | Lee J.-S; Hsiang J.; JIEH HSIANG | World Patent Information | 38 | 23 | |
2020 | Patent classification by fine-tuning BERT language model | Lee, J.-S.; Hsiang, J.; JIEH HSIANG | World Patent Information | 80 | 45 | |
2020 | PatentTransformer-1.5: Measuring Patent Claim Generation by Span Relevancy | Lee, J.-S.; Hsiang, J.; JIEH HSIANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 1 | 0 | |
1999 | Personalized web retrieval: Three agents for retrieving web information | Hsiang, J.; Tu, H.-C.; JIEH HSIANG | Lecture Notes in Computer Science | 2 | | |
1998 | Personalized Web Retrieval: Three Agents for Retrieving Web Information. | Hsiang, Jieh; Tu, Hsieh-Chang; JIEH HSIANG | Multiagent Platforms, First Pacific Rim International Workshop on Multi-Agents, PRIMA '98, Singapore, November 23, 1998, Selected Papers | 2 | 0 | |
1998 | Preface | Hsiang, J.; Ohori, A.; JIEH HSIANG | Lecture Notes in Computer Science | | | |
1995 | Preface | JIEH HSIANG | Lecture Notes in Computer Science | | | |
2021 | Prior art search and reranking for generated patent text | Lee J.-S; JIEH HSIANG | CEUR Workshop Proceedings | 2 | | |
1985 | A PROLOG Environment for Developing and Reasoning about Data Types. | Hsiang, Jieh; Srivas, Mandayam K.; JIEH HSIANG | Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE) | 4 | 0 | |
1986 | Prolog-based Inductive Theorem Proving | Hsiang, Jieh; Srivas, M. K.; JIEH HSIANG | 5th Foundations of Software Technolong Theoretical Computer Science | | | |
1985 | PROLOG-Based Inductive Theorem Proving. | Hsiang, Jieh; Srivas, Mandayam K.; JIEH HSIANG | Foundations of Software Technology and Theoretical Computer Science, Fifth Conference, New Delhi, India, December 16-18, 1985, Proceedings | 1 | 0 | |
1991 | Proving Refutational Completeness of Theorem-Proving Strategies: The Transfinite Semantic Tree Method. | Hsiang, Jieh; Rusinowitch, Micha?l; JIEH HSIANG | J. ACM | 3 | 0 | |
1991 | Proving Refutational Completeness of Theovem-Proving Strategies:The Transfinite Semantic Tree Method | Rusinowitch, M.; 項潔; Hsiang, Jieh | Journal of the Association for Computing Machinery | | | |
1996 | PSATO: A distributed propositional prover and its application to quasigroup problems | ZHANG, HANTAO; BONACINA, MARIA PAOLA; HSIANG, JIEHZhang, H.; Bonacina, M.P.; JIEH HSIANG | | 150 | 97 | |
1995 | Recurrence Domains:Their Unification and Application to Logic Programming | Chen, H.; 項潔; Hsiang, Jieh | Information and Computation | 7 | 4 | |
1985 | Refutational theorem proving using term-rewriting systems | JIEH HSIANG | Artificial Intelligence | 131 | 102 | |
1987 | Refutational Theorem Proving with Oriented Equations | Dershowitz, N.; Hsiang, Jieh; JIEH HSIANG | Colloquium on the Resolution of Equations in Algebraic Structures | | | |
2010 | Relevance model revisited: With multiple document representations | Chen, R.-C.; Tsai, C.-M.; Hsiang, J.; JIEH HSIANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 0 | 0 | |
2010 | Relevance Model Revisited: With Multiple Document Representations. | Chen, Ruey-Cheng; Tsai, Chiung-Min; Hsiang, Jieh; JIEH HSIANG | Information Retrieval Technology - 6th Asia Information Retrieval Societies Conference, AIRS 2010, Taipei, Taiwan, December 1-3, 2010. Proceedings | 0 | 0 | |