ISBN-13: 9783540760153 / Angielski / Miękka / 1995 / 235 str.
ISBN-13: 9783540760153 / Angielski / Miękka / 1995 / 235 str.
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, to studies of various applications. The resulting volume will be of interest to researchers working in a variety of fields from philosophy, logic and legal theory, through to artificial intelligence and computer/management sciences.