劉詠梅

中山大學教授

劉詠梅,中山大學信息科學與技術學院教授、博士生導師。

教育背景


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

研究興趣


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

主要論文


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.