This is a joint work with Ning Ding.
Fangzhen Lin is Professor of Computer Science at the Hong Kong University of Science and Technology. He received his Ph.D. in computer science from Stanford University, and before coming to Hong Kong, spent several years as a post-doctoral researcher at the University of Toronto. His main research area is Knowledge Representation and Reasoning. He received the Croucher Foundation Senior Research Fellowship award in 2006, a Distinguished Paper Award at IJCAI-1997, a Best Paper Award at KR-2000, an Outstanding Paper Honorable Mention at AAAI-2004, the Ray Reiter Best Paper award at KR-2006, and an Honorable Mention for his planner R at the AIPS-2000 planning competition. He is currently an Associate Editor and Chair of the Awards Committee of the journal Artificial Intelligence, and on the Advisory Board of Journal of Artificial Intelligence Research. He was program co-chairs of KR 2010 and LPNMR'09, and has served on the program committees of numerous international conferences in AI. More information about him can be found on his web page http://www.cs.ust.hk/~flin/ .