The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Weidong Chen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Weidong Chen, David Scott Warren
    C-Logic of Complex Objects. [Citation Graph (18, 17)][DBLP]
    PODS, 1989, pp:369-378 [Conf]
  3. 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]
  4. 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]
  5. Weidong Chen
    Declarative Specification and Evaluation of Database Updates. [Citation Graph (7, 0)][DBLP]
    DOOD, 1991, pp:147-166 [Conf]
  6. Weidong Chen, David Scott Warren
    Query Evaluation under the Well Founded Semantics. [Citation Graph (6, 22)][DBLP]
    PODS, 1993, pp:168-179 [Conf]
  7. 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]
  8. 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]
  9. Weidong Chen
    A Theory of Modules Based on Second-Order Logic. [Citation Graph (3, 0)][DBLP]
    SLP, 1987, pp:24-33 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. Weidong Chen, David Scott Warren
    Objects as Intensions. [Citation Graph (1, 0)][DBLP]
    ICLP/SLP, 1988, pp:404-419 [Conf]
  14. 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]
  15. Weidong Chen
    Extending Prolog with Nonmonotonic Reasoning. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1996, v:27, n:2, pp:169-183 [Journal]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. Weidong Chen, Eric C. Lin
    Route Optimization and Location Updates for Mobile Hosts. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1996, pp:319-326 [Conf]
  24. Weidong Chen, Michael Kifer
    Sorted HiLog: Sorts in Higher-Order Logic Data Languages. [Citation Graph (0, 21)][DBLP]
    ICDT, 1995, pp:252-265 [Conf]
  25. Weidong Chen, David Scott Warren
    An Intensional Logic of (Multi-Arity) Set Abstractions. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:97-110 [Conf]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. Jianhua Dai, Weidong Chen, Yunhe Pan
    Rough Sets and Brouwer-Zadeh Lattices. [Citation Graph (0, 0)][DBLP]
    RSKT, 2006, pp:200-207 [Conf]
  34. 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]
  35. Weidong Chen, David Scott Warren
    Abductive Resoning with Structured Data. [Citation Graph (0, 0)][DBLP]
    NACLP, 1989, pp:851-867 [Conf]
  36. 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]
  37. 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]
  38. 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]
  39. Israel Hilerio, Weidong Chen
    Herbal-T Internet Desktop. [Citation Graph (0, 0)][DBLP]
    WebNet, 1997, pp:- [Conf]
  40. 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]
  41. 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]
  42. Ted Pedersen, Weidong Chen
    Lexical Acquisition via Constraint Solving [Citation Graph (0, 0)][DBLP]
    CoRR, 1995, v:0, n:, pp:- [Journal]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. Yuan F. Zheng, Weidong Chen
    Robot Team Forming of Membrane Proteins in Crystallization. [Citation Graph (0, 0)][DBLP]
    ICRA, 2004, pp:1462-1467 [Conf]
  55. 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]
  56. 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]
  57. 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]

  58. The Application of Natural Neighbor Interpolation in Real-Time Environments. [Citation Graph (, )][DBLP]


  59. Constructing Node-Disjoint Paths in Biswapped Networks (BSNs). [Citation Graph (, )][DBLP]


  60. Sparsing of information matrix for practical application of a robot's SLAM. [Citation Graph (, )][DBLP]


  61. Biswapped Networks and Their Topological Properties. [Citation Graph (, )][DBLP]


  62. Analysis of Neuronal Ensembles Encoding Model in Invasive Brain-computer Interface Study using Radial-Basis-Function Networks. [Citation Graph (, )][DBLP]


  63. A Novel Localization System Based on Infrared Vision for Outdoor Mobile Robot. [Citation Graph (, )][DBLP]


  64. A Study of Using Blended Learning in Teaching and Learning Modern Educational Technology. [Citation Graph (, )][DBLP]


  65. Self-healing for mobile robot networks with motion synchronization. [Citation Graph (, )][DBLP]


  66. Motion Synchronization in Mobile Robot Networks: Robustness. [Citation Graph (, )][DBLP]


  67. Modeling and control for a biped robot on uneven surfaces. [Citation Graph (, )][DBLP]


  68. Multi-realization of nonlinear systems. [Citation Graph (, )][DBLP]


  69. Lower bounds on several versions of signed domination number. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002