Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings - Meyden, Ron van der; Torre, Leendert van der (Springer Berlin Heidelberg, 2008)