@Proceedings{DBLP:conf/deon/2010,
  Title                    = {Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fi esole, Italy, July 7-9, 2010. Proceedings},
  Year                     = {2010},
  Editor                   = {Guido Governatori and Giovanni Sartor},
  Publisher                = {Springer},
  Series                   = {Lecture Notes in Computer Science},
  Volume                   = {6181},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Booktitle                = {DEON},
  Ee                       = {http://dx.doi.org/10.1007/978-3-642-14183-6},
  ISBN                     = {978-3-642-14182-9}
}
@InProceedings{DBLP:conf/deon/Torre10,
  Title                    = {Deontic Redundancy: A Fundamental Challenge for Deontic Logic},
  Author                   = {Leendert van der Torre},
  Booktitle                = {DEON},
  Year                     = {2010},
  Pages                    = {11-32},

  Abstract                 = {To decide which norms can be removed from a system, we need to know when a norm is redundant. After shifting the focus of attention in deontic logic from detachment of obligations and permissions to deontic redundancy, I discuss in this paper five benchmark examples of deontic redundancy in reasoning about permissions, intermediate concepts and constitutive norms, deontic dilemmas, temporal deontic reasoning and contrary-to-duty reasoning. Then I discuss those benchmark examples in four formal approaches to deontic reasoning: traditional model logic, dynamic approaches, violation oriented or diagnostic systems, and imperativist or norm based approaches.},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Crossref                 = {DBLP:conf/deon/2010},
  Ee                       = {http://dx.doi.org/10.1007/978-3-642-14183-6_4},
  Url                      = {http://dx.doi.org/10.1007/978-3-642-14183-6_4}
}