贵州大学理学院导师介绍：吴茂念

　　主要贡献：
　　论文列表（部分）：
　　[1]. Maonian Wu,Dongmo Zhang and Mingyi Zhang, Language Splitting and Relevance-Based Belief Change in Horn Logic. Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI-11), 2011
　　[2]. Maonian Wu, Zhaohui Zhu, and MIngyi Zhang, Partial Meet Contraction Based on Relevance Criterion. Proceedings of International MultiConference of Engineers and Computer Scientists 2008 (IMECS2008), HongKong, pp 7-12, 2008. (ISTP收录)
　　[3]. Maonian Wu and Mingyi Zhang, Maximal Invariable Update operator Based on Splitting. Proceedings of The Third International Conference on Rough Sets and Knowledge Technology(RSKT2008), Lecture Notes in Artificial Intelligence 5009 (Springer), Chengdu, pp 418-425, 2008. （EI, ISTP收录）
　　[4]. Maonian Wu and Mingyi Zhang, A constructive Method of the Finest Splitting of belief set. Proceedings of The 8th International FLINS Conference on Computational Intelligence in Decision and Control (FLINS2008), Madrid, pp.319-324, 2008 （EI, ISTP收录）
　　[5]. Maonian Wu and Mingyi Zhang, Axiom P and Reliable belief change Operator in belief revision. Proceedings of The 2008 International Conference on Artificial Intelligence (ICAI'08), pp165-171, Las Vegas, 2008.（EI,ISTP收录）
　　[6]. Maonian Wu and Mingyi Zhang, Algorithms and Application in Decision Making for the Finest Splitting of a Set of Formulae.Knowledge-based Systems 23(2010) 70-76.（SCI收录）
　　[7]. Wu Chen, Ming-Yi Zhang, Mao-Nian Wu, A Logic-Program-Based Negotiation Mechanism, JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 24(4): 753-760 July 2009 （SCI收录）
　　[8]. 吴茂念，沈复兴，傅莺莺，一种超图类的全图存在性问题研究. 北京师范大学学报（自然科学版）2009年第1期
　　[9]. 吴茂念，陈武，张明义，沈复兴，Makinson一个公开问题的注记. 计算机科学，2009年第6期.
　　[10]. 傅莺莺，沈复兴，吴茂念. 完全稠密二叉偏序理论可量词消去的新证明. 北京师范大学学报（自然科学版） 44(2):111-114, 2008
　　[11]. 傅莺莺, 沈复兴, 吴茂念. 完全分叉树理论可量词消去的新证明. 南京大学学报：数学半年刊 24(2): 204-212,2007
　　  
　　主持科研项目
　　[1] 贵州省科学技术基金项目：局部信念修正理论及其应用（编号： [2009]2123），2009.6-2011.6
　　[2] 贵州大学引进人才科研基金项目：基于分离的信念更新理论及应用，（编号：（2008）033）, 2009.5-2011.5
　　[3] 贵州大学省级研究生创新基金项目：赋值集是否有基本原子的判断研究(省研理工2006005), 2007.1-2008.12
　　
　　参加科研项目
　　[1] 国家重大研究计划： 基于回答集程序的有限理性协商机制研究（编号：61003203)，2011.1 -2013.12
　　[2] 国家重大研究计划： 可信约束下软件错误诊断与修正框架 （编号：90718009）2008.3-2011.2
　　[3] 国家自然科学基金： 基于回答集语义的约束逻辑程序设计（编号：60573009），2006.1-2008.12
　　[4] 贵州省省长基金：新一代约束逻辑程序设计系统研究及应用（编号：2005（212）），2006.1-2007.12