Combinations of Tense and Deontic Modality ,
DOI : 10.1007/978-3-540-25927-5_3
A State/Event Temporal Deontic Logic, Eighth International Workshop on Deontic Logic in Computer Science (DEON'06), number 4048, 2006. ,
DOI : 10.1007/11786849_9
Reasoning about norms provided by conflicting regulations, Norms, Logics and Information Systems: New Studies in Deontic Logic and Computer Science, pp.247-264, 1998. ,
Raisonner avec une réglementationincompì ete : le cas d'une politique d'´ echange d'informations, 16e congrès francophone AFRIF-AFIA sur la Reconnaissance de Formes et l'Intelligence Artificielle (RFIA'08), 2008. ,
Formalisation de l'obligation de faire avec délais. InTroisì emes journées francophones des modèles formels de l'interaction (MFI'05), 2005. ,
Technologies Actuelles et Futures Pour la Protection de la Vie Priv??e sur Internet, annals of telecommunications - annales des t??l??communications, vol.1514, issue.1, pp.399-417, 2006. ,
DOI : 10.1007/BF03219914
Meeting the Deadline: Why, When and How, Third International Workshop on Formal Approaches to Agent- Based Systems number 3228 in LNCS, pp.30-40, 2004. ,
DOI : 10.1007/978-3-540-30960-4_3
Information technology -security techniques evaluation criteria for it security, part 2: Security functional requirements, International Organization for Standardization, 1999. ,
Using deontic logic for security policy specification, LAAS report LAAS-CNRS, vol.96380, 1996. ,
Une logique pour raisonner sur la protection des données personnelles, 16e congrès francophone AFRIF-AFIA sur la Reconnaissance de Formes et l'Intelligence Artificielle (RFIA'08), 2008. ,
DOI : 10.3166/ria.24.695-715
Privacy Management in User-Centred Multi-agent??Systems, Proceedings of the 7th Annual International Workshop " Engineering Societies in the Agents World, pp.354-367, 2006. ,
DOI : 10.1007/978-3-540-75524-1_20
URL : https://hal.archives-ouvertes.fr/inria-00423731
The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977. ,
DOI : 10.1109/SFCS.1977.32
Deontic logic. Mind, pp.1-15, 1951. ,