Weidong Chen

Publication Activity (10 Years)

Years Active: 1988-1999
Publications (10 Years): 0

Publications

Israel Hilerio, Weidong Chen
Herbal-T, enabling integration, interoperability, and reusability of Internet components. WACC (1999)
Julie Yu-Chih Liu, Leroy Adams, Weidong Chen
Constructive Negation Under the Well-Founded Semantics. J. Log. Program. 38 (3) (1999)
Weidong Chen, Julie Yu-Chih Liu
A Procedural Semantics for Stratified Database Updates. Ann. Math. Artif. Intell. 21 (2-4) (1997)
Israel Hilerio, Weidong Chen
Herbal-T Internet Desktop. WebNet (1997)
R. Ramesh, Weidong Chen
Implementation of Tabled Evaluation with Delaying in Prolog. IEEE Trans. Knowl. Data Eng. 9 (4) (1997)
Weidong Chen, David Scott Warren
Tabled Evaluation With Delaying for General Logic Programs. J. ACM 43 (1) (1996)
Weidong Chen, David Scott Warren
Predicate Abstractions in Higher-Order Logic Programming. New Gener. Comput. 14 (2) (1996)
Weidong Chen, David Scott Warren
Computation of Stable Models and Its Integration with Logical Query Processing. IEEE Trans. Knowl. Data Eng. 8 (5) (1996)
Weidong Chen, Michael Kifer
Sorted HiLog: Sorts in Higher-Order Logic Data Languages. ICDT (1995)
Weidong Chen, Terrance Swift, David Scott Warren
Efficient Top-Down Computation of Queries under the Well-Founded Semantics. J. Log. Program. 24 (3) (1995)
R. Ramesh, Weidong Chen
A Portable Method of Integrating SLG Resolution into Prolog Systems. ILPS (1994)
Weidong Chen, Michael Kifer, David Scott Warren
HILOG: A Foundation for Higher-Order Logic Programming. J. Log. Program. 15 (3) (1993)
Weidong Chen, Terrance Swift, David Scott Warren
Goal-Directed Evaluation of Well-Founded Sematics for XSB. ILPS (1993)
Weidong Chen, David Scott Warren
A Goal-Oriented Approach to Computing the Well-Founded Semantics. J. Log. Program. 17 (2/3&4) (1993)
Weidong Chen, David Scott Warren
Query Evaluation under the Well Founded Semantics. PODS (1993)
Israel Hilerio, Roger Lippert, Weidong Chen
The Role of Expert System Shells in Hypertext Technology. ICTAI (1992)
Weidong Chen, David Scott Warren
A Goal-Oriented Approach to Computing Well Founded Semantics. JICSLP (1992)
Weidong Chen, David Scott Warren
An Intensional Logic of (Multi-Arity) Set Abstractions. ICLP (1991)
Weidong Chen, David Scott Warren
Compilation of Predicate Abstractions in Higher-Order Logic Programming. PLILP (1991)
Weidong Chen, David Scott Warren
Abductive Resoning with Structured Data. NACLP (1989)
Weidong Chen, David Scott Warren
C-Logic of Complex Objects. PODS (1989)
Weidong Chen, Michael Kifer, David Scott Warren
HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. NACLP (1989)
Weidong Chen, Michael Kifer, David Scott Warren
HiLog as a Platform for Database Languages. DBPL (1989)
Weidong Chen, Michael Kifer, David Scott Warren
HiLog as a Platform for Database Languages. IEEE Data Eng. Bull. 12 (3) (1989)
Weidong Chen, David Scott Warren
Objects as Intensions. ICLP/SLP (1988)