LAMAS 2012 Proceedings of the 5rd Workshop on Logical Aspects of Multi-Agent Systems