International Workshop on Deontic Logic in Computer Science. <i>Deontic Logic in Computer Science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 ; Proceedings</i>. Springer, 2004.