熊作军

发布时间: 2024-04-07 15:56:56 已阅读:

姓名:熊作军

职称:副教授

学历背景:卑尔根大学博士

个人网址:

Researchgate 西南大学逻辑与智能研究中心

Email: zuojunxiong@swu.edu.cn


一、个人简介

1】个人简况:

学习经历:

o 2008.09—2011.09 西南大学逻辑学硕士,导师 郭美云

o 2013.01—2017.11 挪威卑尔根大学信息科学博士(挪威教育部全额资助),导师 Thomas Ågotnes

o 2014.08—2015.06 挪威卑尔根大学信息科学与媒体研究系履行讲课义务。

o 2018.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)

《学术规范与论文写作》(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-21LORI-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–19LogiCIC, 荷兰阿姆斯特丹大学报告:A Logic of Arbitrary Multicast Messaging in Social Networks

[10] 2016.09.14–16LAMAS SING, 波兰格但斯克,波兰日本情报工科大学邀约报告:Quantifying over Local Broadcast Messages in Social Networks

[11] 2016.05.22,西溪逻辑论坛,浙江大学邀约报告:Arbitrary-tweeting Twitter Logic

四、研究项目

[1] 教育部人文社科研究青年基金项目(主持):社会网络结构与信息的动态逻辑研究 [20YJC72040002]

[2] 中央高校基本科研项目博士启动项目(主持):面向社会网络的多主体逻辑研究 [SWU1809669]

[3] 重庆市文科重点基地项目重点项目(主持):社会网络中的混合逻辑研究 [18SKB045]

五、获奖情况

[1] 20185月,获第十三届西南大学政治与公共管理学院教师课堂教学比赛一等奖

[2] 20186月,获第十三届西南大学教师课堂教学比赛二等奖