Forgetting in Logic Programs under Strong Equivalence

Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang
January 2012
Cite
Type
Conference paper
Publication
Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference

Add the full text or supplementary notes for the publication here using Markdown formatting.