International Workshop on Deontic Logic in Computer Science. (2004). <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.