`Travelled to:`

1 × Canada

1 × France

1 × Germany

1 × United Kingdom

9 × USA

`Collaborated with:`

D.S.Warren L.Yuan Y.F.Zheng R.Ramesh ∅ T.Swift M.Kifer M.Caffrey Y.Fuh N.M.Mattos B.T.Tran J.Chow J.Grandbois M.Jou Y.Wang S.Deßloch B.G.Lindsay L.DeMichel S.Rielau D.Mannhaupt

`Talks about:`

logic (5) order (4) semant (3) found (3) well (3) structur (2) abstract (2) program (2) automat (2) object (2)

## Person: Weidong Chen

### DBLP: Chen:Weidong

### Facilitated 1 volumes:

### Contributed to:

### Wrote 15 papers:

- CASE-2008-YuanZC #automation
- Automatic mixing of highly viscous bio-samples (LY, YFZ, WC), pp. 900–905.
- CASE-2007-YuanZCC #automation #using
- Automatic Mixing of Bio-Samples Using Micro-Channel and Centrifugation (LY, YFZ, WC, MC), pp. 634–639.
- VLDB-1999-ChenCFGJMTW
- High Level Indexing of User-Defined Types (WC, JHC, YCF, JG, MJ, NMM, BTT, YW), pp. 554–564.
- VLDB-1999-FuhDCMTLDRM #implementation #inheritance #sql
- Implementation of SQL3 Structured Types with Inheritance and Value Substitutability (YCF, SD, WC, NMM, BTT, BGL, LD, SR, DM), pp. 565–574.
- ILPS-1994-RameshC #prolog
- A Portable Method of Integrating SLG Resolution into Prolog Systems (RR, WC), pp. 618–632.
- ILPS-1993-ChenSW #evaluation
- Goal-Directed Evaluation of Well-Founded Sematics for XSB (WC, TS, DSW), p. 679.
- PODS-1993-ChenW #evaluation #query #semantics
- Query Evaluation under the Well Founded Semantics (WC, DSW), pp. 168–179.
- JICSLP-1992-ChenW #approach #semantics
- A Goal-Oriented Approach to Computing Well Founded Semantics (WC, DSW), pp. 589–603.
- ICLP-1991-ChenW #abstraction #logic #multi #set
- An Intensional Logic of (Multi-Arity) Set Abstractions (WC, DSW), pp. 97–110.
- PLILP-1991-ChenW #abstraction #compilation #higher-order #logic programming
- Compilation of Predicate Abstractions in Higher-Order Logic Programming (WC, DSW), pp. 287–298.
- NACLP-1989-ChenKW #first-order #higher-order #logic programming #named #semantics
- HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs (WC, MK, DSW), pp. 1090–1114.
- NACLP-1989-ChenW #abduction
- Abductive Resoning with Structured Data (WC, DSW), pp. 851–867.
- PODS-1989-ChenW
- C-Logic of Complex Objects (WC, DSW), pp. 369–378.
- JICSCP-1988-ChenW88
- Objects as Intensions (WC, DSW), pp. 404–419.
- SLP-1987-Chen87 #formal method #higher-order #logic
- A Theory of Modules Based on Second-Order Logic (WC), pp. 24–33.