1998年7月，毕业于原西南师范大学计算机系，获工学学士；7月，毕业于原西南师范大学计算机与信息科学学院，获工学硕士；1月，毕业于贵州大学计算机学院，获工学博士。1998年7月留校，在原西南师范大学计算机系实验室工作。
1999年7月，被评为助理实验师；6月，晋升实验师；6月，转教晋升为副教授；6月晋升为教授。期间，2月－7月，访问澳大利亚新南新南威尔士大学NICTA研究中心；7月至10月访问澳大利亚西悉尼大学；4月至4月访问澳大利亚西悉尼大学。
主要致力于运用逻辑方法对人工智能及经济领域的一些交叉问题进行研究。研究兴趣包含：人工智能、逻辑程序、信念修改、博弈论、多AGENT协商、讨价还价、社会网络。先后在国内顶级计算机专业杂志《Journal of Computer Science and Technology》、《Frontiers of Computer Science》以及国际著名的非单调逻辑会议LPNMR 发表了多篇学术文章，其中SCI收录2篇，EI收录7篇。先后主持国家自然科学基金、国家社科重大招标项目子课题等多个项目。担任亚太地区人工智能国际学术会议(PRICAI)程序委员会委员。
先后指导学生参加澳洲人工智能大会STG大赛获第1名和第3名的好成绩，指导学生参加全国信息技术大赛获得了二等奖，指导学生获得西南大学“国家级大学生创新创业训练计划”项目。
西南大学计算机与信息科学学院陈武 学院副院长——陈武 - 计算机与信息科学学院 - Powered by 西南大学...
