| Strategically knowing how R Fervari, A Herzig, Y Li, Y Wang arXiv preprint arXiv:1705.05254, 2017 | 58 | 2017 |
| Achieving while maintaining: A logic of knowing how with intermediate constraints Y Li, Y Wang Indian Conference on Logic and Its Applications, 154-167, 2016 | 28 | 2016 |
| Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation. Y Wang, Y Li Advances in Modal Logic 9, 559-580, 2012 | 22 | 2012 |
| More for free: a dynamic epistemic framework for conformant planning over transition systems Y Li, Q Yu, Y Wang Journal of Logic and Computation 27 (8), 2383-2410, 2017 | 21 | 2017 |
| A dynamic epistemic framework for conformant planning Q Yu, Y Li, Y Wang arXiv preprint arXiv:1606.07528, 2016 | 20 | 2016 |
| Stopping means achieving: a weaker logic of knowing how Y Li Studies in Logic 9 (4), 34-54, 2017 | 14 | 2017 |
| Planning-based knowing how: A unified approach Y Li, Y Wang Artificial Intelligence 296, 103487, 2021 | 12 | 2021 |
| Tableaux for single-agent epistemic PDL with perfect recall and no miracles Y Li International Workshop on Logic, Rationality and Interaction, 230-242, 2015 | 4 | 2015 |
| Knowing how to plan Y Li, Y Wang arXiv preprint arXiv:2106.11504, 2021 | 3 | 2021 |
| Tableau-based decision procedure for logic of knowing-how via simple plans Y Li Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou …, 2021 | 3 | 2021 |
| Neighborhood semantics for logic of knowing how Y Li, Y Wang Synthese 199 (3), 8611-8639, 2021 | 2 | 2021 |
| Multi-agent conformant planning with distributed knowledge Y Li Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021 …, 2021 | 2 | 2021 |
| A dynamic epistemic framework for reasoning about conformant probabilistic plans Y Li, B Kooi, Y Wang Artificial Intelligence 268, 54-84, 2019 | 2 | 2019 |
| Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions Y Li JOURNAL OF LOGIC AND COMPUTATION 28 (2), 451-473, 2018 | 2 | 2018 |
| Knowing What to Do Y Li | | |
Yanjing Wang (王彦晶)Professor of Logic, Peking UniversityVerified email at pku.edu.cn
