站内搜索
首页  吴茂念

 


 吴茂念,男,博士,副教授,硕导,汉族,中共党员,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
     
 
 
Copyright 2011-2012 sci.gzu.edu.cn All Rights Reserved
贵州大学理学院 版权所有 邮编:550025 Tel:0851-3627662 Fax:0851-3620186