Search the dblp DataBase
Weidong Chen :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Weidong Chen , Michael Kifer , David Scott Warren HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. [Citation Graph (21, 0)][DBLP ] NACLP, 1989, pp:1090-1114 [Conf ] Weidong Chen , David Scott Warren C-Logic of Complex Objects. [Citation Graph (18, 17)][DBLP ] PODS, 1989, pp:369-378 [Conf ] Weidong Chen , Michael Kifer , David Scott Warren HiLog as a Platform for Database Languages. [Citation Graph (12, 18)][DBLP ] DBPL, 1989, pp:315-329 [Conf ] Weidong Chen , Michael Kifer , David Scott Warren HILOG: A Foundation for Higher-Order Logic Programming. [Citation Graph (8, 0)][DBLP ] J. Log. Program., 1993, v:15, n:3, pp:187-230 [Journal ] Weidong Chen Declarative Specification and Evaluation of Database Updates. [Citation Graph (7, 0)][DBLP ] DOOD, 1991, pp:147-166 [Conf ] Weidong Chen , David Scott Warren Query Evaluation under the Well Founded Semantics. [Citation Graph (6, 22)][DBLP ] PODS, 1993, pp:168-179 [Conf ] Weidong Chen , Terrance Swift , David Scott Warren Efficient Top-Down Computation of Queries under the Well-Founded Semantics. [Citation Graph (4, 0)][DBLP ] J. Log. Program., 1995, v:24, n:3, pp:161-199 [Journal ] Weidong Chen , David Scott Warren A Goal-Oriented Approach to Computing Well Founded Semantics. [Citation Graph (3, 0)][DBLP ] JICSLP, 1992, pp:589-603 [Conf ] Weidong Chen A Theory of Modules Based on Second-Order Logic. [Citation Graph (3, 0)][DBLP ] SLP, 1987, pp:24-33 [Conf ] Weidong Chen , David Scott Warren Tabled Evaluation With Delaying for General Logic Programs. [Citation Graph (3, 0)][DBLP ] J. ACM, 1996, v:43, n:1, pp:20-74 [Journal ] Weidong Chen Query Evaluation in Deductive Databases with Alternating Fixpoint Semantics [Citation Graph (3, 17)][DBLP ] ACM Trans. Database Syst., 1995, v:20, n:3, pp:239-287 [Journal ] R. Ramesh , Weidong Chen A Portable Method of Integrating SLG Resolution into Prolog Systems. [Citation Graph (2, 0)][DBLP ] SLP, 1994, pp:618-632 [Conf ] Weidong Chen , David Scott Warren Objects as Intensions. [Citation Graph (1, 0)][DBLP ] ICLP/SLP, 1988, pp:404-419 [Conf ] You-Chin Fuh , Stefan Deßloch , Weidong Chen , Nelson Mendonça Mattos , Brian T. Tran , Bruce G. Lindsay , Linda DeMichel , Serge Rielau , Danko Mannhaupt Implementation of SQL3 Structured Types with Inheritance and Value Substitutability. [Citation Graph (1, 2)][DBLP ] VLDB, 1999, pp:565-574 [Conf ] Weidong Chen Extending Prolog with Nonmonotonic Reasoning. [Citation Graph (1, 0)][DBLP ] J. Log. Program., 1996, v:27, n:2, pp:169-183 [Journal ] Weidong Chen , David Scott Warren A Goal-Oriented Approach to Computing the Well-Founded Semantics. [Citation Graph (1, 0)][DBLP ] J. Log. Program., 1993, v:17, n:2/3&4, pp:279-300 [Journal ] Weidong Chen Declarative Updates of Relational Databases. [Citation Graph (1, 23)][DBLP ] ACM Trans. Database Syst., 1995, v:20, n:1, pp:42-70 [Journal ] Apostol Natsev , Gene Y. C. Fuh , Weidong Chen , Chi-Huang Chiu , Jeffrey Scott Vitter Aggregate Predicate Support in DBMS. [Citation Graph (0, 0)][DBLP ] Australasian Database Conference, 2002, pp:- [Conf ] Tianbing Xu , Weidong Chen A Fast Adaptive Statistical Genetic Motion Search Algorithm for H.264/AVC^1. [Citation Graph (0, 0)][DBLP ] AINA (1), 2006, pp:553-558 [Conf ] Yong Liu , Congfu Xu , Zhaohui Wu , Weidong Chen , Yunhe Pan A Finite State Mobile Agent Computation Model. [Citation Graph (0, 0)][DBLP ] APWeb, 2004, pp:152-157 [Conf ] Yong Liu , Congfu Xu , Zhaohui Wu , Weidong Chen , Yunhe Pan A Virtual Organization Based Mobile Agent Computation Model. [Citation Graph (0, 0)][DBLP ] GCC (2), 2003, pp:677-682 [Conf ] Qingshu Yuan , Dongming Lu , Weidong Chen , Yunhe Pan MultiPro: A Platform for PC Cluster Based Active Stereo Display System. [Citation Graph (0, 0)][DBLP ] ICCSA (1), 2005, pp:865-874 [Conf ] Weidong Chen , Eric C. Lin Route Optimization and Location Updates for Mobile Hosts. [Citation Graph (0, 0)][DBLP ] ICDCS, 1996, pp:319-326 [Conf ] Weidong Chen , Michael Kifer Sorted HiLog: Sorts in Higher-Order Logic Data Languages. [Citation Graph (0, 21)][DBLP ] ICDT, 1995, pp:252-265 [Conf ] Weidong Chen , David Scott Warren An Intensional Logic of (Multi-Arity) Set Abstractions. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:97-110 [Conf ] Weidong Chen , Changhong Fan , Yugeng Xi On-line safe path planning in unknown environments. [Citation Graph (0, 0)][DBLP ] ICRA, 2003, pp:4191-4196 [Conf ] Israel Hilerio , Roger Lippert , Weidong Chen The Role of Expert System Shells in Hypertext Technology. [Citation Graph (0, 0)][DBLP ] ICTAI, 1992, pp:434-441 [Conf ] Jianhua Dai , Weidong Chen , Hongying Gu , Yunhe Pan Particle Swarm Algorithm for Minimal Attribute Reduction of Decision Data Tables. [Citation Graph (0, 0)][DBLP ] IMSCCS (2), 2006, pp:572-575 [Conf ] Yi Li , Weidong Chen , Dongming Lu , Lei Zhao Applying Natural Neighbor Coordinates for Electromagnetic Tracker Calibration. [Citation Graph (0, 0)][DBLP ] ISCIS, 2006, pp:353-362 [Conf ] Weidong Chen , David Scott Warren Compilation of Predicate Abstractions in Higher-Order Logic Programming. [Citation Graph (0, 0)][DBLP ] PLILP, 1991, pp:287-298 [Conf ] Jianqiang Jia , Weidong Chen , Yugeng Xi A Rule-Driven Autonomous Robotic System Operating in a Time-Varying Environment. [Citation Graph (0, 0)][DBLP ] RoboCup, 2003, pp:487-494 [Conf ] Jian-Hua Dai , Hanfei Lv , Weidong Chen , Yunhe Pan Two Kinds of Rough Algebras and Brouwer-Zadeh Lattices. [Citation Graph (0, 0)][DBLP ] RSCTC, 2006, pp:99-106 [Conf ] Jianhua Dai , Weidong Chen , Yunhe Pan Rough Sets and Brouwer-Zadeh Lattices. [Citation Graph (0, 0)][DBLP ] RSKT, 2006, pp:200-207 [Conf ] Weidong Chen , Terrance Swift , David Scott Warren Goal-Directed Evaluation of Well-Founded Sematics for XSB. [Citation Graph (0, 0)][DBLP ] ILPS, 1993, pp:679- [Conf ] Weidong Chen , David Scott Warren Abductive Resoning with Structured Data. [Citation Graph (0, 0)][DBLP ] NACLP, 1989, pp:851-867 [Conf ] Jinlong Wang , Congfu Xu , Weidong Chen , Yunhe Pan Survey of the study on frequent pattern mining in data streams. [Citation Graph (0, 0)][DBLP ] SMC (6), 2004, pp:5917-5922 [Conf ] Weidong Chen , Jyh-Herng Chow , You-Chin Fuh , Jean Grandbois , Michelle Jou , Nelson Mendonça Mattos , Brian T. Tran , Yun Wang High Level Indexing of User-Defined Types. [Citation Graph (0, 22)][DBLP ] VLDB, 1999, pp:554-564 [Conf ] Israel Hilerio , Weidong Chen Herbal-T, enabling integration, interoperability, and reusability of Internet components. [Citation Graph (0, 0)][DBLP ] WACC, 1999, pp:49-58 [Conf ] Israel Hilerio , Weidong Chen Herbal-T Internet Desktop. [Citation Graph (0, 0)][DBLP ] WebNet, 1997, pp:- [Conf ] Jianhua Dai , Weidong Chen , Yunhe Pan Sequent calculus system for rough sets based on rough Stone algebras. [Citation Graph (0, 0)][DBLP ] GrC, 2005, pp:423-426 [Conf ] Weidong Chen , Julie Yu-Chih Liu A Procedural Semantics for Stratified Database Updates. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 1997, v:21, n:2-4, pp:187-220 [Journal ] Ted Pedersen , Weidong Chen Lexical Acquisition via Constraint Solving [Citation Graph (0, 0)][DBLP ] CoRR, 1995, v:0, n:, pp:- [Journal ] Weidong Chen , Michael Kifer , David Scott Warren HiLog as a Platform for Database Languages. [Citation Graph (0, 0)][DBLP ] IEEE Data Eng. Bull., 1989, v:12, n:3, pp:37-44 [Journal ] Weidong Chen , Jinghong Zeng Nondeterminism Through Well-Founded Choice. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1996, v:26, n:3, pp:285-309 [Journal ] Julie Yu-Chih Liu , Leroy Adams , Weidong Chen Constructive Negation Under the Well-Founded Semantics. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1999, v:38, n:3, pp:295-330 [Journal ] Yu Wang , Weidong Chen Supporting IP Multicast for Mobile Hosts. [Citation Graph (0, 0)][DBLP ] MONET, 2001, v:6, n:1, pp:57-66 [Journal ] Weidong Chen , David Scott Warren Predicate Abstractions in Higher-Order Logic Programming. [Citation Graph (0, 0)][DBLP ] New Generation Comput., 1996, v:14, n:2, pp:195-236 [Journal ] Weidong Chen Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning. [Citation Graph (0, 27)][DBLP ] IEEE Trans. Knowl. Data Eng., 1997, v:9, n:4, pp:587-599 [Journal ] Weidong Chen , David Scott Warren Computation of Stable Models and Its Integration with Logical Query Processing. [Citation Graph (0, 31)][DBLP ] IEEE Trans. Knowl. Data Eng., 1996, v:8, n:5, pp:742-757 [Journal ] R. Ramesh , Weidong Chen Implementation of Tabled Evaluation with Delaying in Prolog. [Citation Graph (0, 19)][DBLP ] IEEE Trans. Knowl. Data Eng., 1997, v:9, n:4, pp:559-574 [Journal ] Weidong Chen , Wenjun Xiao , Behrooz Parhami An Efficient Construction of Node Disjoint Paths in OTIS Networks. [Citation Graph (0, 0)][DBLP ] APPT, 2007, pp:180-189 [Conf ] Mingxin He , Wenjun Xiao , Weidong Chen , Wenhong Wei , Zhen Zhang General Biswapped Networks and Their Topological Properties. [Citation Graph (0, 0)][DBLP ] APPT, 2007, pp:414-422 [Conf ] Xin Ma , Qin Zhang , Weidong Chen , Yibin Li Immunity-Based Adaptive Genetic Algorithm for Multi-robot Cooperative Exploration. [Citation Graph (0, 0)][DBLP ] ICIC (2), 2007, pp:605-616 [Conf ] Yuan F. Zheng , Weidong Chen Robot Team Forming of Membrane Proteins in Crystallization. [Citation Graph (0, 0)][DBLP ] ICRA, 2004, pp:1462-1467 [Conf ] Jianqiang Jia , Weidong Chen , Yugeng Xi Design and Implementation of an Open Autonomous Mobile Robot System. [Citation Graph (0, 0)][DBLP ] ICRA, 2004, pp:1726-1731 [Conf ] Fei Zhang , Weidong Chen , Yugeng Xi Improving Collaboration through Fusion of Bid Information for Market-based Multi-robot Exploration. [Citation Graph (0, 0)][DBLP ] ICRA, 2005, pp:1157-1162 [Conf ] Yuan F. Zheng , Weidong Chen Mobile robot team forming for crystallization of proteins. [Citation Graph (0, 0)][DBLP ] Auton. Robots, 2007, v:23, n:1, pp:69-78 [Journal ] The Application of Natural Neighbor Interpolation in Real-Time Environments. [Citation Graph (, )][DBLP ] Constructing Node-Disjoint Paths in Biswapped Networks (BSNs). [Citation Graph (, )][DBLP ] Sparsing of information matrix for practical application of a robot's SLAM. [Citation Graph (, )][DBLP ] Biswapped Networks and Their Topological Properties. [Citation Graph (, )][DBLP ] Analysis of Neuronal Ensembles Encoding Model in Invasive Brain-computer Interface Study using Radial-Basis-Function Networks. [Citation Graph (, )][DBLP ] A Novel Localization System Based on Infrared Vision for Outdoor Mobile Robot. [Citation Graph (, )][DBLP ] A Study of Using Blended Learning in Teaching and Learning Modern Educational Technology. [Citation Graph (, )][DBLP ] Self-healing for mobile robot networks with motion synchronization. [Citation Graph (, )][DBLP ] Motion Synchronization in Mobile Robot Networks: Robustness. [Citation Graph (, )][DBLP ] Modeling and control for a biped robot on uneven surfaces. [Citation Graph (, )][DBLP ] Multi-realization of nonlinear systems. [Citation Graph (, )][DBLP ] Lower bounds on several versions of signed domination number. [Citation Graph (, )][DBLP ] Search in 0.070secs, Finished in 0.074secs