Forgetting and Unfolding for Existential Rules.

Zhe Wang, Kewen Wang, Xiaowang Zhang

Browse the full AAAI paper archive.