Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension. - Liangda Fang; Hai Wan; Xianqiao Liu; Biqing Fang; Zhao-Rong Lai (AAAI, 2018)

Query Answering with Guarded Existential Rules under Stable Model Semantics. - Hai Wan; Guohui Xiao 001; Chenglin Wang 002; Xianqiao Liu; Junhong Chen; Zhe Wang 001 (AAAI, 2020)