Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings - Ron Meyden, Leendert Torre ((Lecture Notes in Computer Science))