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