Deontic Logic in Computer Science [electronic resource] 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings / edited by Guido Governatori, Giovanni Sartor.
| Uniform Title: | Lecture Notes in Artificial Intelligence,
2945-9141 ; 6181 |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2010.
|
| Edition: | 1st ed. 2010. |
| Series: | Lecture Notes in Artificial Intelligence,
6181 |
| Subjects: | |
| Online Access: | |
| Format: | Electronic eBook |
Contents:
- From Norm Adoption to Norm Internalization
- Norms, Action and Agency in Multi-agent Systems
- Towards a Logical Analysis of the Judgment on Facts
- Deontic Redundancy: A Fundamental Challenge for Deontic Logic
- A Dyadic Operator for the Gradation of Desirability
- Deontics = Betterness + Priority
- Axioms for Obligation and Robustness with Temporal Logic
- Moral Particularism and Deontic Logic
- Relevance, Derogation and Permission
- Retroactive Legal Changes and Revision Theory in Defeasible Logic
- Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra
- Avoiding Deontic Explosion by Contextually Restricting Aggregation
- Obligations and Prohibitions in Talmudic Deontic Logic
- Introducing Exclusion Logic as a Deontic Logic
- Privacy Policies with Modal Logic: The Dynamic Turn
- Value-Based Argumentation for Justifying Compliance
- A Logical Model of Private International Law
- Where Did Mally Go Wrong?
- Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents
- Characterising Responsibility in Organisational Structures: The Problem of Many Hands
- A Logical Analysis of Commitment Dynamics
- Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems.