@Proceedings{DBLP:conf/jelia/1998,
  Title                    = {Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings},
  Year                     = {1998},
  Editor                   = {J{\"u}rgen Dix and Luis Fari{\~n}as del Cerro and Ulrich Furbach},
  Publisher                = {Springer},
  Series                   = {Lecture Notes in Computer Science},
  Volume                   = {1489},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Booktitle                = {JELIA},
  ISBN                     = {3-540-65141-1}
}
@InProceedings{DBLP:conf/jelia/TorreT98,
  Title                    = {Prohairetic Deontic Logic (PDL)},
  Author                   = {Leendert W. N. van der Torre and Yao-Hua Tan},
  Booktitle                = {JELIA},
  Year                     = {1998},
  Pages                    = {77-91},

  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. },
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  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},
  Url                      = {http://www.springerlink.com/content/gwactbelcpx3y2rc/}
}