Weidong Chen

Affiliations:
  • Southern Methodist University, Dallas, TX, USA


According to our database1, Weidong Chen authored at least 23 papers between 1988 and 1999.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1999
Constructive Negation Under the Well-Founded Semantics.
J. Log. Program., 1999

Herbal-T, enabling integration, interoperability, and reusability of Internet components.
Proceedings of the international joint conference on Work activities coordination and collaboration 1999, 1999

1997
Implementation of Tabled Evaluation with Delaying in Prolog.
IEEE Trans. Knowl. Data Eng., 1997

A Procedural Semantics for Stratified Database Updates.
Ann. Math. Artif. Intell., 1997

Herbal-T Internet Desktop.
Proceedings of WebNet 97, 1997

1996
Computation of Stable Models and Its Integration with Logical Query Processing.
IEEE Trans. Knowl. Data Eng., 1996

Predicate Abstractions in Higher-Order Logic Programming.
New Gener. Comput., 1996

Tabled Evaluation With Delaying for General Logic Programs.
J. ACM, 1996

1995
Efficient Top-Down Computation of Queries under the Well-Founded Semantics.
J. Log. Program., 1995

Sorted HiLog: Sorts in Higher-Order Logic Data Languages.
Proceedings of the Database Theory, 1995

1994
A Portable Method of Integrating SLG Resolution into Prolog Systems.
Proceedings of the Logic Programming, 1994

1993
A Goal-Oriented Approach to Computing the Well-Founded Semantics.
J. Log. Program., 1993

HILOG: A Foundation for Higher-Order Logic Programming.
J. Log. Program., 1993

Goal-Directed Evaluation of Well-Founded Sematics for XSB.
Proceedings of the Logic Programming, 1993

Query Evaluation under the Well Founded Semantics.
Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1993

1992
The Role of Expert System Shells in Hypertext Technology.
Proceedings of the Fourth International Conference on Tools with Artificial Intelligence, 1992

1991
Compilation of Predicate Abstractions in Higher-Order Logic Programming.
Proceedings of the Programming Language Implementation and Logic Programming, 1991

An Intensional Logic of (Multi-Arity) Set Abstractions.
Proceedings of the Logic Programming, 1991

1989
HiLog as a Platform for Database Languages.
IEEE Data Eng. Bull., 1989

Abductive Resoning with Structured Data.
Proceedings of the Logic Programming, 1989

HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs.
Proceedings of the Logic Programming, 1989

C-Logic of Complex Objects.
Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1989

1988
Objects as Intensions.
Proceedings of the Logic Programming, 1988


  Loading...