Logical Foundations for Cognitive Agents Contributions in Honor of Ray Reiter Levesque, Hector J. Heftet / 2011 / Engelsk