This is the latest volume in the "Workshops in Computing" series and contains papers to be presented at the Third International Workshop on Deontic Logic in Computer Science (DEON '96) to be held in Sesimbra, Portugal 11 - 13 January 1996. It contains a variety of contributions covering the relationship between deontic logics, logics of action and normative systems (i.e. systems of or about interacting agents whose behaviour is subject to ideal constraints that may not always be fulfilled in practice). The papers range from the theoretical studies of the logical and conceptual tools needed,...
This is the latest volume in the "Workshops in Computing" series and contains papers to be presented at the Third International Workshop on Deontic Lo...