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]

@inproceedings{WanZXHZ16,
  title = {Query Answering with Inconsistent Existential Rules under Stable Model Semantics},
  author = {Hai Wan and Heng Zhang and Peng Xiao and Haoran Huang and Yan Zhang},
  year = {2016},
  url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/11854},
  researchr = {https://researchr.org/publication/WanZXHZ16},
  cites = {0},
  citedby = {0},
  pages = {1095-1101},
  booktitle = {Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA},
  editor = {Dale Schuurmans and Michael P. Wellman},
  publisher = {AAAI Press},
}