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 BibTeX
Abstracts Invited Papers
Contributed Papers
- Lennart Åqvist:
Combinations of Tense and Deontic Modality.
3-28
Electronic Edition (link) BibTeX
- Guido Boella, Leendert W. N. van der Torre:
Delta: The Social Delegation Cycle.
29-42
Electronic Edition (link) BibTeX
- Jan Broersen, Frank Dignum, Virginia Dignum, John-Jules Ch. Meyer:
Designing a Deontic Logic of Deadlines.
43-56
Electronic Edition (link) BibTeX
- Robert Demolombe, Andreas Herzig:
Obligation Change in Dependence Logic and Situation Calculus.
57-73
Electronic Edition (link) BibTeX
- Lou Goble:
A Proposal for Dealing with Deontic Dilemmas.
74-113
Electronic Edition (link) BibTeX
- Guido Governatori, Antonino Rotolo:
Defeasible Logic: Agency, Intention and Obligation.
114-128
Electronic Edition (link) BibTeX
- Davide Grossi, Frank Dignum, Lambèr M. M. Royakkers, John-Jules Ch. Meyer:
Collective Obligations and Agents: Who Gets the Blame?
129-145
Electronic Edition (link) BibTeX
- Jörg Hansen:
Conflicting Imperatives and Dyadic Deontic Logic.
146-164
Electronic Edition (link) BibTeX
- Wojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge:
On Obligations and Abilities.
165-181
Electronic Edition (link) BibTeX
- Andrew J. I. Jones:
On Normative-Informational Positions.
182-190
Electronic Edition (link) BibTeX
- Andrei Kouznetsov:
Quasi-matrix Deontic Logic.
191-208
Electronic Edition (link) BibTeX
- Olga Pacheco, Filipe Santos:
Delegation in a Role-Based Organization.
209-227
Electronic Edition (link) BibTeX
- Franco Raimondi, Alessio Lomuscio:
Automatic Verification of Deontic Properties of Multi-agent Systems.
228-242
Electronic Edition (link) BibTeX
- Leendert W. N. van der Torre, Joris Hulstijn, Mehdi Dastani, Jan Broersen:
Specifying Multiagent Organizations.
243-257
Electronic Edition (link) BibTeX
- Adam Zachary Wyner:
Maintaining Obligations on Stative Expressions in a Deontic Action Logic.
258-274
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:06:25 2009
by Michael Ley (ley@uni-trier.de)