Skip to main content
SpringerLink
Log in
Book cover

Deontic Logic in Computer Science

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

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Alessio Lomuscio

    1. Department of Computing, Imperial College, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Donald Nute

    1. Department of Computer Science and Artificial Intelligence Center, The University of Georgia, Athens,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: DEON 2004.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Download chapter PDF

  2. Abstracts of Invited Papers

    1. Obligation, Contracts, and Negotiation

      • Mark A. Brown
      Pages 1-1

    2. Social Laws in Alternating Time

      • Michael Wooldridge
      Pages 2-2

  3. Contributed Papers

    1. Combinations of Tense and Deontic Modality

      • Lennart Åqvist
      Pages 3-28

    2. Δ: The Social Delegation Cycle

      • Guido Boella, Leendert van der Torre
      Pages 29-42

    3. Designing a Deontic Logic of Deadlines

      • Jan Broersen, Frank Dignum, Virginia Dignum, John-Jules Ch. Meyer
      Pages 43-56

    4. Obligation Change in Dependence Logic and Situation Calculus

      • Robert Demolombe, Andreas Herzig
      Pages 57-73

    5. A Proposal for Dealing with Deontic Dilemmas

      • Lou Goble
      Pages 74-113

    6. Defeasible Logic: Agency, Intention and Obligation

      • Guido Governatori, Antonino Rotolo
      Pages 114-128

    7. Collective Obligations and Agents: Who Gets the Blame?

      • Davide Grossi, Frank Dignum, Lambèr M. M. Royakkers, John-Jules Ch. Meyer
      Pages 129-145

    8. Conflicting Imperatives and Dyadic Deontic Logic

      • Jörg Hansen
      Pages 146-164

    9. On Obligations and Abilities

      • Wojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge
      Pages 165-181

    10. On Normative-Informational Positions

      • Andrew J. I. Jones
      Pages 182-190

    11. Quasi-matrix Deontic Logic

      • Andrei Kouznetsov
      Pages 191-208

    12. Delegation in a Role-Based Organization

      • Olga Pacheco, Filipe Santos
      Pages 209-227

    13. Automatic Verification of Deontic Properties of Multi-agent Systems

      • Franco Raimondi, Alessio Lomuscio
      Pages 228-242

    14. Specifying Multiagent Organizations

      • Leendert van der Torre, Joris Hulstijn, Mehdi Dastani, Jan Broersen
      Pages 243-257

    15. Maintaining Obligations on Stative Expressions in a Deontic Action Logic

      • Adam Zachary Wyner
      Pages 258-274

  4. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Deontic Logic in Computer Science

Keywords

About this book

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.

Editors and Affiliations

  • Department of Computing, Imperial College, London, UK

    Alessio Lomuscio

  • Department of Computer Science and Artificial Intelligence Center, The University of Georgia, Athens,  

    Donald Nute

Bibliographic Information

  • Book Title: Deontic Logic in Computer Science

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

  • Editors: Alessio Lomuscio, Donald Nute

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/b98159

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2004

  • Softcover ISBN: 978-3-540-22111-1Published: 12 May 2004

  • eBook ISBN: 978-3-540-25927-5Published: 17 August 2004

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 282

  • Topics: Theory of Computation, Artificial Intelligence, Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation