Forgetting in Logic Programs under Strong Equivalence - researchr publication related

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]

The following publications are possibly variants of this publication:

Solving Logic Program Conflict through Strong and Weak ForgettingsYan Zhang, Norman Y. Foo, Kewen Wang. IJCAI 2005: 627-634 [doi]

Solving logic program conflict through strong and weak forgettingsYan Zhang, Norman Y. Foo. ai, 170(8-9):739-778, 2006. [doi]

runs on WebDSL