【Basic information】

Name：Yanjun Li

Gender：Male

Administrative Position：

Academic Title：Associate professor

Email：lyjlogic@nankai.edu.cn

Areas of Research：Modal logic, Formal epistemology, Knowledge representation

【Selected Publications】

Monographs

Yanjun Li: Knowing what to do: a logical approach to planning and knowing how, University of Groningen, PhD Thesis, September 2017

Articles

Yanjun Li: Tableau-Based Decision Procedure for Logic of Knowing-How via Simple Plans, in Proceedings of CLAR 2021

 Yanjun Li: Multi-Agent Conformant Planning with Distributed Knowledge, in Proceedings of LORI 2021

 Yanjun Li, Yanjing Wang: Knowing How to Plan, in Proceedings of TARK 2021

 Yanjun Li, Yanjing Wang: Neighborhood Semantics for Logic of Knowing How, in Synthese, 2021

 Yanjun Li, Yanjing Wang: Planning-based knowing how: A unified approach, in Artificial Intelligence, 296, 2021

 Yanjun Li: Privacy in Arrow Update Logic, in 《逻辑学研究》(Studies in Logic), 12(6), 2020, pp. 63-88

 Peipei Wu, Yanjun Li: Reasoning in Multi-Agent Conformant Planning over Transition Systems, in Proceedings of OVERLAY 2020, pp. 35-40, CEUR-WS

 Peipei Wu, Yanjun Li: A Logic for Multi-Agent Conformant Planning Over Transition Systems, in IEEE Access, 8, 2020, pp. 193621-193631

 Yanjun Li, Yanjing Wang: Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach, in Proceedings of LORI 2019, pp. 126-139, Springer

 Yanjun Li: 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

 Yanjun Li, Barteld Kooi, Yanjing Wang: A Dynamic Epistemic Framework for Reasoning about Conformant Probabilistic Plans, in Artificial Intelligence, 268, 2019, pp. 54-84

 Yanjun Li: 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

 Yanjun Li, Quan Yu and Yanjing Wang: 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

 Raul Fervari, Andreas Herzig, Yanjun Li and Yanjing Wang: Strategically Knowing How, in Proceedings of IJCAI 2017, pp. 1031-1038

 Yanjun Li and Yanjing Wang: Achieving while maintaining: a logic of knowing how with intermediate constraints, in Proceedings of ICLA 2017, pp. 154-167

 Yanjun Li: Stopping means achieving: a weaker logic of knowing how, in Studies in Logic(《逻辑学研究》), 9(4), 2016, pp. 34-54

 Yanjun Li: Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles, in Proceedings of LORI 2015, pp. 230-242, Springer

 Quan Yu, Yanjun Li and Yanjing Wang: A Dynamic Epistemic Framework for Conformant Planning, in Proceedings of TARK 2015, pp. 298-318, EPTCS

 Yanjing Wang and Yanjun Li: Not all those who wander are lost: dynamic epistemic reasoning in navigation, in Proceedings of AiML 2012, 559-580, College Publications