Research Interests AI, and in particular, the principles of knowledge representation, reasoning, and learning and their applications in programming languages, robotics, intelligent agents, data mining, internet, language understanding, e-commerce, etc..
Education Ph.D., Department of Computer Science, Stanford University , 1991. MS, Department of Computer Science, Beijing University , 1986. BS, Department of Computer Science, Fuzhou University , 1983.
Experience Research Scientists: Department of Computer Science, University of Toronto, 1992 - 1996. Department of Computer Science, Stanford University, 1991-1992.
Awards Croucher Senior Research Fellowship 2006-2007; KR-06 Ray Reiter Best Paper Prize; AAAI-04 Outstanding Papers Honorable Mention; KR-2000 Best Paper Award; IJCAI-97 Distinguished Paper Award; AIPS-2000 Planning Competition Distinguished Planner Award.
Service Highlights KR 2010 PC Cochair; LPNMR 2009 PC Cochair; KSEM 2006 PC Cochair; Artificial Intelligence Associate Editor; Journal of Artificial Intelligence Research (JAIR) Advisory Board Member and past Associate Editor.
Implemented Systems Planning system R; A system for compiling causal theories to STRIPS-like systems; A system for computing the strongest necessary and weakest sufficient conditions; A system for computing abduction in logic programs.
Number of hits since 02-21-2002