Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings - Ågotnes, Thomas; Broersen, Jan; Elgesem, Dag (Springer Berlin Heidelberg : Imprint: Springer, 2012)