共找到39條詞條名為陳武的結果 展開
- 全國人大財政經濟委員會副主任委員
- 中共隨縣原縣委書記
- 國民黨高級將領
- 西安市紀委常委、秘書長
- 安徽省檢察院黨組書記
- 西南大學計算機與信息科學學院副院長
- 廣東省湛江雷州市人大常委會副主任
- 三國時期東吳猛將
- 南粵銀行副董事長、行長
- 霞浦縣人民政府副縣長
- 江西省蓮花縣常委、副縣長
- 福建省南平市食品藥品監督管理局局長
- 海南省文昌市委常委（掛職）
- 東南大學副教授
- 深圳市口岸辦副主任、黨組成員
- 楚天學者
- 室內設計師
- 池州市人民醫院骨科醫生
- 四川雅安市人民政府副秘書長
- 瓊海市國土環境資源局副局長
- 白沙黎族自治縣統計局副局長
- 連雲港市作協副主席
- 湖南省輕工業高等專科學校工藝美術系副主任
- 清代江蘇吳江人
- 泉州市作家協會副主席
- 北京農學院動物科學技術學院副院長
- 酒泉職業技術學院教師
- 南京醫科大學教授
- 咸陽市美術家協會副主席
- 集美大學輪機工程學院院長
- 宜春生物藥學與天然藥物學研究專家
- 湖南省輕工業高等專科學校教師
- 《陣面對決》中的卡牌
- 長江大學教授
- 西溪中學教師
- 福建省機場公安局局長
- 汕尾市公安局城區分局治安大隊二中隊中隊長
- 武漢大學馬克思主義學院講師
- 武漢市中醫醫院藥學部副主任中藥師
陳武
西南大學計算機與信息科學學院副院長
陳武，男，漢族，1976年5月出生，四川武勝人，中共黨員，工學博士，計算機軟體與理論專業，教授，碩士生導師，現任西南大學計算機與信息科學學院、軟體學院副院長。國家自然科學基金及浙江省自然科學基金同行評議專家。2009年1月獲博士學位。攻讀博士期間於2007年2月至2007年7月訪問澳大利亞NICTA新南威爾士大學研究中心，從事基於回答集程序的多AGENT協商機制與方法的研究。博士論文題目是《基於邏輯程序的協商問題研究》。1998年至今在西南大學（原西南師範大學）計算機與信息科學學院（原計算機科學系）工作。先後在《Journal of Computer Science and Technology(JCST)》、澳洲AI年會、世界人工智慧大會（IJCAI）專業分組會議NRAC等發表論文，其中SCIE收錄1篇、EI收錄2篇。先後主持國家自然科學基金1項，教育部項目1項，校級項目3項。主研國家、省部級項目5項。主要研究興趣包含：多AGENT協商、知識表示與推理、邏輯程序、信念修改、非單調邏輯、形式化方法。
陳武博士相貌英俊, 治學嚴謹, 為人師表, 教有所成, 深受廣大師生愛戴; 一名學生告訴記者，不少學生遇到人生的疑惑, 或者戀愛的問題, 也都會發信件請教陳武老師，把老師當做可以信賴的好朋友。
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)程序委員會委員。
主持項目：
國家自然科學基金：基於回答集程序的有限理性協商機制研究 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
指導學生獲獎紀錄：
1. 2012年，澳大利亞人工智慧大會STG大賽，第1名和第3名；
2. 2012年，全國信息技術應用水平大賽，二等獎；
3. 2013年，西南大學“國家級大學生創新創業訓練計劃”項目；
4. 2014年，重慶市大學生計算機作品大賽，二等獎；
5. 2014年，學院創新基金，一等獎；
6. 2015年，學院創新基金，一等獎。
