Deontic logic in computer science. 7th international workshop on deontic logic in computer science, DEON 2004, Madeira, Portugal, May 26--28, 2004. Proceedings. (Q1890041)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Brown, Mark A.}, Obligation, contracts, and negotiation, 1 [Zbl 1169.03345] \textit{Wooldridge, Michael}, Social laws in alternating time (joint with Wiebe van der Hoek and Mark Roberts), 2 [Zbl 1169.68619] \textit{Åqvist, Lennart}, Combinations of tense and deontic modality, 3-28 [Zbl 1169.03333] \textit{Boella, Guido; van der Torre, Leendert}, \(\Delta \): The social delegation cycle, 29-42 [Zbl 1169.68612] \textit{Broersen, Jan; Dignum, Frank; Dignum, Virginia; Meyer, John-Jules Ch.}, Designing a deontic logic of deadlines, 43-56 [Zbl 1169.03334] \textit{Demolombe, Robert; Herzig, Andreas}, Obligation change in dependence logic and situation calculus, 57-73 [Zbl 1169.68614] \textit{Goble, Lou}, A proposal for dealing with deontic dilemmas, 74-113 [Zbl 1169.03335] \textit{Governatori, Guido; Rotolo, Antonino}, Defeasible logic: Agency, intention and obligation, 114-128 [Zbl 1169.03336] \textit{Grossi, Davide; Dignum, Frank; Royakkers, Lambèr M. M.; Meyer, John-Jules Ch.}, Collective obligations and agents: Who gets the blame?, 129-145 [Zbl 1169.68615] \textit{Hansen, Jörg}, Conflicting imperatives and dyadic deontic logic, 146-164 [Zbl 1169.03337] \textit{Jamroga, Wojciech; van der Hoek, Wiebe; Wooldridge, Michael}, On obligations and abilities, 165-181 [Zbl 1169.68616] \textit{Jones, Andrew J. I.}, On normative-informational positions, 182-190 [Zbl 1169.03338] \textit{Kouznetsov, Andrei}, Quasi-matrix deontic logic, 191-208 [Zbl 1169.03339] \textit{Pacheco, Olga; Santos, Filipe}, Delegation in a role-based organization, 209-227 [Zbl 1169.68617] \textit{Raimondi, Franco; Lomuscio, Alessio}, Automatic verification of deontic properties of multi-agent systems, 228-242 [Zbl 1169.68618] \textit{van der Torre, Leendert; Hulstijn, Joris; Dastani, Mehdi; Broersen, Jan}, Specifying multiagent organizations, 243-257 [Zbl 1169.68621] \textit{Wyner, Adam Zachary}, Maintaining obligations on stative expressions in a deontic action logic, 258-274 [Zbl 1169.68620]