公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
1997 | Deduction Methods Based on Boolean Rings | Hsiang J. | the Proceedings of Fourteenth International Conference on Automated Deduction (CADE-14), July 1997 | | | |
2004 | Digitalizing the Heritage Archives in National Taiwan University Library | Hsiang J.; Tsai Chiung-min | International Symposium on Digital Libraries and Knowledge Communities in Networked Information Society 2004 (DLKC 2004), University of Tsukuba, Ibaraki, Japan | | | |
1998 | Digitizing Taiwan's Historical Archives--The NTU Digital Library/Museum Project | Hsiang J. | pp. 1516-1519 | | | |
2001 | Focalization in Interactive Retrieval | Hsiang J.; Tu H. C. | International Conference on Next Generation Information Technology, Beijing, June | | | |
2001 | Focalization on Interactive Retrieval | Hsiang J.; Tang Y. G. | 12th International Conference on New Information Technology (NIT | | | |
1998 | Foreword | Hsiang J. | Theoretical computer science | | | |
1996 | From Internet to the Future of Information Revolution | Hsiang J. | Workshop on Internet Technology | | | |
1997 | A generic virus detection agent on the Internet | Lee J. S.; Hsiang J.; Tsang P. H. | Proceedings of the Thirtieth Hawaii International Conference on System Sciences | | | |
1991 | Incompleteness of the RUE/NRF inference systems | Bonacina M. P.; Hsiang J. | Association of Automated Reasoning Newsletter | | | |
2003 | Modularization Framework for Digital Museum Exhibition | Chen B. H.; Hung S. H.; Hong J. S.; Hsiang J. | 2003 Joint Conference on Digital Libraries 2003 Proceedings | 4 | 0 | |
1996 | The Normal Form of Boolean Functions under Don't-care Conditions | Hsiang J.; Huang G. S. | DIMACS Workshop on Satisfiability Problems, March 1996 | | | |
1992 | On Rewrite Programs: Semantics and Relationship with Prolog | Bonacina M. P.; Hsiang J. | Journal of Logic Programming | | | |
1998 | On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching | Bonacina M. P.; Hsiang J. | New Generation Computing | | | |
1994 | On Subsumption in Distributed Deduction | Bonacina M. P.; Hsiang J. | Journal of Automated Deduction | | | |
1996 | On the notion of complexity of search in theorem proving | Bonacina M. P.; Hsiang J. | Logic Colloqium 96', Association of Symbolic Logic Annual Meeting, Spain, July 1996 | | | |
1997 | On the notion of complexity of search in theorem proving | Bonacina M. P.; Hsiang J. | Bulletin of Symbolic Logic | | | |
1996 | On the Representation of Dynamic Search Spaces in Theorem Proving | Bonacina M. P.; Hsiang J. | International Conference on Artificial Intelligence, Kaohsiung, December 1996 | | | |
1999 | Overview of a Digital Museum of Taiwanese Butterflies | Hsiang J.; Hong J. S. | International Conference on IT and Global Digital Library Development | | | |
2020 | Patent claim generation by fine-tuning OpenAI GPT-2 | Lee J.-S; Hsiang J.; JIEH HSIANG | World Patent Information | 38 | 23 | |
1998 | Personalized Web Retrieval: Three Agents for Retrieving Web Information | Hsiang J.; Tu H. C. | Pacific Rim Conference on Multi-agents, Lecture Notes in Artificial Intelligence | | | |