Deontic logic in computer science. 7th international workshop on deontic logic in computer science, DEON 2004, Madeira, Portugal, May 26--28, 2004. Proceedings.
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]
- Deontic logic in computer science. 9th international conference, DEON 2008, Luxembourg, Luxembourg, July 15--18, 2008. Proceedings
- Deontic logic in computer science. 10th international conference, DEON 2010, Fiesole, Italy, July 7--9, 2010. Proceedings
- Deontic logic in computer science. 11th international conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
- 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.
- Deontic logic in computer science. Selected papers from the 1st international workshop, Amsterdam, the Netherlands, December 11--13, 1991
- scientific article; zbMATH DE number 1735827
- Selected papers of the 5th international workshop on deontic logic in computer science (DEON '00), Toulouse, France, Janury 20--22, 2000
- Special issue: Selected papers based on the presentations at the 8th international workshop on deontic logic in computer science, Utrecht, The Netherlands, July 12--14, 2006
- Special issue: Selected and revised papers from the 9th international conference on deontic logic in computer science, DEON 2008, Luxembourg, July 15--18, 2008
- scientific article; zbMATH DE number 1318509
This page was built for publication: Deontic logic in computer science. 7th international workshop on deontic logic in computer science, DEON 2004, Madeira, Portugal, May 26--28, 2004. Proceedings.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1890041)
