 姓名：熊作军 职称：副教授 学历背景：卑尔根大学博士 个人网址： Researchgate bat365官方网站逻辑与智能研究中心 Email: zuojunxiong@swu.edu.cn |
一、个人简介
【1】个人简况：
学习经历：
o 2008.09—2011.09 bat365官方网站逻辑学硕士，导师 郭美云。
o 2013.01—2017.11 挪威卑尔根大学信息科学博士（挪威教育部全额资助），导师 Thomas Ågotnes。
o 2014.08—2015.06 挪威卑尔根大学信息科学与媒体研究系履行讲课义务。
o 2018.01—至今 bat365官方网站逻辑与智能研究中心 讲师
其他个人简介请点击bat365官方网站逻辑与智能研究中心。
【2】研究领域：现代逻辑及其应用：模态逻辑、认知逻辑、社会网络逻辑等。
【3】开设课程：
[1] 挪威卑尔根大学本科课程（已完结）:
《知识表述与推理》(INFO282 2014, 2015)
《逻辑编程语言PROLOG》(Prolog 2015)
[2] 重庆大学研究生课程：
《现代逻辑与批判性思维》(MnL&CrT 2018, 2019, 2020)
[3] bat365官方网站本科生课程：
《现代逻辑》(MnL 2018, 2019, 2020) （哲学创新班课程）
《逻辑学》(Logic 2018, 2019, 2020)（含弘学院袁隆平班课程）
[4] bat365官方网站研究生课程：
《现代逻辑前沿》(AiML 2017, 2018, 2019, 2020)
《数理逻辑 I》(MaL I 2019)
《数理逻辑 II》(MaL II 2019)
《模态逻辑 II》(MoL II 2018, 2020)
《模态逻辑 I》(MoL I 2020)
《学术规范与论文写作》(ANAW 2021)
二、研究成果
[1] Arbitrary Propositional Network Announcement Logic Z Xiong, T Ågotnes. Third International Workshop, DaLí 2020, Prague, Czech, October 9-10, 2020 (EI, to appear)
[2] 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) https://doi.org/10.1007/s10849-019-09297-0
[3] A Dynamic Hybrid Logic for Followership Z Xiong, M Guo. International Workshop on Logic, Rationality and Interaction, 425-439, 2019 https://doi.org/10.1007/978-3-662-60292-8_31 (EI)
[4] 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
[5] Towards a Logic of Tweeting Z 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 choice Z Xiong, J Seligman. International Workshop on Logic, Rationality and Interaction, 398-399, 2011 (EI)
[7] How questions guide choices: a preliminary logical investigation Z Xiong, J Seligman. AI 2011: Advances in Artificial Intelligence, 462-471, 2011 (EI)
[8] A dynamic preference logic with issue-management M Guo, Z Xiong. Studies in Logic 1, 2011
[9] Open and closed questions in decision-making Z 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，bat365官方网站报告：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] 教育部人文社科研究青年基金项目（主持）：社会网络结构与信息的动态逻辑研究 [20YJC72040002]。
[2] 中央高校基本科研项目博士启动项目（主持）：面向社会网络的多主体逻辑研究 [SWU1809669]。
[3] 重庆市文科重点基地项目重点项目（主持）：社会网络中的混合逻辑研究 [18SKB045]。
五、获奖情况
[1] 2018年5月，获第十三届bat365官方网站政治与公共管理学院教师课堂教学比赛一等奖
[2] 2018年6月，获第十三届bat365官方网站教师课堂教学比赛二等奖