13 citations · 20 across the 4 of their papers we have counts for
1 paper · 1 filter
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…