Author: International Workshop on Deontic Logic in Computer Science (3rd 1996 Sesimbra, Portugal)