|
|
|
|
LEADER |
00000nam a22000003i 4500 |
001 |
ebs669086e |
003 |
EBZ |
006 |
m o d |||||| |
007 |
cr|unu|||||||| |
008 |
100705s2010 gw | o |||| 0|eng d |
020 |
|
|
|z 9783642141829
|
020 |
|
|
|a 9781280387746 (online)
|
020 |
|
|
|a 9783642141836 (online)
|
035 |
|
|
|a (EBZ)ebs669086e
|
040 |
|
|
|d EBZ
|
042 |
|
|
|a msc
|
050 |
|
4 |
|a Q334-342
|
050 |
|
4 |
|a TA347.A78
|
245 |
1 |
0 |
|a Deontic Logic in Computer Science
|h [electronic resource]
|b 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
|c edited by Guido Governatori, Giovanni Sartor.
|
250 |
|
|
|a 1st ed. 2010.
|
264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg :
|b Imprint: Springer,
|c 2010.
|
490 |
1 |
|
|a Lecture Notes in Artificial Intelligence,
|x 2945-9141 ;
|v 6181
|
505 |
0 |
|
|a 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.
|
650 |
|
0 |
|a Artificial intelligence.
|
650 |
|
0 |
|a Computer programming.
|
650 |
|
0 |
|a Compilers (Computer programs).
|
650 |
|
0 |
|a Machine theory.
|
650 |
|
0 |
|a Computer science—Mathematics.
|
650 |
|
0 |
|a Discrete mathematics.
|
650 |
|
0 |
|a Computer science.
|
700 |
1 |
|
|a Governatori, Guido.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
700 |
1 |
|
|a Sartor, Giovanni.
|e editor.
|0 (orcid)0000-0003-2210-0398
|1 https://orcid.org/0000-0003-2210-0398
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer English/International eBooks 2010 - Full Set
|d Springer Nature
|
776 |
0 |
8 |
|i Printed edition:
|z 9783642141829
|
776 |
0 |
8 |
|i Printed edition:
|z 9783642141843
|
776 |
1 |
|
|t Deontic Logic in Computer Science
|
830 |
|
0 |
|a Lecture Notes in Artificial Intelligence,
|x 2945-9141 ;
|v 6181
|
856 |
4 |
0 |
|y Access Content Online(from Springer English/International eBooks 2010 - Full Set)
|u https://ezproxy.msu.edu/login?url=https://link.springer.com/10.1007/978-3-642-14183-6
|z Springer English/International eBooks 2010 - Full Set: 2010
|