Weidong Chen

26 papers A* 2A 1B 2Journal 10Unranked 10
YearRankTypeTitle / Venue / Authors
2000 — ed.
Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, May 16-18, 2000, Dallas, Texas, USA.
SIGMOD Conference
Weidong Chen, Jeffrey F. Naughton, Philip A. Bernstein
1999 J jnl
Constructive Negation Under the Well-Founded Semantics.
J. Log. Program.
Julie Yu-Chih Liu, Leroy Adams, Weidong Chen
1999 — conf
Herbal-T, enabling integration, interoperability, and reusability of Internet components.
WACC
Israel Hilerio, Weidong Chen
1997 J jnl
A Procedural Semantics for Stratified Database Updates.
Ann. Math. Artif. Intell.
Weidong Chen, Julie Yu-Chih Liu
1997 — conf
Herbal-T Internet Desktop.
WebNet
Israel Hilerio, Weidong Chen
1997 J jnl
Implementation of Tabled Evaluation with Delaying in Prolog.
IEEE Trans. Knowl. Data Eng.
R. Ramesh, Weidong Chen
1996 J jnl
Computation of Stable Models and Its Integration with Logical Query Processing.
IEEE Trans. Knowl. Data Eng.
Weidong Chen, David Scott Warren
1996 J jnl
Predicate Abstractions in Higher-Order Logic Programming.
New Gener. Comput.
Weidong Chen, David Scott Warren
1996 J jnl
Tabled Evaluation With Delaying for General Logic Programs.
J. ACM
Weidong Chen, David Scott Warren
1995 J jnl
Efficient Top-Down Computation of Queries under the Well-Founded Semantics.
J. Log. Program.
Weidong Chen, Terrance Swift, David Scott Warren
1995 A conf
Sorted HiLog: Sorts in Higher-Order Logic Data Languages.
ICDT
Weidong Chen, Michael Kifer
1994 — conf
A Portable Method of Integrating SLG Resolution into Prolog Systems.
ILPS
R. Ramesh, Weidong Chen
1993 J jnl
A Goal-Oriented Approach to Computing the Well-Founded Semantics.
J. Log. Program.
Weidong Chen, David Scott Warren
1993 — conf
Goal-Directed Evaluation of Well-Founded Sematics for XSB.
ILPS
Weidong Chen, Terrance Swift, David Scott Warren
1993 J jnl
HILOG: A Foundation for Higher-Order Logic Programming.
J. Log. Program.
Weidong Chen, Michael Kifer, David Scott Warren
1993 A* conf
Query Evaluation under the Well Founded Semantics.
PODS
Weidong Chen, David Scott Warren
1992 — conf
A Goal-Oriented Approach to Computing Well Founded Semantics.
JICSLP
Weidong Chen, David Scott Warren
1992 B conf
The Role of Expert System Shells in Hypertext Technology.
ICTAI
Israel Hilerio, Roger Lippert, Weidong Chen
1991 B conf
An Intensional Logic of (Multi-Arity) Set Abstractions.
ICLP
Weidong Chen, David Scott Warren
1991 — conf
Compilation of Predicate Abstractions in Higher-Order Logic Programming.
PLILP
Weidong Chen, David Scott Warren
1989 — conf
Abductive Resoning with Structured Data.
NACLP
Weidong Chen, David Scott Warren
1989 A* conf
C-Logic of Complex Objects.
PODS
Weidong Chen, David Scott Warren
1989 — conf
HiLog as a Platform for Database Languages.
DBPL
Weidong Chen, Michael Kifer, David Scott Warren
1989 J jnl
HiLog as a Platform for Database Languages.
IEEE Data Eng. Bull.
Weidong Chen, Michael Kifer, David Scott Warren
1989 — conf
HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs.
NACLP
Weidong Chen, Michael Kifer, David Scott Warren
1988 — conf
Objects as Intensions.
ICLP/SLP
Weidong Chen, David Scott Warren