Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Governatori, Guido (Editor ), Sartor, Giovanni (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Lecture Notes in Artificial Intelligence, 6181
Temas:
Artificial intelligence.
Computer programming.
Compilers (Computer programs).
Machine theory.
Computer science-Mathematics.
Discrete mathematics.
Computer science.
Artificial Intelligence.
Programming Techniques.
Compilers and Interpreters.
Formal Languages and Automata Theory.
Discrete Mathematics in Computer Science.
Theory of Computation.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares