3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.AI2021
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…
cs.AI2021★ 3 cited
De Re Updates
Michael Cohen, Wen Tang, Yanjing Wang
In this paper, we propose a lightweight yet powerful dynamic epistemic logic that captures not only the distinction between de dicto and de re knowledge but also the distinction be…