You're trying to claim International Conference on Principles of Knowledge Representation And Reasoning