Deontic logic in computer science [electronic resource] : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings

Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings
Author: Alessio Lomuscio, Donald Nute
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-22111-1
DOI: 10.1007/b98159

Table of Contents:

• Obligation, Contracts, and Negotiation
• Social Laws in Alternating Time
• Combinations of Tense and Deontic Modality
• Δ: The Social Delegation Cycle
• Designing a Deontic Logic of Deadlines
• Obligation Change in Dependence Logic and Situation Calculus
• A Proposal for Dealing with Deontic Dilemmas
• Defeasible Logic: Agency, Intention and Obligation
• Collective Obligations and Agents: Who Gets the Blame?
• Conflicting Imperatives and Dyadic Deontic Logic
• On Obligations and Abilities
• On Normative-Informational Positions
• Quasi-matrix Deontic Logic
• Delegation in a Role-Based Organization
• Automatic Verification of Deontic Properties of Multi-agent Systems
• Specifying Multiagent Organizations
• Maintaining Obligations on Stative Expressions in a Deontic Action Logic

Text (HTML/PDF), image (GIF/PDF) and search engine
Mode of access: Intranet
Caption title ; description based on screen of 2005-04-26
Includes bibliographical references and index