Vai al contenuto principale della pagina
Titolo: | Deontic Logic in Computer Science [[electronic resource] ] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings / / edited by Guido Governatori, Giovanni Sartor |
Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Edizione: | 1st ed. 2010. |
Descrizione fisica: | 1 online resource (VIII, 323 p. 33 illus.) |
Disciplina: | 006.3 |
Soggetto topico: | Artificial intelligence |
Computer programming | |
Programming languages (Electronic computers) | |
Mathematical logic | |
Computer science—Mathematics | |
Computers | |
Artificial Intelligence | |
Programming Techniques | |
Programming Languages, Compilers, Interpreters | |
Mathematical Logic and Formal Languages | |
Discrete Mathematics in Computer Science | |
Computation by Abstract Devices | |
Persona (resp. second.): | GovernatoriGuido |
SartorGiovanni | |
Note generali: | Bibliographic Level Mode of Issuance: Monograph |
Nota di bibliografia: | Includes bibliographical references and index. |
Nota di contenuto: | 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. |
Titolo autorizzato: | Deontic Logic in Computer Science |
ISBN: | 1-280-38774-2 |
9786613565662 | |
3-642-14183-8 | |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 996465856303316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |