Deontic Logic in Computer Science

7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings

  • Alessio Lomuscio
  • Donald Nute

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

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

Table of contents

  1. Front Matter
  2. Abstracts of Invited Papers

    1. Mark A. Brown
      Pages 1-1
    2. Michael Wooldridge
      Pages 2-2
  3. Contributed Papers

    1. Lennart Åqvist
      Pages 3-28
    2. Guido Boella, Leendert van der Torre
      Pages 29-42
    3. Jan Broersen, Frank Dignum, Virginia Dignum, John-Jules Ch. Meyer
      Pages 43-56
    4. Robert Demolombe, Andreas Herzig
      Pages 57-73
    5. Guido Governatori, Antonino Rotolo
      Pages 114-128
    6. Davide Grossi, Frank Dignum, Lambèr M. M. Royakkers, John-Jules Ch. Meyer
      Pages 129-145
    7. Wojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge
      Pages 165-181
    8. Andrew J. I. Jones
      Pages 182-190
    9. Andrei Kouznetsov
      Pages 191-208
    10. Olga Pacheco, Filipe Santos
      Pages 209-227
    11. Franco Raimondi, Alessio Lomuscio
      Pages 228-242
    12. Leendert van der Torre, Joris Hulstijn, Mehdi Dastani, Jan Broersen
      Pages 243-257
  4. Back Matter

About these proceedings

Introduction

This volume contains the workshop proceedings of DEON 2004, the Seventh International Workshop on Deontic Logic in Computer Science. The DEON workshop series aims at bringing together researchers interested in topics - lated to the use of deontic logic in computer science. It traditionally promotes research in the relationship between normative concepts and computer science, arti?cial intelligence, organisation theory, and law. In addition to these topics, DEON 2004 placed special emphasis on the relationship between deontic logic and multi-agent systems. The workshop was held in Madeira, Portugal, on 26–28 May 2004. This v- ume includes all 15 papers presented at the workshop, as well as two abstracts from the two outstanding invited speakers we were privileged to host: Prof Mark Brown (Syracuse University, USA), and Prof Mike Wooldridge (University of Liverpool, UK). The reader will ?nd that the topics covered span from t- oretical investigations on deontic concepts and their formalisation in logic, to the use of deontic formalisms to verify and reason about multi-agent systems applications. We believe this makes it a well-balanced and interesting volume. We wish to thank all those who contributed to this workshop, and especially the authors of the submitted papers and the referees. They were all forced to work on a very tight timescale to make this volume a reality.

Keywords

AI logics action logic artificial intelligence computer science logic deontic logic formal reasoning formal verification intelligence logic mathematical logic multi-agent system multiagent reasoning obligations social laws verification

Editors and affiliations

  • Alessio Lomuscio
    • 1
  • Donald Nute
    • 2
  1. 1.Department of ComputingImperial CollegeLondonUK
  2. 2.Department of Computer Science and Artificial Intelligence CenterThe University of GeorgiaAthens 

Bibliographic information

  • DOI https://doi.org/10.1007/b98159
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-22111-1
  • Online ISBN 978-3-540-25927-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book