• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 21 matches

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