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

Front Cover
Guido Governatori, Giovanni Sartor
Springer Science & Business Media, Jun 30, 2010 - Computers - 323 pages
This volume presents the papers contributed to ?EON 2008, the 10th Int- national Conference on Deontic Logic in Computer Science, held in Fiesole (Florence), July 7 9, 2010. This biennial conference series is designed to p- mote international cooperation amongst scholars who are interested in deontic logic and its use in computer science. The scope of the conference is interd- ciplinary, it covers formal-logical studies of normative concepts and normative systems and their links with computer science, arti?cial intelligence, philosophy, organization theory, and law. This edition of ?EON invited submission on the following general themes: the logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, the logic of action, and other related - eas of logic, the formal analysis of normative concepts and normative systems, the formal representation of legal knowledge, the formal speci?cation of aspects of norm-governed multi-agent systems and autonomous agents, including (but not limited to) the representation of rights, authorization, delegation, power, responsibility and liability, the formal speci?cation of normative systems for the managementofbureaucraticprocessesinpublic orprivateadministration, app- cations of normative logic to the speci?cation of database integrity constraints, normative aspects of protocols for communication, negotiation and multi-agent decision making.In particular, submissions weresolicited addressingapplication of deontic notions for modelling legal systems."
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

From Norm Adoption to Norm Internalization
1
Norms Action and Agency in Multiagent Systems
2
Towards a Logical Analysis of the Judgment on Facts
3
A Fundamental Challenge for Deontic Logic
11
A Dyadic Operator for the Gradation of Desirability
33
Deontics Betterness + Priority
50
Axioms for Obligation and Robustness with Temporal Logic
66
Moral Particularism and Deontic Logic
84
Obligations and Prohibitions in Talmudic Deontic Logic
166
Introducing Exclusion Logic as a Deontic Logic
179
The Dynamic Turn
196
ValueBased Argumentation for Justifying Compliance
214
A Logical Model of Private International Law
229
Where Did Mally Go Wrong?
247
Relationships between Actions Performed by Institutional Agents Human Agents or Software Agents
259
The Problem of Many Hands
274

Relevance Derogation and Permission A Case for a Normal Form for Codes of Norms
98
Retroactive Legal Changes and Revision Theory in Defeasible Logic
116
Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra
132
Avoiding Deontic Explosion by Contextually Restricting Aggregation
148
A Logical Analysis of Commitment Dynamics
288
A DependenceBased Approach to the Regulation of Multiagent Systems
306
Author Index
323
Copyright

Common terms and phrases