陳武

1998年7月，畢業於原西南師範大學計算機系，獲工學學士；2004年7月，畢業於原西南師範大學計算機與信息科學學院，獲工學碩士；2009年1月，畢業於貴州大學計算機學院，獲工學博士。

1998年7月留校，在原西南師範大學計算機系實驗室工作。1999年7月，被評為助理實驗師；2004年6月，晉升實驗師；2009年6月，轉教晉升為副教授；2015年6月晉升為教授。

期間，2007年2月－2007年7月，訪問澳大利亞新南新南威爾士大學NICTA研究中心；2012年7月至2012年10月訪問澳大利亞西悉尼大學；2015年4月至2016年4月訪問澳大利亞西悉尼大學。

本科課程《JAVA 語言》、《系統分析與設計》、《基於邏輯的程序設計－LISP》、《J2EE》 科研情況。

主要致力於運用邏輯方法對人工智能及經濟領域的一些交叉問題進行研究。研究興趣包含：人工智能、邏輯程序、信念修改、博弈論、多AGENT協商、討價還價、社會網絡。

陳武先後在《Journal of Computer Science and Technology(JCST)》《Frontiers of Computer Science(FCS)》、LPNMR 2013、澳洲AI年會、世界人工智能大會（IJCAI）專業分組會議NRAC等發表論文，其中SCI收錄2篇、EI收錄5篇。先後主持國家自然科學基金1項，國家社科基金重大項目子課題1項，教育部項目1項，重慶市人文社會科學重點研究基地項目1項，校級項目3項。擔任亞太地區人工智能國際學術會議(PRICAI)程序委員會委員。 ^[1] 

主持項目：

國家自然科學基金：基於回答集程序的有限理性協商機制研究 2011.1 -2013.12

教育部“春暉計劃”項目： 基於回答集程序的協商方法研究（編號：Z2009-1-63015)

西南大學博士啓動基金：基於擴展邏輯程序的AGENT協商模型研究（編號：SWU109003)，2009.4 -2012.3；

西南大學基本科研業務費專項資金：回答集程序在有限理性協商模型中的應用研究（編號：XDJK2009C172)，2009.12-2011.11；

重慶市人文社會科學重點研究基地項目：基於有序析取邏輯程序的協商機制研究 2009.12-2011.11。

主研項目：

1.國家重大研究計劃：可信約束下軟件錯誤診斷與修正框架 2008.1-2010.12

2.國家自然科學基金：基於回答集語義的約束邏輯程序設計 2006.1-2008.12

3.貴州省省長基金：新一代約束邏輯程序設計系統研究及應用 2006.1-2007.12

4.貴州省科學技術基金:回答集程序研究與應用 2008.6-2010.7

5.重慶市自然科學基金:軟件非功能性需求的多模型測試與外部度量 2004.10-2006.10

主要文章

陳武，張明義，一種基於邏輯程序的重複協商框架;《計算機科學》；2008年第5期。

吳茂念，陳武，張明義，沈復興，Makinson一個公開問題的註記；《計算機科學》； 2009年第6期，第36卷。

近期發表的主要文章如下：

1.Wu Chen, Dongmo Zhang and Maonian Wu,“A Sequential Model of Bargaining in Logic Programming”，Frontiers of Computer Science，DOI: 10.1007/s11704-015-3308-x . 2015, 9 (3): 474-484. （SCI收錄：000354194300013)

2. 陳武，周敏，李虎陽，一種基於回答集程序的三方協商新機制[J]. 西南大學學報（自然科學版），2014，36（5）：209-213.

3. 陳武.協商推理機制中的需求序關係研究[J].西南大學學報（自然科學版）,2014,36(4):146-151.

4.陳武.多元模態邏輯中的範本特姆—羅森定理[J].西南大學學報（自然科學版）,2013,35(12):159-164.

5.Wu Chen, Dongmo Zhang and Maonian Wu,“A sequential model for reasoning about bargaining in logic programs”，Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR2013), Lecture Notes in Artificial Intelligence 8148 (Springer), ISBN 978-3-642-40564-8, 2013/9/15-2013/9/19, pp 239-244, Corunna, Spain.(EI收錄：20134316884414)

6. Wu Chen, Mingyi Zhang, and Maonian Wu, “A Logic-Program-Based Negotiation Mechanism”，Journal of Computer Science and Technology(JCST), Vol. 24 (4): 753-760, 2009.（SCIE收錄：000268249500013)

7．Wu Chen, Norman Foo and Mingyi Zhang，“Forgetting in logic programs with ordered disjunction”,Proceedings of the 20th Australian Conference on Artificial Intelligence, Lecture Notes in Computer Science 4830 (Springer), ISBN 978-3-540-76926-2, pages 254-262, 2007.（EI收錄：20080411056239)

8. Wu Chen, Mingyi Zhang and Norman Foo, “Repeated negotiation of logic programs”, Proceedings of the Seventh International Workshop on Nonmonotonic Reasoning, Action and Change(NRAC’07) on IJCAI’07, pages 33-40, Hyderabad, India, 2007.

9. 陳武，張明義，一種基於邏輯程序的重複協商框架;《計算機科學》；2008年第5期。

10. 吳茂念，陳武，張明義，沈復興，Makinson一個公開問題的註記；《計算機科學》； 2009年第6期，第36卷。

11. Mingsheng Zhang, Wu Chen, Yisong Wang, Mingyi Zhang,“Flexible Authorizations with Logic Program”， Proceedings of the International Conference on Networks Security, Wireless Communications and Trusted Computing, April 2009，pages 259-262.

12.張明生,陳武. 基於邏輯程序的柔性授權框架. 通信學報（ISSN:1000-436X）；2009年10月第30卷第10A期（EI收錄）2009/10/15 ^[2] 

指導學生獲獎紀錄：

1. 2012年，澳大利亞人工智能大會STG大賽，第1名和第3名；

2. 2012年，全國信息技術應用水平大賽， 二等獎；

3. 2013年，西南大學“國家級大學生創新創業訓練計劃”項目；

4. 2014年，重慶市大學生計算機作品大賽，二等獎；

5. 2014年，學院創新基金，一等獎；

6. 2015年，學院創新基金，一等獎。