| A combined system for update logic and belief revision G Aucher Intelligent Agents and Multi-Agent Systems: 7th Pacific Rim International …, 2005 | 133 | 2005 |
| Undecidability in epistemic planning G Aucher, T Bolander INRIA, 2013 | 98 | 2013 |
| Global and local graph modifiers G Aucher, P Balbiani, LF Del Cerro, A Herzig Electronic Notes in Theoretical Computer Science 231, 293-307, 2009 | 66 | 2009 |
| On the complexity of dynamic epistemic logic G Aucher, F Schwarzentruber arXiv preprint arXiv:1310.6406, 2013 | 64 | 2013 |
| Modal logics of sabotage revisited G Aucher, J Benthem, D Grossi Journal of Logic and Computation 28 (2), 269-303, 2018 | 57 | 2018 |
| An internal version of epistemic logic G Aucher Studia Logica 94, 1-22, 2010 | 44 | 2010 |
| DEL-sequents for regression and epistemic planning G Aucher Journal of Applied Non-Classical Logics 22 (4), 337-367, 2012 | 36 | 2012 |
| Dynamic context logic G Aucher, D Grossi, A Herzig, E Lorini Logic, Rationality, and Interaction: Second International Workshop, LORI …, 2009 | 35 | 2009 |
| DEL-sequents for progression G Aucher Journal of Applied Non-Classical Logics 21 (3-4), 289-321, 2011 | 30 | 2011 |
| A dynamic logic for privacy compliance G Aucher, G Boella, L Van Der Torre Artificial Intelligence and Law 19, 187-231, 2011 | 25 | 2011 |
| An Alternative Axiomatization of DEL and Its Applications. Y Wang, G Aucher IJCAI, 1139-1146, 2013 | 23 | 2013 |
| Generalizing AGM to a multi-agent setting G Aucher Logic Journal of the IGPL 18 (4), 530-558, 2010 | 23 | 2010 |
| Privacy Policies with Modal Logic: The Dynamic Turn. G Aucher, G Boella, LWN van der Torre DEON 6181, 196-213, 2010 | 21 | 2010 |
| Sabotage modal logic: Some model and proof theoretic aspects G Aucher, J Van Benthem, D Grossi Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015 …, 2015 | 19 | 2015 |
| Automata techniques for epistemic protocol synthesis G Aucher, B Maubert, S Pinchinat arXiv preprint arXiv:1404.0844, 2014 | 18 | 2014 |
| From DEL to EDL: Exploring the power of converse events G Aucher, A Herzig ECSQARU 4724, 199-209, 2007 | 18 | 2007 |
| Supervisory control theory in epistemic temporal logic G Aucher AAMAS 2014, 2014 | 17 | 2014 |
| Principles of knowledge, belief and conditional belief G Aucher Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics …, 2014 | 17 | 2014 |
| Generalized DEL-sequents G Aucher, B Maubert, F Schwarzentruber Logics in Artificial Intelligence: 13th European Conference, JELIA 2012 …, 2012 | 17 | 2012 |
| Dynamic epistemic logic as a substructural logic G Aucher Johan van Benthem on Logic and Information Dynamics, 855-880, 2014 | 16 | 2014 |
