@proceedings{DBLP:conf/jelia/1998,
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {JELIA},
  editor = {J{\"u}rgen Dix and Luis Fari{\~n}as del Cerro and Ulrich Furbach},
  isbn = {3-540-65141-1},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings},
  volume = {1489},
  year = {1998}
}
@inproceedings{DBLP:conf/jelia/TorreT98,
  abstract = {In this paper we introduce Prohairetic Deontic Logic (PDL), a preference-based dyadic deontic logic. An obligation `$\alpha$ should be (done) if $\beta$ is (done)' is true if (1) no $\neg \alpha \wedge \beta$ state is as preferable as an $\alpha \wedge \beta$ state and (2) the preferred $\beta$ states are $\alpha$ states. We show that the different elements of this mixed representation solve different problems of deontic logic. The first part of the definition is used to formalize contrary-to-duty reasoning, that for example occurs in Chisholm's and Forrester's notorious deontic paradoxes. The second part is used to make dilemmas inconsistent. PDL shares the intuitive semantics of preference-based deontic logics without introducing additional semantic machinery such as bi-ordering semantics or ceteris paribus preferences. },
  author = {Leendert W. N. van der Torre and Yao-Hua Tan},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {JELIA},
  crossref = {DBLP:conf/jelia/1998},
  date-modified = {2011-12-20 17:13:02 +0100},
  ee = {http://dx.doi.org/10.1007/3-540-49545-2_6},
  pages = {77-91},
  title = {Prohairetic Deontic Logic (PDL)},
  url = {http://www.springerlink.com/content/gwactbelcpx3y2rc/},
  year = {1998}
}