A Combined System for Update Logic and Belief Revision. - Guillaume Aucher (PRIMA, 2004)

How Our Beliefs Contribute to Interpret Actions. - Guillaume Aucher (CEEMAS, 2005)

A logical formalism for the subjective approach in a multi-agent setting. - Guillaume Aucher (Formal Models of Belief Change in Rational Agents, 2007)

From DEL to EDL : Exploring the Power of Converse Events. - Guillaume Aucher; Andreas Herzig (ECSQARU, 2007)

Global and Local Graph Modifiers. - Guillaume Aucher; Philippe Balbiani; Luis Fariñas del Cerro; Andreas Herzig (M4M, 2007)

Interpreting an action from what we perceive and what we expect. - Guillaume Aucher (J. Appl. Non Class. Logics, 2007)

Internal models and private multi-agent belief revision. - Guillaume Aucher (AAMAS (2), 2008)

Consistency Preservation and Crazy Formulas in BMS. - Guillaume Aucher (JELIA, 2008)

Perspectives on belief and change. - Guillaume Aucher (2008)

Dynamic Context Logic and its Application to Norm. - Guillaume Aucher; Davide Grossi; Andreas Herzig; Emiliano Lorini (Normative Multi-Agent Systems, 2009)

Prescriptive and Descriptive Obligations in Dynamic Epistemic Deontic Logic. - Guillaume Aucher; Guido Boella; Leendert W. N. van der Torre (AICOL Workshops, 2009)

Dynamic Context Logic. - Guillaume Aucher; Davide Grossi; Andreas Herzig; Emiliano Lorini (LORI, 2009)

BMS revisited. - Guillaume Aucher (TARK, 2009)

Privacy Policies with Modal Logic: The Dynamic Turn. - Guillaume Aucher; Guido Boella; Leendert W. N. van der Torre (DEON, 2010)

Characterizing Updates in Dynamic Epistemic Logic. - Guillaume Aucher (KR, 2010)

Generalizing AGM to a multi-agent setting. - Guillaume Aucher (Log. J. IGPL, 2010)

An Internal Version of Epistemic Logic. - Guillaume Aucher (Stud Logica, 2010)

Dynamics in Delegation and Revocation Schemes: A Logical Approach. - Guillaume Aucher; Steve Barker; Guido Boella; Valerio Genovese; Leendert W. N. van der Torre (DBSec, 2011)

A dynamic logic for privacy compliance. - Guillaume Aucher; Guido Boella; Leendert W. N. van der Torre (Artif. Intell. Law, 2011)

Tableau Method and NEXPTIME-Completeness of DEL-Sequents. - Guillaume Aucher; Bastien Maubert; François Schwarzentruber (M4M/LAMAS, 2011)

DEL-sequents for progression. - Guillaume Aucher (J. Appl. Non Class. Logics, 2011)

Generalized DEL-Sequents. - Guillaume Aucher; Bastien Maubert; François Schwarzentruber (JELIA, 2012)

DEL-sequents for regression and epistemic planning. - Guillaume Aucher (J. Appl. Non Class. Logics, 2012)

Private announcement and belief expansion: an internal perspective. - Guillaume Aucher (J. Log. Comput., 2012)

Undecidability in Epistemic Planning. - Guillaume Aucher; Thomas Bolander (IJCAI, 2013)

An Alternative Axiomatization of DEL and Its Applications. - Yanjing Wang 001; Guillaume Aucher (IJCAI, 2013)

On the Complexity of Dynamic Epistemic Logic. - Guillaume Aucher; François Schwarzentruber (TARK, 2013)

Dynamic Epistemic Logic as a Substructural Logic. - Guillaume Aucher (Johan van Benthem on Logic and Information Dynamics, 2014)

Supervisory control theory in epistemic temporal logic. - Guillaume Aucher (AAMAS, 2014)

Axioms .2 and .4 as Interaction Axioms. - Guillaume Aucher (KR, 2014)

Automata Techniques for Epistemic Protocol Synthesis. - Guillaume Aucher; Bastien Maubert; Sophie Pinchinat (SR, 2014)

When Conditional Logic and Belief Revision Meet Substructural Logics. - Guillaume Aucher (DARe@IJCAI, 2015)

Multi-Agent Only Knowing on Planet Kripke. - Guillaume Aucher; Vaishak Belle (IJCAI, 2015)

Sabotage Modal Logic: Some Model and Proof Theoretic Aspects. - Guillaume Aucher; Johan van Benthem; Davide Grossi (LORI, 2015)

Games with Communication: From Belief to Preference Change. - Guillaume Aucher; Bastien Maubert; Sophie Pinchinat; François Schwarzentruber (PRIMA, 2015)

Intricate Axioms as Interaction Axioms. - Guillaume Aucher (Stud Logica, 2015)

Displaying updates in logic. - Guillaume Aucher (J. Log. Comput., 2016)

Dynamic epistemic logic in update logic. - Guillaume Aucher (J. Log. Comput., 2016)

Modal logics of sabotage revisited. - Guillaume Aucher; Johan van Benthem; Davide Grossi (J. Log. Comput., 2018)

Conditional Logics and Conditional Reasoning: New Joint Perspectives (Dagstuhl Seminar 19032). - Guillaume Aucher; Paul Égré; Gabriele Kern-Isberner; Francesca Poggiolesi (Dagstuhl Reports, 2019)

Principles for a Judgement Editor Based on Binary Decision Diagrams. - Guillaume Aucher; Jean Berbinau; Marie-Laure Morin (FLAP, 2019)

Expedition in the Update Universe. - Guillaume Aucher (DaLí, 2020)

Towards Universal Logic: Gaggle Logics. - Guillaume Aucher (FLAP, 2020)

Corrigendum to: Displaying updates in logic. - Guillaume Aucher (J. Log. Comput., 2020)

A van Benthem Theorem for Atomic and Molecular Logics. - Guillaume Aucher (NCL, 2022)

On the Universality of Atomic and Molecular Logics via Protologics. - Guillaume Aucher (Logica Universalis, 2022)

From Knowledge to Action: Logics of Permitted and Obligatory Announcements. - Xu Li; Guillaume Aucher; Dov M. Gabbay; Réka Markovich (J. Artif. Intell. Res., 2025)