姓名：熊作军
职称：讲师
学历背景：卑尔根大学博士
个人网址：
Researchgate西南大学逻辑与智能研究中心
Email:zuojunxiong@swu.edu.cn



一、个人简介
【1】个人简况：
学习经历：
o2008.09—2011.09西南大学逻辑学硕士，导师郭美云。
o2013.01—2017.11挪威卑尔根大学信息科学博士（挪威教育部全额资助），导师Thomas ?gotnes。
o2014.08—2015.06挪威卑尔根大学信息科学与媒体研究系履行讲课义务。
o2018.01—至今西南大学逻辑与智能研究中心讲师
其他个人简介请点击西南大学逻辑与智能研究中心。
【2】研究领域：现代逻辑及其应用：模态逻辑、认知逻辑、社会网络逻辑等。
【3】开设课程：
[1]挪威卑尔根大学本科课程（已完结）:
《知识表述与推理》(INFO282 2014, 2015)
《逻辑编程语言PROLOG》(Prolog 2015)
[2]重庆大学研究生课程：
《现代逻辑与批判性思维》(MnL&CrT 2018, 2019, 2020)
[3]西南大学本科生课程：
《现代逻辑》(MnL 2018, 2019, 2020)（哲学创新班课程）
《逻辑学》(Logic 2018, 2019, 2020)（含弘学院袁隆平班课程）
[4]西南大学研究生课程：
《现代逻辑前沿》(AiML 2017, 2018, 2019, 2020)
《数理逻辑I》(MaL I 2019)
《数理逻辑II》(MaL II 2019)
《模态逻辑II》(MoL II 2018, 2020)
《模态逻辑I》(MoL I 2020)
《学术规范与论文写作》(ANAW2021)
二、研究成果
[1]Arbitrary Propositional Network Announcement LogicZ Xiong, T?gotnes.ThirdInternational Workshop, DaLí 2020,Prague, Czech, October 9-10, 2020 (EI,to appear)
[2]On the Logic of Balance in Social NetworksZ Xiong, T?gotnes.Journal of Logic, Language and Information, 29(1), 53-75, 2020 (A&HCI, SCI)https://doi.org/10.1007/s10849-019-09297-0
[3]A Dynamic Hybrid Logic for FollowershipZ Xiong, M Guo.International Workshop on Logic, Rationality and Interaction, 425-439, 2019https://doi.org/10.1007/978-3-662-60292-8_31 (EI)
[4]On the Logic of Multicast Messaging and Balance in Social NetworksZ Xiong. University of Bergen, PhD Thesis, 2017, ISBN: 978-82-308-3928-7
[5]Towards a Logic of TweetingZ Xiong, T ?gotnes, J Seligman, R Zhu.International Workshop on Logic, Rationality and Interaction, 49-64, 2017 (EI)
[6]A logic of questions for rational choiceZ Xiong, J Seligman.International Workshop on Logic, Rationality and Interaction, 398-399, 2011 (EI)
[7]How questions guide choices: a preliminary logical investigationZ Xiong, J Seligman.AI 2011: Advances in Artificial Intelligence, 462-471, 2011 (EI)
[8]A dynamic preference logic with issue-managementM Guo,Z Xiong.Studies in Logic 1, 2011
[9]Open and closed questions in decision-makingZ Xiong, J Seligman.Electronic Notes in Theoretical Computer Science 278, 261-274, 2011 (EI)
三、学术报告
[1]2020.10.09-10，第三届国际动态逻辑会议：新的趋势与应用（DaLí2020），捷克科学院主办，线上报告（Zoom-talk）：Arbitrary Propositional Network Announcement Logic
[2]2019.10.18-21，LORI-VII 2019，西南大学报告：A Dynamic Hybrid Logic for Followership
[3]2019.06.22，模态逻辑研讨会，北京大学报告：Issues of Dynamic Hybrid Logic for Followership
[4]2018.10.26-28，全国现代逻辑研讨会，厦门大学报告：基于关注关系的命题动态混合逻辑
[5]2018.06.16,京津冀逻辑论坛，中国社会科学院报告：社会网络平衡的模态逻辑刻画
[6]2018.05.04-05,Kick-off workshop for the project “LoIFiSN”,清华大学报告：A Propositional Dynamic Hybrid Logic for Followership
[7]2017.09.11–14, LORI-VI,日本北海道大学报告：Towards a logic of tweeting
[8]2017.05.14，模态逻辑系列讲座，浙江大学报告：Quantified tweeting logic
[9]2016.11.17–19，LogiCIC,荷兰阿姆斯特丹大学报告：A Logic of Arbitrary Multicast Messaging in Social Networks
[10]2016.09.14–16，LAMAS SING,波兰格但斯克，波兰日本情报工科大学邀约报告：Quantifying over Local Broadcast Messages in Social Networks
[11]2016.05.22，西溪逻辑论坛，浙江大学邀约报告：Arbitrary-tweeting Twitter Logic
四、研究项目
[1]教育部人文社科研究青年基金项目（主持）：社会网络结构与信息的动态逻辑研究[20YJC**]。
[2]中央高校基本科研项目博士启动项目（主持）：面向社会网络的多主体逻辑研究[SWU**]。
[3]重庆市文科重点基地项目重点项目（主持）：社会网络中的混合逻辑研究[18SKB045]。
五、获奖情况
[1]2018年5月，获第十三届西南大学政治与公共管理学院教师课堂教学比赛一等奖
[2]2018年6月，获第十三届西南大学教师课堂教学比赛二等奖