33843 articles – 26714 Notices  [english version]
.:. Consultation > Par auteur > Aucher .:.
10 documents classés par :

fulltext access Infinite Games in Epistemic Temporal Logic via Supervisory Control Theory
Aucher G.
N° RR-8374 (2013) [hal-00866155 - version 2]
fulltext access Update Logic
Aucher G.
N° RR-8341 (2013) [hal-00849856 - version 1]
fulltext access On the Complexity of Dynamic Epistemic Logic
Aucher G., Schwarzentruber F.
Dans TARK - Theoretical Aspects of Rationality and Knowledge - 2013 (2013) [hal-00856468 - version 1]
fulltext access On the Complexity of Dynamic Epistemic Logic (Extended Version)
Aucher G., Schwarzentruber F.
N° RR-8164 (2012) [hal-00759544 - version 1]
fulltext access 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]
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 2]
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]
fulltext access Dynamics in Delegation and Revocation Schemes: A Logical Approach
Aucher G., Barker S., Boella G., Genovese V., Van Der Torre L.
Dans DBSEC - 25th Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy - 2011 (2011) [inria-00593654 - version 2]
fulltext access Tableau method and NEXPTIME-Completeness of DEL-Sequents
Aucher G., Maubert B., Schwarzentruber F.
Dans Methods for Modalities (M4M) (2011) [inria-00627642 - version 2]