The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yongmei Liu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Yongmei Liu, Yanlong Zhang, Zhenjun Zhao
    The survey on supply chain coordination with contracts. [Citation Graph (0, 0)][DBLP]
    ICEC, 2005, pp:807-809 [Conf]
  2. Yongmei Liu
    A Hoare-Style Proof System for Robot Programs. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2002, pp:74-79 [Conf]
  3. Yongmei Liu, Hector J. Levesque
    Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:639-644 [Conf]
  4. Yongmei Liu, Tsuyoshi Yamamura, Noboru Ohnishi, Noboru Sugie
    Detecting Characters in Grey-Scale Scene Images. [Citation Graph (0, 0)][DBLP]
    ACCV (2), 1998, pp:153-160 [Conf]
  5. Stephen A. Cook, Yongmei Liu
    A Complete Axiomatization for Blocks World. [Citation Graph (0, 0)][DBLP]
    AMAI, 2002, pp:- [Conf]
  6. Yongmei Liu, Zhenjun Zhao, Yanlong Zhang, Hongjian Lu
    A Model of Customer Lifetime Value Consider with Word-of-mouth Marketing Value. [Citation Graph (0, 0)][DBLP]
    ICEB, 2004, pp:245-248 [Conf]
  7. Zhihui Li, Fenggang Huang, Yongmei Liu
    A Method of Motion Segmentation Based on Region Shrinking. [Citation Graph (0, 0)][DBLP]
    IDEAL, 2006, pp:275-282 [Conf]
  8. Yongmei Liu, Hector J. Levesque
    Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:522-527 [Conf]
  9. Yongmei Liu, Hector J. Levesque
    A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:83-88 [Conf]
  10. Murray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta
    Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:161-166 [Conf]
  11. Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque
    A Logic of Limited Belief for Reasoning with Disjunctive Information. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:587-597 [Conf]
  12. Jason Bennett Thatcher, Yongmei Liu, Lee P. Stepina
    The role of the work itself: an empirical examination of intrinsic motivation's influence on IT workers attitudes and intentions. [Citation Graph (0, 0)][DBLP]
    SIGCPR, 2002, pp:25-33 [Conf]
  13. Stephen A. Cook, Yongmei Liu
    A Complete Axiomatization for Blocks World. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:4, pp:581-594 [Journal]

  14. A Formalization of Program Debugging in the Situation Calculus. [Citation Graph (, )][DBLP]


  15. Automated Program Debugging Via Multiple Predicate Switching. [Citation Graph (, )][DBLP]


  16. On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. [Citation Graph (, )][DBLP]


  17. Research and Design of Digital Synthesizer Based on MATLAB. [Citation Graph (, )][DBLP]


  18. Application in Market Basket Research Based on FP-Growth Algorithm. [Citation Graph (, )][DBLP]


  19. An algorithm for learning maximum entropy probability models of disease risk that efficiently searches and sparingly encodes multilocus genomic interactions. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
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