Italy) International Conference on Principles of Knowledge Representation and Reasoning (13th 2012 Rome