DEON 2004:
Madeira,
Portugal
Alessio Lomuscio, Donald Nute (Eds.):
Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings.
Lecture Notes in Computer Science 3065 Springer 2004, ISBN 3-540-22111-5 
Abstracts Invited Papers
Contributed Papers
- Lennart Åqvist:
Combinations of Tense and Deontic Modality.
3-28
- Guido Boella, Leendert W. N. van der Torre:
Delta: The Social Delegation Cycle.
29-42
- Jan Broersen, Frank Dignum, Virginia Dignum, John-Jules Ch. Meyer:
Designing a Deontic Logic of Deadlines.
43-56
- Robert Demolombe, Andreas Herzig:
Obligation Change in Dependence Logic and Situation Calculus.
57-73
- Lou Goble:
A Proposal for Dealing with Deontic Dilemmas.
74-113
- Guido Governatori, Antonino Rotolo:
Defeasible Logic: Agency, Intention and Obligation.
114-128
- Davide Grossi, Frank Dignum, Lambèr M. M. Royakkers, John-Jules Ch. Meyer:
Collective Obligations and Agents: Who Gets the Blame?
129-145
- Jörg Hansen:
Conflicting Imperatives and Dyadic Deontic Logic.
146-164
- Wojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge:
On Obligations and Abilities.
165-181
- Andrew J. I. Jones:
On Normative-Informational Positions.
182-190
- Andrei Kouznetsov:
Quasi-matrix Deontic Logic.
191-208
- Olga Pacheco, Filipe Santos:
Delegation in a Role-Based Organization.
209-227
- Franco Raimondi, Alessio Lomuscio:
Automatic Verification of Deontic Properties of Multi-agent Systems.
228-242
- Leendert W. N. van der Torre, Joris Hulstijn, Mehdi Dastani, Jan Broersen:
Specifying Multiagent Organizations.
243-257
- Adam Zachary Wyner:
Maintaining Obligations on Stative Expressions in a Deontic Action Logic.
258-274
Last update Tue Feb 14 03:53:32 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
