Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings /

This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, held in Utrecht, The Netherlands, July 12-14, 2006. These biennial DEON (more properly, ?EON) workshops are designed to promote international cooperation among scholars acro...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Goble, Lou (Editor ), Meyer, John-Jules Ch (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Lecture Notes in Artificial Intelligence, 4048
Temas:
Computer science.
Artificial intelligence.
Machine theory.
Theory of Computation.
Artificial Intelligence.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Abstracts of Invited Papers
  • Roles, Counts-as and Deontic and Action Logics
  • Norms and Electronic Institutions
  • Emotion Models for Situated Normative Systems?
  • Contributed Papers
  • Addressing Moral Problems Through Practical Reasoning
  • A Logical Architecture of a Normative System
  • Delegation of Power in Normative Multiagent Systems
  • Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario
  • Acting with an End in Sight
  • A State/Event Temporal Deontic Logic
  • Speech Acts with Institutional Effects in Agent Societies
  • Counts-as: Classification or Constitution? An Answer Using Modal Logic
  • Don't Ever Do That! Long-Term Duties in PD e L
  • On the Normative Aspect of Signalling Conventions
  • Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms
  • Conflicting Obligations in Multi-agent Deontic Logic
  • Intermediate Concepts in Normative Systems
  • Propositional Quantifiers in Deontic Logic
  • A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategies
  • The Deontic Component of Action Language
  • A Complete and Decidable Axiomatisation for Deontic Interpreted Systems
  • Sequences, Obligations, and the Contrary-to-Duty Paradox.

Ejemplares similares