Dagstuhl Seminar Proceedings: Normative Multi-agent Systems 2007