.:. Consultation > Par auteur > Aucher .:.

7 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

On the Complexity of Dynamic Epistemic Logic (Extended Version) Aucher G., Schwarzentruber F. N° RR-8164 (2012) [hal-00759544 - version 1]

Generalized DEL-sequents Aucher G., Maubert B., Schwarzentruber F. N° RR-8012 (2012) [hal-00716074 - version 1]

DEL-sequents for progression Aucher G. Journal of Applied Non-Classical Logics 21, 3-4 (2011) 289 - 321 [hal-00674150 - version 1]

A Dynamic Logic for Privacy Compliance Aucher G., Van Der Torre L., Boella G. Journal of Artificial Intelligence and Law 19, 2-3 (2011) 187-231 [inria-00628318 - version 1]

The Coprelobri project : the logical approach to privacy Aucher G., Barreau-Saliou C., Boella G., Blandin-Obernesser A., Gambs S., Piolle G., Van Der Torre L. Dans 2e Atelier Protection de la Vie Privée (APVP 2011) (2011) [hal-00606014 - version 1]

Tableau method and NEXPTIME-Completeness of DEL-Sequents Aucher G., Maubert B., Schwarzentruber F. Dans Methods for Modalities (M4M) (2011) [inria-00627642 - version 2]

Dynamics in Delegation and Revocation Schemes: A Logical Approach Aucher G., Barker S., Boella G., Genovese V., Van Der Torre L. Dans 25th Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy (2011) [inria-00593654 - version 1]