13Th International Conference on the Principles of Knowledge Representation and Reasoning, Kr 2012, Date: 10 June 2012 through 14 June 2012, Location: Rome, Sponsors: Principles of Knowledge Representation and;Reasoning, Incorporated;University of Rome "La Sapienza";Artificial Intelligence Journal;IBM Italy