Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2010.
|
| Σειρά: | Lecture Notes in Computer Science,
6181 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
