10 citations · 10 across the 6 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.AI2018
Knowledge Compilation in Multi-Agent Epistemic Logics
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…
cs.AI2018
Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting -- Application to Belief Update and Conservative Extension
Liangda Fang, Hai Wan, Xianqiao Liu +2
Dependence is an important concept for many tasks in artificial intelligence. A task can be executed more efficiently by discarding something independent from the task. In this pap…