AUCHER, G., Barker, S., BOELLA, G., GENOVESE, V., & VAN DER TORRE, L. (2011). Dynamics in Delegation and Revocation Schemes: A Logical Approach. In DBSec (pp. 90–105). Springer. doi:10.1007/978-3-642-22348-8\_9 Peer reviewed |
AUCHER, G., Boella, G., & VAN DER TORRE, L. (2011). A dynamic logic for privacy compliance. Artificial Intelligence and Law, 187-231. doi:10.1007/s10506-011-9114-3 Peer reviewed |
AUCHER, G. (01 February 2010). An internal version of epistemic logic. Studia Logica, 94 (1), 1-22. doi:10.1007/s11225-010-9227-9 Peer reviewed |
AUCHER, G., Boella, G., & VAN DER TORRE, L. (2010). Privacy Policies with Modal Logic: The Dynamic Turn. DEON, 196–213. doi:10.1007/978-3-642-14183-6_15 Peer reviewed |
AUCHER, G., GROSSI, D., Herzig, A., & Lorini, E. (03 November 2009). Dynamic context logic and its application to norm change. Dagstuhl Seminar Proceedings, 09121. |
AUCHER, G., GROSSI, D., Herzig, A., & Lorini, E. (2009). Dynamic context logic. In Logic, Rationality, and Interaction (pp. 15–26). Springer Verlag. doi:10.1007/978-3-642-04893-7_2 |
AUCHER, G., & Herzig, A. (2009). Exploring the power of converse events. In Dynamic Formal Epistemology (pp. 51-74). Netherlands: Springer. doi:10.1007/978-94-007-0074-1_4 |
AUCHER, G. (2009). BMS revisited. In Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (pp. 24-33). New York, United States - New York: ACM. doi:10.1145/1562814.1562822 |