Forgetting in Logic Programs under Strong Equivalence.

Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang

Browse the full KR paper archive.