Xianqiao Liu

According to our database, Xianqiao Liu authored at least 2 papers between 2018 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Query Answering with Guarded Existential Rules under Stable Model Semantics.

Hai Wan, Guohui Xiao, Chenglin Wang, Xianqiao Liu, Junhong Chen, Zhe Wang

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

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

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018