LEADER 04731nam  22007935  450 
001 996465856303316
005 20200703075002.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   $a20100705d2010      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aDeontic Logic in Computer Science$b[electronic resource] $e10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /$fedited by Guido Governatori, Giovanni Sartor
205   $a1st ed. 2010.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010.
215   $a1 online resource (VIII, 323 p. 33 illus.) 
225 1 $aLecture Notes in Artificial Intelligence ;$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 Artificial Intelligence ;$v6181
606   $aArtificial intelligence
606   $aComputer programming
606   $aProgramming languages (Electronic computers)
606   $aMathematical logic
606   $aComputer science?Mathematics
606   $aComputers
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028
606   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
615  0$aArtificial intelligence.
615  0$aComputer programming.
615  0$aProgramming languages (Electronic computers).
615  0$aMathematical logic.
615  0$aComputer science?Mathematics.
615  0$aComputers.
615 14$aArtificial Intelligence.
615 24$aProgramming Techniques.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aMathematical Logic and Formal Languages.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aComputation by Abstract Devices.
676   $a006.3
702   $aGovernatori$b Guido$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSartor$b Giovanni$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Conference on Deontic Logic in Computer Science
906   $aBOOK
912   $a996465856303316
996   $aDeontic Logic in Computer Science$9774359
997   $aUNISA