Yongmei Liu

	2009
18		Yongmei Liu, Gerhard Lakemeyer: On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. IJCAI 2009: 860-866
17		David J. Miller, Yanxin Zhang, Guoqiang Yu, Yongmei Liu, Li Chen, Carl D. Langefeld, David Herrington, Yue Wang: An algorithm for learning maximum entropy probability models of disease risk that efficiently searches and sparingly encodes multilocus genomic interactions. Bioinformatics 25(19): 2478-2485 (2009)
	2008
16		Yongmei Liu: A Formalization of Program Debugging in the Situation Calculus. AAAI 2008: 486-491
15		Chunjing Mao, Yong Guan, Yongmei Liu: Research and Design of Digital Synthesizer Based on MATLAB. ISICA 2008: 849-857
14		Yongmei Liu, Gerhard Lakemeyer: On the Expressiveness of Levesque's Normal Form. J. Artif. Intell. Res. (JAIR) 31: 259-272 (2008)
	2007
13		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		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		Yongmei Liu, Yanlong Zhang, Zhenjun Zhao: The survey on supply chain coordination with contracts. ICEC 2005: 807-809
9		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		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		Stephen A. Cook, Yongmei Liu: A Complete Axiomatization for Blocks World. AMAI 2002
2		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

Coauthor Index

1	Li Chen	[17]
2	Stephen A. Cook	[3] [5]
3	Yong Guan	[15]
4	Arvind Gupta	[13]
5	David Herrington	[17]
6	Fenggang Huang	[12]
7	Gerhard Lakemeyer	[7] [14] [18]
8	Carl D. Langefeld	[17]
9	Hector J. Levesque	[6] [7] [9] [11]
10	Zhihui Li	[12]
11	Hongjian Lu	[8]
12	Chunjing Mao	[15]
13	David J. Miller	[17]
14	Noboru Ohnishi	[1]
15	Murray Patterson	[13]
16	Lee P. Stepina	[2]
17	Noboru Sugie	[1]
18	Eugenia Ternovska (Eugenia Ternovskaia)	[13]
19	Jason Bennett Thatcher	[2]
20	Yue Wang	[17]
21	Tsuyoshi Yamamura	[1]
22	Guoqiang Yu	[17]
23	Yanlong Zhang	[8] [10]
24	Yanxin Zhang	[17]
25	Zhenjun Zhao	[8] [10]

Colors in the list of coauthors