57 citations · 57 across the 2 of their papers we have counts for
1 paper · 1 filter
Liangda Fang, Kewen Wang, Zhe Wang +1
Epistemic logics are a primary formalism for multi-agent systems but major reasoning tasks in such epistemic logics are intractable, which impedes applications of multi-agent epist…