@proceedings{DBLP:conf/deon/2004,
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {DEON},
  editor = {Alessio Lomuscio and Donald Nute},
  isbn = {3-540-22111-5},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings},
  volume = {3065},
  year = {2004}
}
@inproceedings{DBLP:conf/deon/TorreHDB04,
  abstract = {In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multiagent system. To this end we use KBDIOCTL, an extension of BDICTL in which obligations and permissions are represented by directed modal operators. We illustrate how the logic can be used by introducing and discussing various properties of normative systems and individual agents which can be represented in the logic. In particular we discuss the enforcement of norms.},
  author = {Leendert W. N. van der Torre and Joris Hulstijn and Mehdi Dastani and Jan Broersen},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {DEON},
  crossref = {DBLP:conf/deon/2004},
  ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3065{\&}spage=243},
  pages = {243-257},
  title = {Specifying Multiagent Organizations},
  url = {http://icr.uni.lu/leonvandertorre/papers/deon04b.pdf},
  year = {2004},
  bdsk-url-1 = {http://icr.uni.lu/leonvandertorre/papers/deon04b.pdf}
}