papers
Publications (2)
cs.AI2018
A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
Xiao Huang, Biqing Fang, Hai Wan +1
cs.AI2019
Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting -- Application to Belief Update and Conservative Extension
Liangda Fang, Hai Wan, Xianqiao Liu +2