1 option
Deontic Logic in Computer Science : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings / edited by Guido Governatori, Giovanni Sartor.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science. Lecture notes in artificial intelligence ; 6181.
- Lecture Notes in Artificial Intelligence ; 6181
- Language:
- English
- Subjects (All):
- Artificial intelligence.
- Computer programming.
- Programming languages (Electronic computers).
- Logic, Symbolic and mathematical.
- Computer science--Mathematics.
- Computer science.
- Computers.
- Artificial Intelligence.
- Programming Techniques.
- Programming Languages, Compilers, Interpreters.
- Mathematical Logic and Formal Languages.
- Discrete Mathematics in Computer Science.
- Computation by Abstract Devices.
- Local Subjects:
- Artificial Intelligence.
- Programming Techniques.
- Programming Languages, Compilers, Interpreters.
- Mathematical Logic and Formal Languages.
- Discrete Mathematics in Computer Science.
- Computation by Abstract Devices.
- Physical Description:
- 1 online resource (VIII, 323 pages) : 33 illustrations.
- Edition:
- First edition 2010.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
- System Details:
- text file PDF
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-642-14183-6
- 9783642141836
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.