Deontic Logic and Artificial Normative Systems

8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings

  • Lou Goble
  • John-Jules Ch. Meyer
Conference proceedings DEON 2006

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4048)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 4048)

Table of contents

  1. Front Matter
  2. Abstracts of Invited Papers

  3. Contributed Papers

    1. Katie Atkinson, Trevor Bench-Capon
      Pages 8-23
    2. Guido Boella, Leendert van der Torre
      Pages 24-35
    3. Guido Boella, Leendert van der Torre
      Pages 36-52
    4. Mark A. Brown
      Pages 69-84
    5. Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali
      Pages 85-100
    6. Robert Demolombe, Vincent Louis
      Pages 101-114
    7. Davide Grossi, John-Jules Ch. Meyer, Frank Dignum
      Pages 115-130
    8. Jesse Hughes, Lambèr Royakkers
      Pages 131-148
    9. Andrew J. I. Jones, Steven O. Kimbrough
      Pages 149-160
    10. Barteld Kooi, Allard Tamminga
      Pages 175-186
    11. Lars Lindahl, Jan Odelstad
      Pages 187-200
    12. Gert-Jan C. Lokhorst
      Pages 201-209
    13. Marek Sergot, Robert Craven
      Pages 222-237

About these proceedings

Introduction

This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, held in Utrecht, The Netherlands, July 12–14, 2006. These biennial DEON (more properly, ?EON) workshops are designed to promote international cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science. They support research that links the formal-logical study of normative concepts and normative systems with computer science, arti?cial intelligence, philosophy, organization theory, and law. Papers for these workshops might address such general themes as the dev- opment of formal systems of deontic logic and related areas of logic, such as logics of action and agency, or the formal analysis of all sorts of normative concepts, such as the notions of rule, role, regulation, authority, power, rights, respon- bility, etc. , or the formal representation of legal knowledge. They might also be more concerned with applications, such as the formal speci?cation of systems for the management of bureaucratic processes in public or private administration, or the speci?cation of database integrity constraints or computer security protocols, and more. Of particular interest is the interaction between computer systems and their users. (The DEON 2006 website, http://www. cs. uu. nl/deon2006/,c- tains links to previous workshops and their papers. This history reveals a vibrant interdisciplinary research program.

Keywords

AI logics action logic algorithms artificial intelligence atificial agent societies classification computer science logic defeasable logic deontic logic formal reasoning formal verification intelligence logic multi-agent system normative concepts

Editors and affiliations

  • Lou Goble
    • 1
  • John-Jules Ch. Meyer
    • 2
  1. 1.Department of PhilosophieWillamette UniversitySalemUSA
  2. 2.Utrecht UniversityUtrechtThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/11786849
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-35842-8
  • Online ISBN 978-3-540-35843-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book