Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Lou Goble

    1. Department of Philosophie, Willamette University, Salem, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. John-Jules Ch. Meyer

    1. Utrecht University, Utrecht, The Netherlands

    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 4048)

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

Included in the following conference series:

Conference proceedings info: DEON 2006.

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 64.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 84.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 (21 papers)

  1. Front Matter

    Download chapter PDF

  2. Abstracts of Invited Papers

    1. Roles, Counts-as and Deontic and Action Logics

      • José Carmo
      Pages 1-1

    2. Norms and Electronic Institutions

      • F. Dignum
      Pages 2-5

    3. Emotion Models for Situated Normative Systems?

      • Paolo Petta
      Pages 6-7

  3. Contributed Papers

    1. Addressing Moral Problems Through Practical Reasoning

      • Katie Atkinson, Trevor Bench-Capon
      Pages 8-23

    2. A Logical Architecture of a Normative System

      • Guido Boella, Leendert van der Torre
      Pages 24-35

    3. Delegation of Power in Normative Multiagent Systems

      • Guido Boella, Leendert van der Torre
      Pages 36-52

    4. Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario

      • Jan Broersen
      Pages 53-68

    5. Acting with an End in Sight

      • Mark A. Brown
      Pages 69-84

    6. A State/Event Temporal Deontic Logic

      • Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali
      Pages 85-100

    7. Speech Acts with Institutional Effects in Agent Societies

      • Robert Demolombe, Vincent Louis
      Pages 101-114

    8. Counts-as: Classification or Constitution? An Answer Using Modal Logic

      • Davide Grossi, John-Jules Ch. Meyer, Frank Dignum
      Pages 115-130

    9. Don’t Ever Do That! Long-Term Duties in PD e L

      • Jesse Hughes, Lambèr Royakkers
      Pages 131-148

    10. On the Normative Aspect of Signalling Conventions

      • Andrew J. I. Jones, Steven O. Kimbrough
      Pages 149-160

    11. Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms

      • Souhila Kaci, Leendert van der Torre
      Pages 161-174

    12. Conflicting Obligations in Multi-agent Deontic Logic

      • Barteld Kooi, Allard Tamminga
      Pages 175-186

    13. Intermediate Concepts in Normative Systems

      • Lars Lindahl, Jan Odelstad
      Pages 187-200

    14. Propositional Quantifiers in Deontic Logic

      • Gert-Jan C. Lokhorst
      Pages 201-209

    15. A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategies

      • Thomas Müller
      Pages 210-221

    16. The Deontic Component of Action Language \(n{\mathcal{C}}+\)

      • Marek Sergot, Robert Craven
      Pages 222-237
Back to top

Other volumes

  1. Deontic Logic and Artificial Normative Systems

Keywords

About this book

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.

Editors and Affiliations

  • Department of Philosophie, Willamette University, Salem, USA

    Lou Goble

  • Utrecht University, Utrecht, The Netherlands

    John-Jules Ch. Meyer

Bibliographic Information

  • Book Title: Deontic Logic and Artificial Normative Systems

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

  • Editors: Lou Goble, John-Jules Ch. Meyer

  • Series Title: Lecture Notes in Computer Science

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2006

  • Softcover ISBN: 978-3-540-35842-8Published: 29 June 2006

  • eBook ISBN: 978-3-540-35843-5Published: 02 July 2006

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 278

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

Publish with us

Policies and ethics

Back to top

Search

Navigation