Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. ProceedingsAuthor: Alessio Lomuscio, Donald Nute Published by Springer Berlin Heidelberg ISBN: 978-3-540-22111-1 DOI: 10.1007/b98159Table 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