李延军 - 南开大学

个人简介

教育经历： 2010年获河北大学哲学学士学位 2016年获北京大学哲学博士学位 2017年获荷兰格罗宁根大学逻辑学博士学位工作经历： 2017年至今，南开大学哲学院逻辑学教研室学术专著：独著：Knowing what to do: a logical approach to planning and knowing how，荷兰格罗宁根大学出版社，2017年9月出版。科研项目： 1. 主持国家社会科学基金青年项目“关于过程性知识的逻辑研究”（18CZX062），在研。 2. 参与河北省教育厅人文社会科学重大课题攻关项目“当代逻辑哲学重大问题研究”（ZD201818），已结项。荣誉及奖励： 1. 2018年荣获天津市“131”创新型人才培养工程第三层次人才。 2. 2019年荣获南开大学“宁一弘道”魅力教师奖。 3. 2022年入选南开大学“百青”人才支持计划。

研究领域

模态逻辑，形式认识论，知识表示

近期论文

查看导师最新文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

Complexity of multi-agent conformant planning with group knowledge Synthese 2023-03-30 | Journal article DOI: 10.1007/s11229-023-04095-5 CONTRIBUTORS: Yanjun Li Tableaux for the Logic of Strategically Knowing How 来源：ELECTRON P THEOR COM( P 2075-2180 E ) 发表时间: 2023/01 独撰: Tableau-Based Decision Procedure for Logic of Knowing-How via Simple Plans, in Proceedings of CLAR 2021 独撰: Multi-Agent Conformant Planning with Distributed Knowledge, in Proceedings of LORI 2021 第一作者: Knowing How to Plan, in Proceedings of TARK 2021 第一作者: Neighborhood Semantics for Logic of Knowing How, in Synthese, 2021 第一作者: Planning-based knowing how: A unified approach, in Artificial Intelligence, 296, 2021 独撰: Privacy in Arrow Update Logic, in 《逻辑学研究》(Studies in Logic), 12(6), 2020, pp. 63-88 通讯作者: Reasoning in Multi-Agent Conformant Planning over Transition Systems, in Proceedings of OVERLAY 2020, pp. 35-40, CEUR-WS 通讯作者: A Logic for Multi-Agent Conformant Planning Over Transition Systems, in IEEE Access, 8, 2020, pp. 193621-193631 第一作者: Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach, in Proceedings of LORI 2019, pp. 126-139, Springer 独撰: The completeness for the combination of PDL and EL with Perfect Recall and No Miracles, in 《逻辑学研究》(Studies in Logic), 12(3), 2019, pp. 1-15 第一作者: A Dynamic Epistemic Framework for Reasoning about Conformant Probabilistic Plans, in Artificial Intelligence, 268, 2019, pp. 54-84 独撰: Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions, in Journal of Logic and Computation, 28(2), 2018, pp. 451-473 第一作者: More for Free: A Dynamic Epistemic Framework for Conformant Planning over Transition Systems, in Journal of Logic and Computation, 27(8), 2017, pp. 2383-2410 第三作者: Strategically Knowing How, in Proceedings of IJCAI 2017, pp. 1031-1038 第一作者: Achieving while maintaining: a logic of knowing how with intermediate constraints, in Proceedings of ICLA 2017, pp. 154-167 独撰: Stopping means achieving: a weaker logic of knowing how, in Studies in Logic(《逻辑学研究》), 9(4), 2016, pp. 34-54 独撰: Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles, in Proceedings of LORI 2015, pp. 230-242, Springer 第二作者: A Dynamic Epistemic Framework for Conformant Planning, in Proceedings of TARK 2015, pp. 298-318, EPTCS 第二作者: Not all those who wander are lost: dynamic epistemic reasoning in navigation, in Proceedings of AiML 2012, 559-580, College Publications

学术兼职

中国逻辑学会形式逻辑专业委员会理事曾担任以下期刊和学术会议的审稿人：Artificial Intelligence, Journal of Philosophical Logic, Journal of Applied Non-Classical Logics, Annals of Philosophy, Logic and Logical Philosophy,《逻辑学研究》, IJCAI, LORI, AiML, TARK, 全国现代逻辑学术研讨会