Contextual Deontic Logic (bibtex)
@Proceedings{DBLP:conf/modelage/1997,
  Title                    = {Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers},
  Year                     = {1999},
  Editor                   = {John-Jules Ch. Meyer and Pierre-Yves Schobbens},
  Publisher                = {Springer},
  Series                   = {Lecture Notes in Computer Science},
  Volume                   = {1760},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Booktitle                = {ModelAge Workshop},
  ISBN                     = {3-540-67027-0}
}
@InProceedings{DBLP:conf/modelage/TorreT97,
  Title                    = {Contextual Deontic Logic},
  Author                   = {Leendert W. N. van der Torre and Yao-Hua Tan},
  Booktitle                = {ModelAge Workshop},
  Year                     = {1997},
  Pages                    = {240-251},

  Abstract                 = {In this article we propose contextual deontic logic (CDL). Contextual obligations are written as O(A | B \ C), and are to be read as `A should be the case if B is the case, unless C is the case'. The unless clause is analogous to the justification in Reiter's default rules. We show how contextual obligations can be used to solve certain aspects of contrary-to-duty paradoxes of dyadic deontic logic. },
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Crossref                 = {DBLP:conf/modelage/1997},
  Ee                       = {http://dx.doi.org/10.1007/3-540-46581-2_16},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/context97.ps.Z}
}
Powered by bibtexbrowser