Xianqiao Liu

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 2

Top Topics

Inconsistent Databases

Stable Model Semantics

Propositional Logic

Top Venues

Publications

Hai Wan, Guohui Xiao, Chenglin Wang, Xianqiao Liu, Junhong Chen, Zhe Wang
Query Answering with Guarded Existential Rules under Stable Model Semantics. AAAI (2020)
Liangda Fang, Hai Wan, Xianqiao Liu, Biqing Fang, Zhao-Rong Lai
Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension. AAAI (2018)