Query Answering with Inconsistent Existential Rules under Stable Model Semantics

Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang. Query Answering with Inconsistent Existential Rules under Stable Model Semantics. In Dale Schuurmans, Michael P. Wellman, editors, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA. pages 1095-1101, AAAI Press, 2016. [doi]

Abstract

Abstract is missing.