Follow
Yanjun Li
Title
Cited by
Cited by
Year
Strategically knowing how
R Fervari, A Herzig, Y Li, Y Wang
arXiv preprint arXiv:1705.05254, 2017
592017
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
282016
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
222017
Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation.
Y Wang, Y Li
Advances in Modal Logic 9, 559-580, 2012
222012
A dynamic epistemic framework for conformant planning
Q Yu, Y Li, Y Wang
arXiv preprint arXiv:1606.07528, 2016
212016
Stopping means achieving: a weaker logic of knowing how
Y Li
Studies in Logic 9 (4), 34-54, 2017
142017
Planning-based knowing how: A unified approach
Y Li, Y Wang
Artificial Intelligence 296, 103487, 2021
132021
Tableaux for single-agent epistemic PDL with perfect recall and no miracles
Y Li
International Workshop on Logic, Rationality and Interaction, 230-242, 2015
52015
Knowing how to plan
Y Li, Y Wang
arXiv preprint arXiv:2106.11504, 2021
42021
Tableau-based decision procedure for logic of knowing-how via simple plans
Y Li
Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou …, 2021
32021
A dynamic epistemic framework for reasoning about conformant probabilistic plans
Y Li, B Kooi, Y Wang
Artificial Intelligence 268, 54-84, 2019
32019
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
32018
Neighborhood semantics for logic of knowing how
Y Li, Y Wang
Synthese 199 (3), 8611-8639, 2021
22021
Multi-agent conformant planning with distributed knowledge
Y Li
Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021 …, 2021
22021
Knowing What to Do
Y Li
The system can't perform the operation now. Try again later.
Articles 1–15