.:. Lists > By author > Aucher .:.

6 documents ordered by : Date Title first author name document type Submit date

On the Complexity of Dynamic Epistemic Logic (Extended Version) Aucher G., Schwarzentruber F. Rapport de recherche (2012) [hal-00759544 - version 1]

Generalized DEL-sequents Aucher G., Maubert B., Schwarzentruber F. Rapport de recherche (2012) 23 [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]

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

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

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