Skip to main content
SpringerLink
Log in
Book cover

Deontic Logic in Computer Science

9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Ron Meyden
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Leendert Torre
    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 5076)

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

Included in the following conference series:

Conference proceedings info: DEON 2008.

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 74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 papers)

  1. Front Matter

    Download chapter PDF

  2. Norms in Branching Space-Times

    • Nuel Belnap
    Pages 1-2

  3. Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories

    • Guido Governatori, Antonino Rotolo
    Pages 3-18

  4. Acting, Events and Actions

    • Mark A. Brown
    Pages 19-33

  5. A Tableaux System for Deontic Action Logic

    • Pablo F. Castro, T. S. E. Maibaum
    Pages 34-48

  6. Information Security Economics - and Beyond

    • Ross Anderson
    Pages 49-49

  7. Trust and Norms in the Context of Computer Security: A Logical Formalization

    • Emiliano Lorini, Robert Demolombe
    Pages 50-64

  8. Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic

    • Nora Cuppens-Boulahia, Frédéric Cuppens
    Pages 65-80

  9. Delegation of Control in Administrative Procedures

    • Joris Hulstijn, Jianwei Liu, Yao-Hua Tan
    Pages 81-95

  10. Variations in Access Control Logic

    • Martín Abadi
    Pages 96-109

  11. Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking

    • Nikhil Dinesh, Aravind Joshi, Insup Lee, Oleg Sokolsky
    Pages 110-124

  12. Need to Know: Questions and the Paradox of Epistemic Obligation

    • Joris Hulstijn
    Pages 125-139

  13. A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’

    • Jan Broersen
    Pages 140-154

  14. Reactive Kripke Models and Contrary to Duty Obligations

    • Dov M. Gabbay
    Pages 155-173

  15. Normative Consequence: The Problem of Keeping It Whilst Giving It up

    • Audun Stolpe
    Pages 174-188

  16. On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G

    • Xavier Parent
    Pages 189-202

  17. Strata of Intervenient Concepts in Normative Systems

    • Lars Lindahl, Jan Odelstad
    Pages 203-217

  18. A Deontic Logic for Socially Optimal Norms

    • Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini
    Pages 218-232

  19. Praise, Blame, Obligation, and Beyond: Toward a Framework for Classical Supererogation and Kin

    • Paul McNamara
    Pages 233-247

  20. Introducing Grades in Deontic Logics

    • Pilar Dellunde, Lluís Godo
    Pages 248-262
Back to top

Other volumes

  1. Deontic Logic in Computer Science

Keywords

About this book

This volume presents the papers contributed to ?EON 2008, the 9th Inter- tional Conference on Deontic Logic in Computer Science, held in Luxembourg, July 16–18, 2008. This biennial conference series is designed to promote int- national cooperation amongst scholars who are interested in deontic logic and its use in computer science. The scope of the conference is interdisciplinary, and includes research that links the formal-logical study of normative concepts and normative systems with computer science, arti?cial intelligence, philosophy, - ganization theory, and law. The ?EON website, http://www.deonticlogic.org, contains links to previous conferences and their papers. This history reveals a vibrant interdisciplinary research program. Papers for these conferences might address such general themes as the - velopment 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, responsibility, etc., or the formal representation of legal knowledge. They might also be concerned with applications, such as the formal speci?cation of n- mative multiagent systems, the 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.

Bibliographic Information

  • Book Title: Deontic Logic in Computer Science

  • Book Subtitle: 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings

  • Editors: Ron Meyden, Leendert Torre

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-540-70525-3

  • Publisher: Springer Berlin, Heidelberg

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

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2008

  • Softcover ISBN: 978-3-540-70524-6Due: 10 July 2008

  • eBook ISBN: 978-3-540-70525-3Published: 14 July 2008

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 279

  • Topics: Artificial Intelligence, Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation