李延军
发布人:  发布时间:2018-07-30   动态浏览次数:349

基本情况

姓名:李延军                                               性别:男

职称:讲师                                                 Emaillyjlogic@gmail.com

网址:https://sites.google.com/site/lyjlogic/

  

研究领域:

模态逻辑,认知逻辑,动态逻辑,概率逻辑,

认知规划,知识表示,形式认识论

  

教育经历:

2010年获河北大学哲学学士学位

2016年获北京大学哲学博士学位

2017年获荷兰格罗宁根大学逻辑学博士学位

  

学术论文:

  1. 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

  2. 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

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

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

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

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

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

  8. 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

科研项目:

 1.主持国家社会科学基金青年项目“关于过程性知识的逻辑研究”在研

 2.参与河北省教育厅人文社会科学重大课题攻关项目“当代逻辑哲学重大问题研究在研



Yanjun Li

Email: lyjlogic@gmail.com

https://sites.google.com/site/lyjlogic/

  

Research Interests:

Modal Logic, Epistemic Logic, Dynamic Logic, Probabilistic Logic

Epistemic Planning, Knowledge Representation, Formal Epistemology

  

Education:

Bachelor in Philosophy, Department of Philosophy, Hebei University, 2010

PhD in Logic, Department of Philosophy, Peking University, 2016

PhD in Logic, Faculty of Philosophy, 2017

  

Papers:

  1. 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

  2. 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

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

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

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

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

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

  8. 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

Projects:

  1. As PI, Project of National Social Science Foundation of China, Grant No. 18CZX062

    As participant, Project of Educational Commission of Hebei Province, Grant No. ZD201818