Deontic logic, agency, and normative systems: Delta EON '96, Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996

Front Cover
Springer, 1996 - Computers - 232 pages
0 Reviews
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.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Towards a Computational Treatment of Deontic Defeasibility
27
Towards a Logic of Simply Dischargeable
47
A Deontic Logic for Reasoning about Confidentiality
66
Copyright

8 other sections not shown

Common terms and phrases

Bibliographic information