一、个人信息
熊作军，湖北潜江人，哲学博士（挪威卑尔根大学，2017）。任西南大学逻辑与智能研究中心副教授、逻辑学教研室主任、中国逻辑学会理事、重庆市逻辑学会副秘书长、现代逻辑专业委员会常务理事、《逻辑学研究》、LORI会议论文、AAMAS会议、AMS数据库论文评审等。研究方向为现代逻辑及其应用，现阶段（2017-）的研究兴趣为使用现代逻辑工具研究社会网络中的逻辑关系，如网络结构、主体互动、信息互动等。
讲授课程：
挪威卑尔根大学本科课程（已完结）:
《知识表述与推理》(INFO282 2014, 2015)《逻辑编程语言PROLOG》(Prolog 2015)
重庆大学研究生课程：
《现代逻辑与批判性思维》(MnL&CrT 2018-2023[春学期])
西南大学本科生课程：
《现代逻辑》(MnL 2018-2024[秋学期])
《逻辑学》(Logic 2018-2024[春学期与秋学期])
《逻辑与批判性思维》(L&CT 2024[秋学期])
《逻辑学导论》（Introduction to Logic 2021-2023）*国际课程周云课堂
西南大学研究生课程：
《现代逻辑前沿》(AiML 2017-2020)
《数理逻辑》（MaL 2019,2021-2024）
《数理逻辑专题》(ToMaL 2019,2022-2024)
《模态逻辑》（MoL 2018-2024）
《模态逻辑专题》(ToMoL 2021-2024)
《学术规范与论文写作》(ANAW 2021)
《联盟逻辑》（CoL 2022,2023）
《文明比较专题(全英文)》(2023)
通讯地址：重庆市北碚区天生路2号 西南大学北区国家治理学院（第三教学楼）哲学系，400715
电子邮箱：xiongzuojun
gmail.com // zuojunxiong
swu.edu.cn
个人网站：https://www.researchgate.net/profile/Zuojun_Xiong
二、专业学习以及工作经历
2008.09—2011.09 西南大学逻辑学硕士，导师 郭美云。
2013.01—2017.11 挪威卑尔根大学信息科学博士（挪威教育部全额资助），导师 Thomas Ågotnes。
2014.08—2015.06 挪威卑尔根大学信息科学与媒体研究系履行讲课义务。
2018.01—2021.06 西南大学逻辑与智能研究中心 讲师
2021.06—至今 西南大学逻辑与智能研究中心 副教授
三、主要论文及专著
The Logic of Secrets and the Interpolation Rule Z Xiong, T Ågotnes., Annals of Mathematics and Artificial Intelligence, 2022 (SCI, epdf: https://rdcu.be/cXiqZ )
《关于“秘密”的逻辑语义研究》熊作军, 张玉志. 湖南科技大学学报(社会科学版), 第24卷第3期, 27-38页, 2021年 (EN: On the Logical Semantics of "Secrets" CSSCI)
Arbitrary Propositional Network Announcement Logic Z Xiong, T Ågotnes., M. A. Martins and I. Sedlar (Eds.): DaLi 2020, LNCS 12569, pp. 277–293, 2020. (EI Compendex, epdf: https://rdcu.be/cXiIQ )
On the Logic of Balance in Social Networks Z Xiong, T Ågotnes. Journal of Logic, Language and Information, 29(1), 53-75, 2020 (A&HCI, SCI, epdf: https://rdcu.be/cXiI9) 中文译文见：涂美奇(译).社会网络平衡的逻辑刻画. 社会科学文献出版社,2023(08), https://xianxiao.ssap.com.cn/catalog/6744724.html
A Dynamic Hybrid Logic for Followership Z Xiong, M Guo. International Workshop on Logic, Rationality and Interaction, 425-439, 2019 (EI Compendex, epdf: https://rdcu.be/cXiJg )
On the Logic of Multicast Messaging and Balance in Social Networks Z Xiong. University of Bergen, PhD Thesis, 2017, ISBN: 978-82-308-3928-7
Towards a Logic of Tweeting Z Xiong, T Ågotnes, J Seligman, R Zhu. International Workshop on Logic, Rationality and Interaction, 49-64, 2017 (EI Compendex, epdf: https://rdcu.be/cXiJC)
A logic of questions for rational choice Z Xiong, J Seligman. International Workshop on Logic, Rationality and Interaction, 398-399, 2011(EI Compendex, epdf: https://rdcu.be/cXiJ4)
How questions guide choices: a preliminary logical investigation Z Xiong, J Seligman. AI 2011: Advances in Artificial Intelligence, 462-471, 2011(EI Compendex, epdf: https://rdcu.be/cXiKl )
A dynamic preference logic with issue-management M Guo, Z Xiong. Studies in Logic 1, 2011
Open and closed questions in decision-making Z Xiong, J Seligman. Electronic Notes in Theoretical Computer Science 278, 261-274, 2011 https://doi.org/10.1016/j.entcs.2011.10.020 (EI Compendex)
四、主要学术报告与活动
[Forthcoming]2024.11.15-17，第18届全国现代逻辑学术研讨会（NCML'24，广州华南师范大学，联合主席）
2024.03.26-28，西南大学-卑尔根大学逻辑工作坊（SWU-UiB Logic Workshop 2024，重庆西南大学，组织者）
2023.07.08-09，全国形式逻辑学术研讨会（2023），西南大学：秘密信息的逻辑理解
2023.03.25-26，第二届多主体系统逻辑国际研讨会（重庆-西南大学，地方组委会成员，2023）
2022.12.24，重庆市逻辑学会年会（2022），西南大学（线上）：秘密逻辑的研究进展
2022.10.28-30，第16届全国现代逻辑研讨会（2022），山东大学哲学与社会发展学院报告（线上）：自反且传递的秘密逻辑系统
2022.07.23-28，教育部第四期高校青年教师国情教育研修班学习，浙江大学，杭州
2021.12.03-05，第15届全国现代逻辑研讨会（2021），中山大学哲学系(珠海)报告：“秘密”模态的逻辑特性
2020.12.05-06，全国模态逻辑研讨会（2020），北京师范大学珠海校区报告：关于“秘密”的逻辑研究
2020.10.09-10，DaLí 2020，捷克科学院主办，线上报告（Zoom-talk）：Arbitrary Propositional Network Announcement Logic
2020.05.08-10，LAMAS 2020，AAMAS 2020 子会议，奥克兰，线上报告（Zoom-talk）：The Logic of Secrets
2019.10.18-21，LORI-VII 2019，西南大学报告：A Dynamic Hybrid Logic for Followership
2019.06.22，模态逻辑研讨会，北京大学报告：Issues of Dynamic Hybrid Logic for Followership
2018.10.26-28，全国现代逻辑研讨会，厦门大学报告：基于关注关系的命题动态混合逻辑
2018.06.16，京津冀逻辑论坛，中国社会科学院报告：社会网络平衡的模态逻辑刻画
2018.05.04-05， Kick-off workshop for “LoIFiSN”, 清华大学报告：A Propositional Dynamic Hybrid Logic for Followership
2017.11.06-07，毕业试讲与答辩，挪威卑尔根大学，试讲主题： Applied logic: success stories and current prespectives
2017.09.11–14， LORI-VI 2017, 日本北海道大学报告： Towards a logic of tweeting
2017.05.14，模态逻辑系列讲座，浙江大学报告：Quantified tweeting logic
2016.11.17–19，LogiCIC, 荷兰阿姆斯特丹大学报告：A Logic of Arbitrary Multicast Messaging in Social Networks
2016.09.14–16，LAMAS SING, 波兰-日本信息技术学院报告：Quantifying over Local Broadcast Messages in Social Networks
2016.05.22，西溪逻辑论坛，浙江大学邀约报告：Arbitrary-tweeting Twitter Logic
五、学术技能
英语（流利）、LaTeX（逻辑论文写作）、NuSMV（入门）、Prolog（入门）
六、主持项目
[1] 国家社会科学基金一般项目：秘密信息的动态认知逻辑研究 [24BZX112]
[2] 西南大学教改项目：逻辑课程在线实验课堂的建设与实施 [2022JY047]
[3] 教育部人文社科研究青年基金项目：社会网络结构与信息的动态逻辑研究 [20YJC72040002]
[4] 中央高校基本科研项目博士启动项目：面向社会网络的多主体逻辑研究 [SWU1809669]
[5] 重庆市文科重点基地项目重点项目：社会网络中的混合逻辑研究 [18SKB045]
七、荣誉与获奖
[1] 获西南大学政治与公共管理学院第十三届教师课堂教学比赛一等奖（2018）
[2] 获西南大学第十三届教师课堂教学比赛二等奖（2018）
[3] 获西南大学国家治理学院第一届教师课堂教学比赛一等奖（2020）
[4] 获西南大学国家治理学院校级优质课程推荐评选活动二等奖（2020）
[5] 获西南大学第十五届教师课堂教学比赛优秀奖（2020）
[6] 获西南大学第四届教学成果奖一等奖(4/6)（2021）
[7] 2021年重庆市一流本科课程《逻辑学》团队成员(3/5)
[8] 获2021年重庆市教学成果奖二等奖(4/6)
[9] 2022年重庆市一流本科课程示范案例团队成员(3/4）
[10] 2023年国家级一流本科课程《逻辑学》团队成员(3/4)
[11] 重庆市2023年本科高校课程思政示范课程团队成员(3/5)
[12] 获西南大学2023年教师教学创新大赛三等奖
（更新于2024年10月15日）
For English version, please click here.
