The Resource Deontic Logic in Computer Science : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, edited by Guido Governatori, Giovanni Sartor, (electronic resource)

Deontic Logic in Computer Science : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, edited by Guido Governatori, Giovanni Sartor, (electronic resource)

Label
Deontic Logic in Computer Science : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
Title
Deontic Logic in Computer Science
Title remainder
10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
Statement of responsibility
edited by Guido Governatori, Giovanni Sartor
Creator
Contributor
Editor
Editor
Subject
Language
  • eng
  • eng
Member of
Is Subseries of
http://bibfra.me/vocab/relation/corporateauthor
ixb4QYY9klQ
Dewey number
006.3
http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsedt
  • wtIygnNZBP0
  • Ww45XV2J1PA
Image bit depth
0
Language note
English
LC call number
Q334-342
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2010 July 7-9
http://bibfra.me/vocab/lite/meetingName
International Workshop on Deontic Logic in Computer Science
Nature of contents
dictionaries
http://bibfra.me/vocab/lite/organizationName
International Conference on Deontic Logic in Computer Science
http://library.link/vocab/relatedWorkOrContributorName
  • International Conference on Deontic Logic in Computer Science
  • Governatori, Guido.
  • Sartor, Giovanni.
Series statement
Lecture Notes in Artificial Intelligence
Series volume
6181
http://library.link/vocab/subjectName
  • 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
Label
Deontic Logic in Computer Science : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, edited by Guido Governatori, Giovanni Sartor, (electronic resource)
Instantiates
Publication
Note
Bibliographic Level Mode of Issuance: Monograph
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Color
not applicable
Content category
text
Content type code
  • txt
Contents
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
Dimensions
unknown
Edition
1st ed.
Extent
1 online resource (VIII, 323 p. 33 illus.)
File format
multiple file formats
Form of item
online
Isbn
9781280387746
Level of compression
uncompressed
Media category
computer
Media type code
  • c
Other control number
10.1007/978-3-642-14183-6
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (CKB)2670000000028936
  • (SSID)ssj0000446413
  • (PQKBManifestationID)11281717
  • (PQKBTitleCode)TC0000446413
  • (PQKBWorkID)10495967
  • (PQKB)10089382
  • (DE-He213)978-3-642-14183-6
  • (MiAaPQ)EBC3065485
  • (EXLCZ)992670000000028936
Label
Deontic Logic in Computer Science : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, edited by Guido Governatori, Giovanni Sartor, (electronic resource)
Publication
Note
Bibliographic Level Mode of Issuance: Monograph
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Color
not applicable
Content category
text
Content type code
  • txt
Contents
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
Dimensions
unknown
Edition
1st ed.
Extent
1 online resource (VIII, 323 p. 33 illus.)
File format
multiple file formats
Form of item
online
Isbn
9781280387746
Level of compression
uncompressed
Media category
computer
Media type code
  • c
Other control number
10.1007/978-3-642-14183-6
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (CKB)2670000000028936
  • (SSID)ssj0000446413
  • (PQKBManifestationID)11281717
  • (PQKBTitleCode)TC0000446413
  • (PQKBWorkID)10495967
  • (PQKB)10089382
  • (DE-He213)978-3-642-14183-6
  • (MiAaPQ)EBC3065485
  • (EXLCZ)992670000000028936

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...