Deontic Logic in Computer Science: 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings | SpringerLink
Skip to main content
Springer Nature Link
Log in

Deontic Logic in Computer Science

10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Guido Governatori

    1. Queensland Research Laboratory, National ICT Australia, St Lucia, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Giovanni Sartor

    1. European University Institute, Badia Fiesolana, 50016 San Domenico di Fiesole, Florence, Italy, and University of Bologna, Bologna, Italy

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

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

Included in the following conference series:

Conference proceedings info: DEON 2010.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook JPY 5719
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book JPY 7149
Price includes VAT (Japan)
  • 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

Keywords

Table of contents (22 papers)

  1. Front Matter

    Download chapter PDF

  2. From Norm Adoption to Norm Internalization

    • Rosaria Conte, Giulia Andrighetto, Daniel Villatoro
    Pages 1-1

  3. Norms, Action and Agency in Multi-agent Systems

    • Marek Sergot
    Pages 2-2

  4. Towards a Logical Analysis of the Judgment on Facts

    • Michele Taruffo
    Pages 3-10

  5. Deontic Redundancy: A Fundamental Challenge for Deontic Logic

    • Leendert van der Torre
    Pages 11-32

  6. A Dyadic Operator for the Gradation of Desirability

    • Guillaume Piolle
    Pages 33-49

  7. Deontics = Betterness + Priority

    • Johan van Benthem, Davide Grossi, Fenrong Liu
    Pages 50-65

  8. Axioms for Obligation and Robustness with Temporal Logic

    • Tim French, John C. McCabe-Dansted, Mark Reynolds
    Pages 66-83

  9. Moral Particularism and Deontic Logic

    • Xavier Parent
    Pages 84-97

  10. Relevance, Derogation and Permission

    • Audun Stolpe
    Pages 98-115

  11. Retroactive Legal Changes and Revision Theory in Defeasible Logic

    • Antonino Rotolo
    Pages 116-131

  12. Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra

    • Robert Trypuz, Piotr Kulicki
    Pages 132-147

  13. Avoiding Deontic Explosion by Contextually Restricting Aggregation

    • Joke Meheus, Mathieu Beirlaen, Frederik Van De Putte
    Pages 148-165

  14. Obligations and Prohibitions in Talmudic Deontic Logic

    • Michael Abraham, Dov M. Gabbay, Uri Schild
    Pages 166-178

  15. Introducing Exclusion Logic as a Deontic Logic

    • Richard Evans
    Pages 179-195

  16. Privacy Policies with Modal Logic: The Dynamic Turn

    • Guillaume Aucher, Guido Boella, Leendert van der Torre
    Pages 196-213

  17. Value-Based Argumentation for Justifying Compliance

    • Brigitte Burgemeestre, Joris Hulstijn, Yao-Hua Tan
    Pages 214-228

  18. A Logical Model of Private International Law

    • Phan Minh Dung, Giovanni Sartor
    Pages 229-246

  19. Where Did Mally Go Wrong?

    • Gert-Jan C. Lokhorst
    Pages 247-258

  20. Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents

    • Robert Demolombe
    Pages 259-273
Back to top

Other volumes

  1. Deontic Logic in Computer Science

Editors and Affiliations

  • Queensland Research Laboratory, National ICT Australia, St Lucia, Australia

    Guido Governatori

  • European University Institute, Badia Fiesolana, 50016 San Domenico di Fiesole, Florence, Italy, and University of Bologna, Bologna, Italy

    Giovanni Sartor

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation