Yongmei Liu

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

15 Yongmei Liu: A Formalization of Program Debugging in the Situation Calculus. AAAI 2008: 486-491
14EEChunjing Mao, Yong Guan, Yongmei Liu: Research and Design of Digital Synthesizer Based on MATLAB. ISICA 2008: 849-857
13EEMurray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta: Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions. IJCAI 2007: 161-166
12EEZhihui Li, Fenggang Huang, Yongmei Liu: A Method of Motion Segmentation Based on Region Shrinking. IDEAL 2006: 275-282
11 Yongmei Liu, Hector J. Levesque: Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information. AAAI 2005: 639-644
10EEYongmei Liu, Yanlong Zhang, Zhenjun Zhao: The survey on supply chain coordination with contracts. ICEC 2005: 807-809
9EEYongmei Liu, Hector J. Levesque: Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions. IJCAI 2005: 522-527
8 Yongmei Liu, Zhenjun Zhao, Yanlong Zhang, Hongjian Lu: A Model of Customer Lifetime Value Consider with Word-of-mouth Marketing Value. ICEB 2004: 245-248
7 Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque: A Logic of Limited Belief for Reasoning with Disjunctive Information. KR 2004: 587-597
6 Yongmei Liu, Hector J. Levesque: A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases. IJCAI 2003: 83-88
5EEStephen A. Cook, Yongmei Liu: A Complete Axiomatization for Blocks World. J. Log. Comput. 13(4): 581-594 (2003)
4 Yongmei Liu: A Hoare-Style Proof System for Robot Programs. AAAI/IAAI 2002: 74-79
3EEStephen A. Cook, Yongmei Liu: A Complete Axiomatization for Blocks World. AMAI 2002
2EEJason 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. SIGCPR 2002: 25-33
1 Yongmei Liu, Tsuyoshi Yamamura, Noboru Ohnishi, Noboru Sugie: Detecting Characters in Grey-Scale Scene Images. ACCV (2) 1998: 153-160

Coauthor Index

1Stephen A. Cook [3] [5]
2Yong Guan [14]
3Arvind Gupta [13]
4Fenggang Huang [12]
5Gerhard Lakemeyer [7]
6Hector J. Levesque [6] [7] [9] [11]
7Zhihui Li [12]
8Hongjian Lu [8]
9Chunjing Mao [14]
10Noboru Ohnishi [1]
11Murray Patterson [13]
12Lee P. Stepina [2]
13Noboru Sugie [1]
14Eugenia Ternovska (Eugenia Ternovskaia) [13]
15Jason Bennett Thatcher [2]
16Tsuyoshi Yamamura [1]
17Yanlong Zhang [8] [10]
18Zhenjun Zhao [8] [10]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)