@proceedings{DBLP:conf/iat/2004,
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {IAT},
  isbn = {0-7695-2101-0},
  publisher = {IEEE Computer Society},
  title = {2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 20-24 September 2004, Beijing, China},
  year = {2004}
}
@inproceedings{DBLP:conf/iat/BoellaT04a,
  abstract = {In this paper we formalize the specification of games in the trias politica using Rao and Georgeffs specification language BDICTL*. In particular, we generalize Rao and Georgeff's specification of single agent decision trees to multiagent games, for which we introduce observations and recursive modelling, in this setting we formalize obligations, and we characterize four kinds of agents, called legislators, judges, policemen and citizens. Legislators are characterized by their power to create and revise obligations, judges are characterized by their power to count behavior of citizens as violations, and policemen are characterized by their ability to sanction behavior. },
  author = {Guido Boella and Leendert W. N. van der Torre},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {IAT},
  crossref = {DBLP:conf/iat/2004},
  ee = {http://csdl.computer.org/comp/proceedings/iat/2004/2101/00/21010504abs.htm},
  pages = {504-508},
  title = {Game Specification in Normative Multiagent System: The Trias Politica},
  url = {http://icr.uni.lu/leonvandertorre/papers/iat04b.pdf},
  year = {2004},
  bdsk-url-1 = {http://icr.uni.lu/leonvandertorre/papers/iat04b.pdf}
}