E-Book, Englisch, 323 Seiten, Web PDF
Governatori / Sartor Deontic Logic in Computer Science
Erscheinungsjahr 2010
ISBN: 978-3-642-14183-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
E-Book, Englisch, 323 Seiten, Web PDF
Reihe: Lecture Notes in Artificial Intelligence
ISBN: 978-3-642-14183-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.