A Theory of Forgetting in Logic Programming.

Kewen Wang, Abdul Sattar, Kaile Su

Browse the full AAAI paper archive.