| 2015 | IJCAI | When Conditional Logic and Belief Revision Meet Substructural Logics. | Guillaume Aucher |
| 2015 | IJCAI | Multi-Agent Only Knowing on Planet Kripke. | Guillaume Aucher, Vaishak Belle |
| 2015 | PRIMA | Games with Communication: From Belief to Preference Change. | Guillaume Aucher, Bastien Maubert, Sophie Pinchinat, Franois Schwarzentruber |
| 2014 | KR | Axioms .2 and .4 as Interaction Axioms. | Guillaume Aucher |
| 2013 | IJCAI | Undecidability in Epistemic Planning. | Guillaume Aucher, Thomas Bolander |
| 2013 | IJCAI | An Alternative Axiomatization of DEL and Its Applications. | Yanjing Wang, Guillaume Aucher |
| 2013 | TARK | On the Complexity of Dynamic Epistemic Logic. | Guillaume Aucher, Franois Schwarzentruber |
| 2012 | JELIA | Generalized DEL-Sequents. | Guillaume Aucher, Bastien Maubert, Franois Schwarzentruber |
| 2011 | DBSEC | Dynamics in Delegation and Revocation Schemes: A Logical Approach. | Guillaume Aucher, Steve Barker, Guido Boella, Valerio Genovese, Leendert W. N. van der Torre |
| 2010 | KR | Characterizing Updates in Dynamic Epistemic Logic. | Guillaume Aucher |
| 2009 | JURIX | Prescriptive and Descriptive Obligations in Dynamic Epistemic Deontic Logic. | Guillaume Aucher, Guido Boella, Leendert W. N. van der Torre |
| 2009 | TARK | BMS revisited. | Guillaume Aucher |
| 2008 | JELIA | Consistency Preservation and Crazy Formulas in BMS. | Guillaume Aucher |
| 2007 | ECSQARU | From DEL to EDL : Exploring the Power of Converse Events. | Guillaume Aucher, Andreas Herzig |
| 2004 | PRIMA | A Combined System for Update Logic and Belief Revision. | Guillaume Aucher |