DEON 2006:
Utrecht,
The Netherlands
Lou Goble, John-Jules Ch. Meyer (Eds.):
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.
Lecture Notes in Computer Science 4048 Springer 2006, ISBN 3-540-35842-0 BibTeX
Abstracts of Invited Papers
Contributed Papers
- Katie Atkinson, Trevor J. M. Bench-Capon:
Addressing Moral Problems Through Practical Reasoning.
8-23
Electronic Edition (link) BibTeX
- Guido Boella, Leendert W. N. van der Torre:
A Logical Architecture of a Normative System.
24-35
Electronic Edition (link) BibTeX
- Guido Boella, Leendert W. N. van der Torre:
Delegation of Power in Normative Multiagent Systems.
36-52
Electronic Edition (link) BibTeX
- Jan Broersen:
Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario.
53-68
Electronic Edition (link) BibTeX
- Mark A. Brown:
Acting with an End in Sight.
69-84
Electronic Edition (link) BibTeX
- Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali:
A State/Event Temporal Deontic Logic.
85-100
Electronic Edition (link) BibTeX
- Robert Demolombe, Vincent Louis:
Speech Acts with Institutional Effects in Agent Societies.
101-114
Electronic Edition (link) BibTeX
- Davide Grossi, John-Jules Ch. Meyer, Frank Dignum:
Counts-as: Classification or Constitution? An Answer Using Modal Logic.
115-130
Electronic Edition (link) BibTeX
- Jesse Hughes, Lambèr M. M. Royakkers:
Don't Ever Do That! Long-Term Duties in PDeL.
131-148
Electronic Edition (link) BibTeX
- Andrew J. I. Jones, Steven O. Kimbrough:
On the Normative Aspect of Signalling Conventions.
149-160
Electronic Edition (link) BibTeX
- Souhila Kaci, Leendert W. N. van der Torre:
Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms.
161-174
Electronic Edition (link) BibTeX
- Barteld P. Kooi, Allard M. Tamminga:
Conflicting Obligations in Multi-agent Deontic Logic.
175-186
Electronic Edition (link) BibTeX
- Lars Lindahl, Jan Odelstad:
Intermediate Concepts in Normative Systems.
187-200
Electronic Edition (link) BibTeX
- Gert-Jan C. Lokhorst:
Propositional Quantifiers in Deontic Logic.
201-209
Electronic Edition (link) BibTeX
- Thomas Müller:
A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategies.
210-221
Electronic Edition (link) BibTeX
- Marek J. Sergot, Robert Craven:
The Deontic Component of Action Language nC+.
222-237
Electronic Edition (link) BibTeX
- Alessio Lomuscio, Bozena Wozna:
A Complete and Decidable Axiomatisation for Deontic Interpreted Systems.
238-254
Electronic Edition (link) BibTeX
- Adam Zachary Wyner:
Sequences, Obligations, and the Contrary-to-Duty Paradox.
255-271
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:06:25 2009
by Michael Ley (ley@uni-trier.de)
