11th International Conference on Logic Programming and Nonmonotonic Reasoning Vancouver, Canada, May 16–19 2011 1st Workshop on Grounding and Transformation for Theories with Variables May 16 2011 Proceedings Pedro Cabalar, David Mitchell, David Pearce and Eugenia Ternovska (Eds.)