@Proceedings{DBLP:conf/bnaic/2005,
  Title                    = {BNAIC 2005 - Proceedings of the Seventeenth Belgium-Netherlands Conference on Artificial Intelligence, Brussels, Belgium, October 17-18, 2005},
  Year                     = {2005},
  Editor                   = {Katja Verbeeck and Karl Tuyls and Ann Now{\'e} and Bernard Manderick and Bart Kuijpers},
  Publisher                = {Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Booktitle                = {BNAIC}
}
@InProceedings{DBLP:conf/bnaic/BroersenT05,
  Title                    = {Semantic Analysis of {C}hisholm's Paradox},
  Author                   = {Jan Broersen and Leendert W. N. van der Torre},
  Booktitle                = {BNAIC},
  Year                     = {2005},
  Pages                    = {28-34},

  Abstract                 = {Violation handling is a crucial problem in many applications. therefore its paradoxes have been studied
in, amongst others, artificial intelligence, agent theory and computer science. The standard way to study
these paradoxes is to model them using a formal language, and use formal logic to consider whether the
set of sentences is inconsistent, the sentences logically follow from others, or some other anomaly occurs.
During the past decades, developments in temporal, action and non-monotonic logics have contributed
to a better understanding of the paradoxes and thus of violation handling. In this paper we propose an
alternative way to analyze Chisholm’s notorious contrary-to-duty paradox in deontic logic. We model
the paradox using semantic models, using insights from conceptual modelling. We aim to gain insight
in the open question whether the paradoxes are in some sense logical contradictions, or only apparent
contradictions. If a paradox is only an apparent contradiction, then there has to be a model interpreting all
sentences.},
  Bdsk-url-1               = {http://icr.uni.lu/leonvandertorre/papers/bnaic05.pdf},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Crossref                 = {DBLP:conf/bnaic/2005},
  Date-modified            = {2011-12-20 17:12:52 +0100},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/bnaic05.pdf}
}