Liu, Xianqiao

2 publications

AAAI 2020 Query Answering with Guarded Existential Rules Under Stable Model Semantics Hai Wan, Guohui Xiao, Chenglin Wang, Xianqiao Liu, Junhong Chen, Zhe Wang

AAAI 2018 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