劉詠梅，中山大學信息科學與技術學院教授、博士生導師。
基本介紹
- 中文名：劉詠梅
- 國籍：中國
- 民族：漢族
- 職稱：教授
教育背景,研究領域,主要論文,
教育背景
於加拿大多倫多大學計算機科學系獲博士學位。
研究領域
人工智慧，知識表示與推理，認知機器人學，程式的調試和驗證
主要論文
Y. Liu and B. Li. Automated Program Debugging via Multiple Predicate Switching. To appear in Proceedings 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. In Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09), 2009.
Y. Liu. A Formalization of Program Debugging in the Situation Calculus. In Proceedings 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. In Proceedings 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. In Proceedings 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. In Proceedings 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. In Proceedings 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. In Proceedings 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 Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI-02), pages 74-79, 2002.
