3328 documents avec fichiers associés – 6105 références bibliographiques  [english version]
.:. Listes > Par auteur > Aucher .:.
6 documents classés par :
fulltext access On the Complexity of Dynamic Epistemic Logic (Extended Version)
Aucher G., Schwarzentruber F.
Rapport de recherche (2012) [hal-00759544 - version 1]
fulltext access 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]
fulltext access 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]
fulltext access Tableau method and NEXPTIME-Completeness of DEL-Sequents
Aucher G., Maubert B., Schwarzentruber F.
Methods for Modalities (M4M), Spain (2011) [inria-00627642 - version 2]
fulltext access Tableau method and NEXPTIME-Completeness of DEL-Sequents
Aucher G., Maubert B., Schwarzentruber F.
Methods for Modalities (M4M), Spain (2011) [inria-00627642 - version 1]
fulltext access 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]