@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}
}