@proceedings{DBLP:conf/deon/2010,
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {DEON},
  editor = {Guido Governatori and Giovanni Sartor},
  ee = {http://dx.doi.org/10.1007/978-3-642-14183-6},
  isbn = {978-3-642-14182-9},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fi esole, Italy, July 7-9, 2010. Proceedings},
  volume = {6181},
  year = {2010}
}
@inproceedings{DBLP:conf/deon/Torre10,
  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.},
  author = {Leendert van der Torre},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {DEON},
  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},
  pages = {11-32},
  title = {Deontic Redundancy: A Fundamental Challenge for Deontic Logic},
  year = {2010}
}