Query Answering with Guarded Existential Rules under Stable Model Semantics

Hai Wan, Guohui Xiao 0001, Chenglin Wang, Xianqiao Liu, Junhong Chen, Zhe Wang. Query Answering with Guarded Existential Rules under Stable Model Semantics. In The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020. pages 3017-3024, AAAI Press, 2020. [doi]

Abstract

Abstract is missing.