Deontic Logic in Computer Science: 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings (Lecture Notes in Computer Science, 6181)

This volume presents the refereed proceedings of the 10th International Conference on Deontic Logic in Computer Science, DEON 2010, held in Fiesole, Italy, in July 2010. The 18 revised papers included in the volume were carefully reviewed and selected from 34 submissions. Topics covered include connections preferences, deontic logic and contrary-to-duties, the use of input/output logic, the study of norm dynamics, models of agents and institutions, argumentation, compliance, and various alternative analyses of deontic notions. Front Matter....Pages - From Norm Adoption to Norm Internalization....Pages 1-1 Norms, Action and Agency in Multi-agent Systems....Pages 2-2 Towards a Logical Analysis of the Judgment on Facts....Pages 3-10 Deontic Redundancy: A Fundamental Challenge for Deontic Logic....Pages 11-32 A Dyadic Operator for the Gradation of Desirability....Pages 33-49 Deontics = Betterness + Priority....Pages 50-65 Axioms for Obligation and Robustness with Temporal Logic....Pages 66-83 Moral Particularism and Deontic Logic....Pages 84-97 Relevance, Derogation and Permission....Pages 98-115 Retroactive Legal Changes and Revision Theory in Defeasible Logic....Pages 116-131 Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra....Pages 132-147 Avoiding Deontic Explosion by Contextually Restricting Aggregation....Pages 148-165 Obligations and Prohibitions in Talmudic Deontic Logic....Pages 166-178 Introducing Exclusion Logic as a Deontic Logic....Pages 179-195 Privacy Policies with Modal Logic: The Dynamic Turn....Pages 196-213 Value-Based Argumentation for Justifying Compliance....Pages 214-228 A Logical Model of Private International Law....Pages 229-246 Where Did Mally Go Wrong?....Pages 247-258 Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents....Pages 259-273 Characterising Responsibility in Organisational Structures: The Problem of Many Hands....Pages 274-287 A Logical Analysis of Commitment Dynamics....Pages 288-305 Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems....Pages 306-322 Back Matter....Pages - Presents the refereed proceedings of the 10th International Conference on Deontic Logic in Computer Science, DEON 2010, held in Fiesole, Italy, in July 2010. This title covers such topics as: connections preferences, deontic logic and contrary-to-duties, the use of input/output logic, the study of norm dynamics, and more.