Knowledge Representation and Reasoning Conference
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning

Presentations

Reading Tools
Forgetting in Logic Programs under Strong Equivalence

Wang, Zhang, Zhou, Zhang




Search conference