Query Answering with Guarded Existential Rules under Stable Model Semantics.

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

Browse the full AAAI paper archive.