13 citations · 19 across the 2 of their papers we have counts for
2 papers
cs.AI2017★ 13 cited
Strategically knowing how
Raul Fervari, Andreas Herzig, Yanjun Li +1
In this paper, we propose a single-agent logic of goal-directed knowing how extending the standard epistemic logic of knowing that with a new knowing how operator. The semantics of…
cs.AI2016★ 6 cited
A Dynamic Epistemic Framework for Conformant Planning
Quan Yu, Yanjun Li, Yanjing Wang
In this paper, we introduce a lightweight dynamic epistemic logical framework for automated planning under initial uncertainty. We reduce plan verification and conformant planning…