Forgetting and Unfolding for Existential Rules

Zhe Wang, Kewen Wang, Xiaowang Zhang. Forgetting and Unfolding for Existential Rules. In Sheila A. McIlraith, Kilian Q. Weinberger, editors, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018. pages 2013-2020, AAAI Press, 2018. [doi]

@inproceedings{WangWZ18-5,
  title = {Forgetting and Unfolding for Existential Rules},
  author = {Zhe Wang and Kewen Wang and Xiaowang Zhang},
  year = {2018},
  url = {https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16667},
  researchr = {https://researchr.org/publication/WangWZ18-5},
  cites = {0},
  citedby = {0},
  pages = {2013-2020},
  booktitle = {Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018},
  editor = {Sheila A. McIlraith and Kilian Q. Weinberger},
  publisher = {AAAI Press},
}