Publications of Guillaume Aucher

Load the BibTeX file

Academic Journals

1. Guillaume Aucher, Guido Boella, Leendert van der Torre. A dynamic logic for privacy compliance. Journal of artificial intelligence and law, 19(2), 2011.
2. Guillaume Aucher. DEL-Sequents for regression and epistemic planning. Journal of Applied Non-Classical Logics, (to appear), 2012.
3. Guillaume Aucher. DEL-Sequents for progression. Journal of Applied Non-Classical Logics, Lavoisier, 2011, 21 (3-4), pp. 289-321.

Book Chapters

1. Guillaume Aucher. Dialogue, Rationality, Formalism. G. Heinzmann, M. Musiol, M. Rebuschi, A. Trognon (eds.), Chap. Principles for knowledge, belief and conditionnal belief. Logic, Epistemology and the Unity of Science, Springer, 2011.

International Conferences

1. Guillaume Aucher, Steve Barker, Guido Boella, Valerio Genovese, Leendert van der Torre. Dynamics in Delegation and Revocation Schemes: A Logical Approach. In Data and Applications Security and Privacy XXV, Yingjiu Li (ed.), Pages 90-105, 2011.
2. Guillaume Aucher, Bastien Maubert, François Schwarzentruber. Tableau Method and NEXPTIME-completeness of DEL-sequents. In Proceedings of Methods for Modalities (M4M 2011), ENTCS, 2011.
3. Guillaume Aucher, Catherine Barreau-Saliou, Guido Boella, Annie Blandin-Obernesser, Sébastien Gambs, Guillaume Piolle, Leendert van der Torre. The Coprelobri project : the logical approach to privacy. In 2e Atelier Protection de la Vie Privée (APVP 2011), Sorèze, France, June 2011.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.This page is automatically generated by bib2html v210, © INRIA 2002-2006, Projet Lagadic