Forgetting in Logic Programs under Strong Equivalence - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang. Forgetting in Logic Programs under Strong Equivalence. In Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012. AAAI Press, 2012. [doi]

This author has not been identified. Look up 'Yisong Wang' in GoogleThis author has not been identified. Look up 'Yan Zhang' in GoogleThis author has not been identified. Look up 'Yi Zhou' in GoogleThis author has not been identified. Look up 'Mingyi Zhang' in Google

runs on WebDSL