Deontic Logic in Computer Science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings - Thomas Ågotnes, Jan Broersen, Dag Elgesem ((Lecture Notes in Computer Science))