Search the dblp DataBase

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]