Reference : Reactive Kripke Models and Contrary to Duty Obligations
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/15889
Reactive Kripke Models and Contrary to Duty Obligations
English
Gabbay, Dov M. [King’s College London, Department of Computer Science, London, UK]
2008
Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
Springer
Lecture Notes in Computer Science 5076
155–173
Yes
Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
2008
[en] This is an intuitive description of our approach to modelling contrary to duty obliga-
tions. We shall describe our ideas through the analysis of typical problematic examples
taken from Carmo and Jones [6], L. van der Torre [14] and Prakken and Sergot [5]
http://hdl.handle.net/10993/15889
5076

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
chp%3A10.1007%2F978-3-540-70525-3_13.pdfPublisher postprint242.47 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.