贵州大学吴茂念老师-城帮网

贵阳站> 贵阳教育> 贵阳大学> 贵州大学信息

贵州大学



英文名：Guizhou University 简称：“贵大” 所在地：贵阳院校代码：10657 类型：综合类
211工程自主招生2011计划国家中西部高校振兴计划卓越计划国防生

吴茂念详细资料

姓名: 吴茂念
性别: --
生日: --
院系: --
专业: --
导师类别: --
职称: --
邮箱地址: --
电话: --

人物简历: 教师简介：
　　吴茂念，男，博士，副教授，硕导，汉族，中共党员，1975年9月出生于贵州绥阳县。研究方向为非单调逻辑、信念更新、数理逻辑、软件工程理论。
　　主要经历：
　　学习经历：
　　94年9月—98年7月贵州大学数学系计算数学与应用软件专业
　　02年9月—05年7月北师大数学系基础数学专业数理逻辑与计算机应用方向学习
　　05年9月—08年7月贵州大学计算机学院计算机软件与理论专业人工智能方向学习
　　其间：
　　07年3月—4月在北京师范大学沈复兴教授课题组学习进修
　　07年4月—6月在南京航空航天大学朱朝晖教授课题组学习进修
　　工作经历：
　　98年7月—至今贵州大学数学系任教; 99年助教，06年讲师，08年副教授，09年硕导(应用数学、计算机软件与理论);曾经主讲的课程有本科生《高等代数》，《线性代数》，《高等数学》，《管理数学》，《经济数学》，《高级程序设计语言》，研究生《数理逻辑》等。
　　期间：
　　98年10月---99年7月贵州雷山县永乐中学支教(初一数学)
　　08年9月---09年3月澳大利亚西悉尼大学访问学者(合作导师：Dongmo Zhang教授)
　　11年9月---12年3月香港科技大学访问学者(合作导师：Fangzhen Lin教授)
　　所获荣誉：
　　《Knowledge-Based systems》等国际期刊和KR2010等国际会议的审稿人
　　IJCAI2011等国际会议的程序委员会委员
　　贵州省精品课程《线性代数》负责人
　　2001年校级优秀班主任
　　2010年校工会积极分子
　　主要贡献：
　　论文列表(部分)：
　　[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

详细地址

详细地址：
贵阳市花溪(北)校区研究生院招生办公室
电话：
%u0030%u0038%u0035%u0031-%u0038%u0032%u0039%u0032%u0032%u0031%u0037

相关推荐: 贵州民族大学师资好不好,贵州民族大学师资怎么样云南财经大学师资好不好,云南财经大学师资怎么样西北民族大学师资好不好,西北民族大学师资怎么样西安科技大学师资好不好,西安科技大学师资怎么样西安建筑科技大学师资好不好,西安建筑科技大学师资怎么样兰州理工大学师资好不好,兰州理工大学师资怎么样

相关专题

[查看更多]

其他地区热门标签常见问题: 北京大学排名上海大学排名天津大学排名重庆大学排名铜仁大学排名毕节大学排名黔西南大学排名黔东南大学排名黔南大学排名安顺大学排名遵义大学排名六盘水大学排名贵州大学排名

贵阳中医学院贵州师范大学贵州农业职业学院贵阳职业技术学院贵州财经大学商务学院贵州轻工职业技术学院贵阳幼儿师范高等专科学校贵州警官职业学院贵阳护理职业学院贵州大学科技学院贵州电子科技职业学院贵州水利水电职业技术学院贵州师范大学求是学院贵州理工学院贵阳学院贵州电子商务职业技术学院贵州医科大学神奇民族医药学院贵州师范学院贵州工商职业学院贵州航空职业技术学院

贵州大学,贵州大学排名,贵州大学录取分数,贵州大学报考指南贵州大学师资怎么样, 贵州大学师资好不好贵州大学开设专业,贵州大学专业哪个好贵州大学招生简章贵州大学录取分数线贵州大学录取规则,贵州大学2024录取规则贵州大学历届专业录取分数贵州大学收费怎么样,贵州大学2024收费情况贵州大学有奖学金吗?贵州大学2024奖学金怎样获取？贵州大学食宿怎么样?贵州大学食宿好不好？贵州大学知名校友贵州大学联系电话是多少？贵州大学招生电话是多少？贵州大学怎么去

吴茂念详细资料