Deontic logic in computer science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings (2012)