23 citations · 23 across the 2 of their papers we have counts for
2 papers
cs.LO2016★ 23 cited
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…
cs.AI2016
A Logic of Knowing Why
Chao Xu, Yanjing Wang, Thomas Studer
When we say "I know why he was late", we know not only the fact that he was late, but also an explanation of this fact. We propose a logical framework of "knowing why" inspired by…