Strategically knowing how R Fervari, A Herzig, Y Li, Y Wang arXiv preprint arXiv:1705.05254, 2017 | 59 | 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 |
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 | 22 | 2017 |
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 |
A dynamic epistemic framework for conformant planning Q Yu, Y Li, Y Wang arXiv preprint arXiv:1606.07528, 2016 | 21 | 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 | 13 | 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 | 5 | 2015 |
Knowing how to plan Y Li, Y Wang arXiv preprint arXiv:2106.11504, 2021 | 4 | 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 |
A dynamic epistemic framework for reasoning about conformant probabilistic plans Y Li, B Kooi, Y Wang Artificial Intelligence 268, 54-84, 2019 | 3 | 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 | 3 | 2018 |
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 |
Knowing What to Do Y Li | | |