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