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 PC members of IJCAI-2001 and IJCAI-2005. Senior PC member of AAAI-2005. Associate Editor of Journal of Artificial Intelligence Research (JAIR). PC members of KR-1998, KR-2000, KR-2002, KR-2004, KR-2006.
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.
Honorary Position I am adjunct professor of Fuzhou University, China, and an advisor to the Multi-Agent System Lab at the University of Science and Technology of China, Hefei, China
Number of hits since 02-21-2002