International Workshop on Deontic Logic in Computer Science (3rd 1996 Sezimbra, Portugal)