Export Reviews, Discussions, Author Feedback and Meta-Reviews

First provide a summary of the paper, and then address the following criteria: Quality, clarity, originality and significance. This paper introduces two new lifted inference rules for MAP. They apply when there are -for the MPA task-redundant logical variables, and when formulas are always true when entire relations are set to true/false. The definition of domain independence should be made more precise. In its current form, there is a problem.