@Proceedings{DBLP:conf/ijcai/2003,
  Title                    = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
  Year                     = {2003},
  Editor                   = {Georg Gottlob and Toby Walsh},
  Publisher                = {Morgan Kaufmann},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Booktitle                = {IJCIA}
}
@InProceedings{DBLP:conf/ijcai/BroersenDT03,
  Title                    = {BDIOCTL: Obligations and the Specification of Agent Behavior},
  Author                   = {Jan Broersen and Mehdi Dastani and Leendert W. N. van der Torre},
  Booktitle                = {IJCAI},
  Year                     = {2003},
  Pages                    = {1389-1390},

  Abstract                 = {Recently several agent architectures have been proposed that
incorporate obligations. However, agent specification or verification
languages that take obligations into account have received
less attention. Our research question is how properties
involving obligations can be specified or verified in an extension
of Rao and Georgeff’s BDICTL. In Section 2 we extend
BDICTL with so-called Standard Deontic Logic, and in Section
3 and 4 we introduce various single agent and multiagent
properties.},
  Bdsk-url-1               = {http://icr.uni.lu/leonvandertorre/papers/ijcai03b.pdf},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Crossref                 = {DBLP:conf/ijcai/2003},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/ijcai03b.pdf}
}