LEADER 03189nam 2200565 a 450 001 9910484633103321 005 20200520144314.0 010 $a1-280-38774-2 010 $a9786613565662 010 $a3-642-14183-8 024 7 $a10.1007/978-3-642-14183-6 035 $a(CKB)2670000000028936 035 $a(SSID)ssj0000446413 035 $a(PQKBManifestationID)11281717 035 $a(PQKBTitleCode)TC0000446413 035 $a(PQKBWorkID)10495967 035 $a(PQKB)10089382 035 $a(DE-He213)978-3-642-14183-6 035 $a(MiAaPQ)EBC3065485 035 $a(PPN)149072872 035 $a(EXLCZ)992670000000028936 100 $a20100525d2010 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDeontic logic in computer science $e10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings /$fGuido Governatori, Giovanni Sartor, (eds.) 205 $a1st ed. 210 $aBerlin $cSpringer$d2010 215 $a1 online resource (VIII, 323 p. 33 illus.) 225 1 $aLecture notes in artificial intelligence,$x0302-9743 ;$v6181 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-14182-X 320 $aIncludes bibliographical references and index. 327 $aFrom 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. 410 0$aLecture notes in computer science.$pLecture notes in artificial intelligence ;$v6181. 606 $aDeontic logic$vCongresses 615 0$aDeontic logic 676 $a006.3 701 $aGovernatori$b Guido$0932805 701 $aSartor$b Giovanni$010365 712 12$aInternational Conference on Deontic Logic in Computer Science 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484633103321 996 $aDeontic logic in computer science$94203321 997 $aUNINA