Query answering with inconsistent existential rules under stable model semantics

Hits:

Journal:AAAI 2016

All the Authors:Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang

First Author:Hai Wan

Indexed by:Unit Twenty Basic Research

Correspondence Author:Heng Zhang

Translation or Not:no