@proceedings{DBLP:conf/dagstuhl/2007P7122,
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {Normative Multi-agent Systems},
  editor = {Guido Boella and Leendert W. N. van der Torre and Harko Verhagen},
  publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  series = {Dagstuhl Seminar Proceedings},
  title = {Normative Multi-agent Systems, 18.03. - 23.03.2007},
  volume = {07122},
  year = {2007}
}
@inproceedings{DBLP:conf/dagstuhl/MakinsonT07,
  abstract = {We explain the {em raison d'^etre} and basic ideas of input/output logic, sketching the central elements with pointers to other publications for detailed developments. The motivation comes from the logic of norms. Unconstrained input/output operations are straightforward to define, with relatively simple behaviour, but ignore the subtleties of contrary-to-duty norms. To deal with these more sensitively, we constrain input/output operations by means of consistency conditions, expressed via the concept of an outfamily. They also provide a convenient platform for distinguishing and analysing several different kinds of permission. },
  author = {David Makinson and Leendert W. N. van der Torre},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {Normative Multi-agent Systems},
  crossref = {DBLP:conf/dagstuhl/2007P7122},
  ee = {http://drops.dagstuhl.de/opus/volltexte/2007/928},
  url = {http://drops.dagstuhl.de/opus/volltexte/2007/928},
  title = {What is Input/Output Logic? Input/Output Logic, Constraints, Permissions},
  year = {2007}
}