Deontic Logic in Computer Science 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings - Lomuscio, Alessio; Nute, Donald (Springer Berlin Heidelberg, 2004)