Deontic Logic, Agency and Normative Systems

ΔEON ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996

  • Mark A. Brown
  • José Carmo
Conference proceedings

Part of the Workshops in Computing book series (WORKSHOPS COMP.)

Table of contents

  1. Front Matter
    Pages i-xvi
  2. Alberto Artosi, Guido Governatori, Giovanni Sartor
    Pages 27-46
  3. Frédéric Cuppens, Robert Demolombe
    Pages 66-79
  4. Arnold A. Johanson
    Pages 123-133
  5. Lambèr Royakkers, Frank Dignum
    Pages 174-193
  6. Filipe Santos, José Carmo
    Pages 194-215
  7. Yao-Hua Tan, Leendert W. N. van der Torre
    Pages 216-232
  8. Back Matter
    Pages 233-235

About these proceedings


This volume presents a variety of papers bearing on the relation between deontic logics, logics of action, and normative systems, i.e. systems of or about interacting agents (computers, human beings, corporations, etc.) whose behaviour is subject to ideal constraints that may not always be fulfilled in practice. The papers range from theoretical studies of the logical and conceptual tools needed, to studies of various applications. The set of papers collected in this book should be of interest to investigators working in a variety of fields, from philosophy, logic and legal theory to artificial intelligence, computer and management sciences, since it covers topics ranging from theoretical research on foundational issues in deontic and action logics, defeasible reasoning, decision theory, ethical theory, and legal theory, to research on a variety of issues relevant to applications connected with expert systems in the law, document specification, automation of defeasible reasoning, specification of responsibilities and powers in organizations, normative systems specification, confidentiality in database systems, and a host of other applications.


artificial intelligence computer computer science deontic logic logic

Editors and affiliations

  • Mark A. Brown
    • 1
  • José Carmo
    • 2
  1. 1.Department of PhilosophySyracuse UniversitySyracuseUSA
  2. 2.Department of MathematicsInstituto Superior TécnicoLisboa CodexPortugal

Bibliographic information

  • DOI
  • Copyright Information British Computer Society 1996
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-76015-3
  • Online ISBN 978-1-4471-1488-8
  • Series Print ISSN 1431-1682
  • Buy this book on publisher's site