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

Abstracts of Invited Papers.- Obligation, Contracts, and Negotiation.- Social Laws in Alternating Time.- Contributed Papers.- 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.