科学研究

当前位置: 首页  科学研究

我院赵之光教授在第四届国际人工智能逻辑与应用会议(AILA 2024)获最佳论文奖第二名

2024年08月14日  浏览量: 283 次  来源: 数学与统计学院  作者:   发布: 数学与统计学院

2024年8月10日11日,由中国人工智能学会主办,兰州交通大学承办的“第四届国际人工智能逻辑与应用会议AILA 2024”在兰州举办。我院赵之光教授作为通讯作者提交论文“Game Semantics for Modal Logic with Counting”在本次会议中获得最佳论文奖第二名。该论文给出了模态计数逻辑的赋值博弈和模型比较博弈,为模态计数逻辑的研究提供了新的视角。

近年来,学院鼓励教师“走出去,请进来”,支持科研骨干积极高水平学术会议参与高层次学术交流、在高层次学术交流中不断提升我校的学术影响力和国际知名度提高教师科研能力和学术素养为学科发展提供强有力的支撑为我院高质量发展奠定了坚实基础。

赵之光,泰山学院数学与统计学院教授,泰山学者青年专家,泰安市高层次人才,山东省逻辑学会理事,波兰托伦哥白尼大学访问学者。研究方向为代数逻辑,模态逻辑,逻辑中的拓扑方法和模态计数逻辑。共发表论文31篇,其中SCI收录国际期刊论文15篇,CSSCI收录国内核心期刊论文5篇,EI收录国际会议论文10篇,主持山东省自然科学基金青年项目1项,参与国家社会科学基金青年项目3项,担任LORI 2023国际会议、NCML 2024国内会议的程序委员会成员,多次参与北京大学、山东大学的硕士、博士论文外审工作,Journal of Logic and Computation, Studia Logica, Logic Journal of the IGPL, Journal of Applied Logic, Journal of Philosophical Logic, 逻辑学研究,Journal of Applied Non-Classical Logics, Mathematics, Axioms期刊和TARK 2011, ICALP 2014, NCML 2016, WOLC 2016, TbiLLC 2017, SOQE 2017, NCML 2018, TARK 2021, NCL 2022, WoLLIC 2024,PRICAI 2024会议审稿人。