| [4] | A dynamic logic for privacy compliance (Guillaume Aucher, Guido Boella, Leendert van der Torre), In Artif. Intell. Law, volume 19, 2011.
[bib] [pdf] |
| [3] | Dynamics in Delegation and Revocation Schemes: A Logical Approach (Guillaume Aucher, Steve Barker, Guido Boella, Valerio Genovese, Leendert van der Torre), In DBSec (Yingjiu Li, ed.), Springer, volume 6818, 2011.
[bib] [pdf] |
| [2] | Privacy Policies with Modal Logic: The Dynamic Turn (Guillaume Aucher, Guido Boella, Leendert van der Torre), In DEON (Guido Governatori, Giovanni Sartor, eds.), Springer, volume 6181, 2010.
[bib] [pdf] |
| [1] | Prescriptive and Descriptive Obligations in Dynamic Epistemic Deontic Logic (Guillaume Aucher, Guido Boella, Leendert van der Torre), In AICOL Workshops (Pompeu Casanovas, Ugo Pagallo, Giovanni Sartor, Gianmaria Ajani, eds.), Springer, volume 6237, 2009.
[bib] [pdf] |