Objects as Intensions. - Weidong Chen 005; David Scott Warren (ICLP/SLP, 1988)

C-Logic of Complex Objects. - Weidong Chen 005; David Scott Warren (PODS, 1989)

HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. - Weidong Chen 005; Michael Kifer; David Scott Warren (NACLP, 1989)

Abductive Resoning with Structured Data. - Weidong Chen 005; David Scott Warren (NACLP, 1989)

HiLog as a Platform for Database Languages. - Weidong Chen 005; Michael Kifer; David Scott Warren (IEEE Data Eng. Bull., 1989)

An Intensional Logic of (Multi-Arity) Set Abstractions. - Weidong Chen 005; David Scott Warren (ICLP, 1991)

Compilation of Predicate Abstractions in Higher-Order Logic Programming. - Weidong Chen 005; David Scott Warren (PLILP, 1991)

The Role of Expert System Shells in Hypertext Technology. - Israel Hilerio; Roger Lippert; Weidong Chen 005 (ICTAI, 1992)

Query Evaluation under the Well Founded Semantics. - Weidong Chen 005; David Scott Warren (PODS, 1993)

Goal-Directed Evaluation of Well-Founded Sematics for XSB. - Weidong Chen 005; Terrance Swift; David Scott Warren (ILPS, 1993)

HILOG: A Foundation for Higher-Order Logic Programming. - Weidong Chen 005; Michael Kifer; David Scott Warren (J. Log. Program., 1993)

A Goal-Oriented Approach to Computing the Well-Founded Semantics. - Weidong Chen 005; David Scott Warren (J. Log. Program., 1993)

A Portable Method of Integrating SLG Resolution into Prolog Systems. - R. Ramesh 001; Weidong Chen 005 (ILPS, 1994)

Sorted HiLog: Sorts in Higher-Order Logic Data Languages. - Weidong Chen 005; Michael Kifer (ICDT, 1995)

Efficient Top-Down Computation of Queries under the Well-Founded Semantics. - Weidong Chen 005; Terrance Swift; David Scott Warren (J. Log. Program., 1995)

Tabled Evaluation With Delaying for General Logic Programs. - Weidong Chen 005; David Scott Warren (J. ACM, 1996)

Predicate Abstractions in Higher-Order Logic Programming. - Weidong Chen 005; David Scott Warren (New Gener. Comput., 1996)

Computation of Stable Models and Its Integration with Logical Query Processing. - Weidong Chen 005; David Scott Warren (IEEE Trans. Knowl. Data Eng., 1996)

Herbal-T Internet Desktop. - Israel Hilerio; Weidong Chen 005 (WebNet, 1997)

A Procedural Semantics for Stratified Database Updates. - Weidong Chen 005; Julie Yu-Chih Liu (Ann. Math. Artif. Intell., 1997)

Implementation of Tabled Evaluation with Delaying in Prolog. - R. Ramesh 001; Weidong Chen 005 (IEEE Trans. Knowl. Data Eng., 1997)

Herbal-T, enabling integration, interoperability, and reusability of Internet components. - Israel Hilerio; Weidong Chen 005 (WACC, 1999)

Constructive Negation Under the Well-Founded Semantics. - Julie Yu-Chih Liu; Leroy Adams; Weidong Chen 005 (J. Log. Program., 1999)