van der Torre, Leon[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2012
2012
Springer
1-7
Yes
International
978-3-642-31539-8
26th Annual IFIP WG 11.3 Conference, DBSec 2012
26th Annual IFIP WG 11.3 Conference, DBSec 2012
Paris
France
[en] deontic logic in computer science
[en] In this presentation I first review new developments of deontic logic in computer science, then I discuss the use of dynamic epistemic deontic logic to reason about privacy policies, and finally I discuss the use of modal logic for access control. This presentation is based on joint work with Guillaume Aucher, Guido Boella, Jan Broersen, Dov Gabbay and Valerio Genovese.
Researchers ; Professionals ; Students ; General public ; Others