default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDEON 2008: Luxembourg, Luxembourg
- Ron van der Meyden
, Leendert W. N. van der Torre:
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 J. 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 M. 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 M. 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, Lluís Godo:
Introducing Grades in Deontic Logics. 248-262 - Davide Grossi:
Pushing Anderson's Envelope: The Modal Logic of Ascription. 263-277
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-18 19:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
