梧州市委常委、宣传部长、副市长(个人简介 个人履历 工作职责)

中南大学商学院教授

中山大学教授(基本信息 教育背景 研究兴趣 主要论文)

梧州市委常委、宣传部长、副市长

个人简介

刘咏梅，女，汉族，1968年7月生，安徽望江人，1991年7月参加工作，1992年11月加入中国中产党，广西大学社会科学与管理学院经济发展与社会管理专业毕业，研究生学历，律师、助理经济师。广西梧州市委常委、宣传部长、副市长。

个人履历

1987.09——1991.07 中国政法大学政治系行政管理专业学习，获法学学士学位。

1991.07——1992.08 广西壮族自治区政府办公厅行政管理学会干部（其间：1992.01—1992.12 挂任广西鹿寨县城关乡乡长助理）。

1992.08——1993.05 广西壮族自治区政府办公厅行政管理学会科员。

1993.05——1996.01 广西壮族自治区政府办公厅第六秘书处科员。

1996.01——1998.03 广西壮族自治区政府办公厅第六秘书处副主任科员。

1998.03——2000.09 广西壮族自治区政府办公厅第六秘书处主任科员（其间：1998.09—2000.07 广西大学社会科学与管理学院在职研究生班经济发展与社会管理专业学习）。

2000.09——2003.11 广西壮族自治区政府办公厅第六秘书处副处长。

2003.11——2008.05 广西壮族自治区政府办公厅第六秘书处处长（其间：2008.03—2008.05 在广西壮族自治区党委党校学习）。

2008.05——2008.09 广西壮族自治区政府办公厅人事教育处处长。

2008.09—— 梧州市委常委、宣传部部长、副市长、市政府党组成员。

工作职责

负责文化、广播电视、民族宗教事务、教育、体育等方面工作。

分管市文化局、广播电视局、新闻出版局（版权局）、民族事务委员会、老龄工作委员会、残疾人联合会、妇女儿童工作委员会、地方志编纂委员会办公室、人民防空委员会及其办公室、宗教事务局、市教育局、市体育局。

分管和协调工会、共青团、妇联、工商联、社科联、文联、自治区驻梧各新闻机构等有关工作。

中南大学商学院教授

刘咏梅博士，中南大学商学院管理科学与信息管理系主任，物流、供应链与电子商务研究中心主任，1991毕业于中南工业大学管理系，1994获中南工业大学管理硕士学位，1999年3月赴日本留学并于2002年3月获日本千叶工业大学经营工学专业工学博士学位。1994.2-1999.2在中南工业大学工商管理学院任教。2000.1-2001.12在日本Data　communications Inc.兼职从事数据挖掘系统开发工作。2002.4回到中南大学商学院从事教学和研究工作。

多年来承担“管理信息系统”，“决策支持系统”，“离散数学”，“电子商务概论”，“经济管理研究方法”等十余门课程的教学。先后参加和主持了二十余项科研项目,　其中“决策应用软件开发平台“SmartDecision”获国家科技进步二等奖、“中国商品期货市场的风险控制及预警系统研究”获中国有色金属工业科技进步三等奖， “Finding Rules and Exceptions from Database”项目于2005年6月获得美国专利（US patent 6907415）。还曾获湖南省高等教育省级教学成果奖一等奖，并多次获得优秀本科生毕业论文指导教师奖等。其他学术兼职包括：国际信息系统协会（AIS）会员，国际信息系统协会中国分会（CNAIS）理事，国际一般系统论研究会(IIGSS)中国分会理事，国际管理协会（AOM）会员， 中国系统工程学会会员， 中国系统工程学会湖南省青年分会副理事长。

在国内外学术期刊及国际会议上发表学术论文四十余篇，其中被SCI检索3篇和EI检索6篇，ISTP检索15篇。出版专著一本，参编教材三本。

中山大学教授

基本信息

刘咏梅, 中山大学信息科学与技术学院教授, 博士生导师

教育背景

于加拿大多伦多大学计算机科学系获博士学位。

研究兴趣

人工智能，知识表示与推理，认知机器人学，程序的调试和验证

主要论文

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.