公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
1991 | Incompleteness of the RUE/NRF inference systems | Bonacina M. P.; Hsiang J. | Association of Automated Reasoning Newsletter | |||
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 | |||
1995 | Subsumption Revisited | Bonacina M. P.; Hsiang J. | Proceedings of Workshop on Artificial Intelligence |