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

Editat de Guido Governatori, Giovanni Sartor
en Limba Engleză Paperback – 30 iun 2010

Din seria Lecture Notes in Computer Science

Preț: 30114 lei

Preț vechi: 37643 lei

Puncte Express: 452

Preț estimativ în valută:
5766 6243$ 4913£

Carte disponibilă

Livrare economică 17 iunie-01 iulie

Preluare comenzi: 021 569.72.76


ISBN-13: 9783642141829
ISBN-10: 364214182X
Pagini: 323
Ilustrații: VIII, 323 p. 33 illus.
Greutate: 0.5 kg
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Public țintă



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.