23 citations · 43 across the 5 of their papers we have counts for
5 papers
Tableaux for the Logic of Strategically Knowing How
Yanjun Li
The logic of goal-directed knowing-how extends the standard epistemic logic with an operator of knowing-how. The knowing-how operator is interpreted as that there exists a strategy…
Knowing How to Plan
Yanjun Li, Yanjing Wang
Various planning-based know-how logics have been studied in the recent literature. In this paper, we use such a logic to do know-how-based planning via model checking. In particula…
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…
Achieving while maintaining: A logic of knowing how with intermediate constraints
Yanjun Li, Yanjing Wang
In this paper, we propose a ternary knowing how operator to express that the agent knows how to achieve given while maintaining in-between. It generalizes the logic of…
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…