DEON 2008:
Luxembourg,
Luxembourg
Ron van der Meyden, Leendert van der Torre (Eds.):
Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings.
Lecture Notes in Computer Science 5076 Springer 2008, ISBN 978-3-540-70524-6
- Nuel Belnap:
Norms in Branching Space-Times.
1-2
- Guido Governatori, Antonino Rotolo:
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories.
3-18
- Mark A. Brown:
Acting, Events and Actions.
19-33
- Pablo F. Castro, T. S. E. Maibaum:
A Tableaux System for Deontic Action Logic.
34-48
- Ross Anderson:
Information Security Economics - and Beyond.
49
- Emiliano Lorini, Robert Demolombe:
Trust and Norms in the Context of Computer Security: A Logical Formalization.
50-64
- Nora Cuppens-Boulahia, Frédéric Cuppens:
Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic.
65-80
- Joris Hulstijn, Jianwei Liu, Yao-Hua Tan:
Delegation of Control in Administrative Procedures.
81-95
- Martín Abadi:
Variations in Access Control Logic.
96-109
- Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky:
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking.
110-124
- Joris Hulstijn:
Need to Know: Questions and the Paradox of Epistemic Obligation.
125-139
- Jan Broersen:
A Logical Analysis of the Interaction between 'Obligation-to-do' and 'Knowingly Doing'.
140-154
- Dov M. Gabbay:
Reactive Kripke Models and Contrary to Duty Obligations.
155-173
- Audun Stolpe:
Normative Consequence: The Problem of Keeping It Whilst Giving It up.
174-188
- Xavier Parent:
On the Strong Completeness of Åqvist's Dyadic Deontic Logic G.
189-202
- Lars Lindahl, Jan Odelstad:
Strata of Intervenient Concepts in Normative Systems.
203-217
- Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini:
A Deontic Logic for Socially Optimal Norms.
218-232
- Paul McNamara:
Praise, Blame, Obligation, and Beyond: Toward a Framework for Classical Supererogation and Kin.
233-247
- Pilar Dellunde, Lluis Godo:
Introducing Grades in Deontic Logics.
248-262
- Davide Grossi:
Pushing Anderson's Envelope: The Modal Logic of Ascription.
263-277
Copyright © Thu Nov 12 00:24:03 2009
by Michael Ley (ley@uni-trier.de)