劉詠梅

於加拿大多倫多大學計算機科學系獲博士學位。

人工智慧，知識表示與推理，認知機器人學，程序的調試和驗證

Y. Liu and B. Li. Automated Program Debugging via Multiple Predicate Switching. To appear inProceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI-10), 2010.

Y. Liuand G. Lakemeyer. On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. InProceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09), 2009.

Y. Liu. A Formalization of Program Debugging in the Situation Calculus. InProceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI-08), 2008.

Y. Liuand G. Lakemeyer. On the expressiveness of Levesque’s normal form.Journal of Artificial Intelligence Research, 31:259-272, 2008.

M. Patterson, Y. Liu, E. Ternovska and A. Gupta. Groundingfor Model Expansion in k-Guarded Formulas with Inductive Definitions. InProceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), pages 161-166, 2007.

Y. Liuand H. J. Levesque. Tractable reasoning with incomplete first-order knowledge in dynamic systems with context-dependent actions. InProceedings of the Nineteenth International JointConference on Artificial Intelligence (IJCAI-05), pages 522-527, 2005.

Y. Liuand H. J. Levesque. Tractable reasoning in first-order knowledge bases with disjunctive information. InProceedings of theTwentieth National Conference on Artificial Intelligence (AAAI-05), pages 639-644, 2005.

Y. Liu, G. Lakemeyer, and H. J. Levesque. A logic of limited belief for reasoning with disjunctive information. InProceedings of theNinth International Conference on Principles of KnowledgeRepresentation and Reasoning (KR-04), pages 587-597, 2004.

Y. Liuand H. J. Levesque. A tractability result for reasoning with incomplete first-order knowledge bases. InProceedings of theEighteenth International Joint Conference on Artificial Intelligence(IJCAI-03), pages 83-88, 2003.

S. A. Cook and Y. Liu. A complete axiomatization for blocks world.Journal of Logic and Computation, 13(4):581-594, 2003.

Y. Liu. A Hoare-style proof system for robot programs. In , pages 74-79, 2002.