Guillaume Aucher

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 10

Top Venues

J. Log. Comput.

IJCAI

FLAP

CoRR

University of Otago, Dunedin, New Zealand (PHD)

Education History

University of Otago, Dunedin, New Zealand

PHD

Publications

Guillaume Aucher
On the Universality of Atomic and Molecular Logics via Protologics. Logica Universalis 16 (1-2) (2022)
Guillaume Aucher
A van Benthem Theorem for Atomic and Molecular Logics. NCL (2022)
Guillaume Aucher
Corrigendum to: Displaying updates in logic. J. Log. Comput. 30 (6) (2020)
Guillaume Aucher
Expedition in the Update Universe. DaLí (2020)
Guillaume Aucher
Towards Universal Logic: Gaggle Logics. FLAP 7 (6) (2020)
Guillaume Aucher, Paul Égré, Gabriele Kern-Isberner, Francesca Poggiolesi
Conditional Logics and Conditional Reasoning: New Joint Perspectives (Dagstuhl Seminar 19032). Dagstuhl Reports 9 (1) (2019)
Guillaume Aucher, Jean Berbinau, Marie-Laure Morin
Principles for a Judgement Editor Based on Binary Decision Diagrams. FLAP 6 (5) (2019)
Guillaume Aucher, Johan van Benthem, Davide Grossi
Modal logics of sabotage revisited. J. Log. Comput. 28 (2) (2018)
Guillaume Aucher
Displaying updates in logic. J. Log. Comput. 26 (6) (2016)
Guillaume Aucher
Dynamic epistemic logic in update logic. J. Log. Comput. 26 (6) (2016)
Guillaume Aucher
When Conditional Logic and Belief Revision Meet Substructural Logics. DARe@IJCAI (2015)
Guillaume Aucher
Intricate Axioms as Interaction Axioms. Stud Logica 103 (5) (2015)
Guillaume Aucher, Johan van Benthem, Davide Grossi
Sabotage Modal Logic: Some Model and Proof Theoretic Aspects. LORI (2015)
Guillaume Aucher, Vaishak Belle
Multi-Agent Only Knowing on Planet Kripke. IJCAI (2015)
Guillaume Aucher, Bastien Maubert, Sophie Pinchinat, François Schwarzentruber
Games with Communication: From Belief to Preference Change. PRIMA (2015)
Guillaume Aucher, Bastien Maubert, Sophie Pinchinat
Automata Techniques for Epistemic Protocol Synthesis. SR (2014)
Guillaume Aucher
Supervisory control theory in epistemic temporal logic. AAMAS (2014)
Guillaume Aucher
Axioms .2 and .4 as Interaction Axioms. KR (2014)
Guillaume Aucher, François Schwarzentruber
On the Complexity of Dynamic Epistemic Logic. CoRR (2013)
Yanjing Wang, Guillaume Aucher
An Alternative Axiomatization of DEL and Its Applications. IJCAI (2013)
Guillaume Aucher, Thomas Bolander
Undecidability in Epistemic Planning. IJCAI (2013)
Guillaume Aucher, François Schwarzentruber
On the Complexity of Dynamic Epistemic Logic. TARK (2013)
Guillaume Aucher
Private announcement and belief expansion: an internal perspective. J. Log. Comput. 22 (3) (2012)
Guillaume Aucher, Bastien Maubert, François Schwarzentruber
Generalized DEL-Sequents. JELIA (2012)
Guillaume Aucher
DEL-sequents for regression and epistemic planning. J. Appl. Non Class. Logics 22 (4) (2012)
Guillaume Aucher, Steve Barker, Guido Boella, Valerio Genovese, Leendert W. N. van der Torre
Dynamics in Delegation and Revocation Schemes: A Logical Approach. DBSec (2011)
Guillaume Aucher
DEL-sequents for progression. J. Appl. Non Class. Logics 21 (3-4) (2011)
Guillaume Aucher, Guido Boella, Leendert W. N. van der Torre
A dynamic logic for privacy compliance. Artif. Intell. Law 19 (2-3) (2011)
Guillaume Aucher, Bastien Maubert, François Schwarzentruber
Tableau Method and NEXPTIME-Completeness of DEL-Sequents. Electron. Notes Theor. Comput. Sci. 278 (2011)
Guillaume Aucher
Generalizing AGM to a multi-agent setting. Log. J. IGPL 18 (4) (2010)
Guillaume Aucher
Characterizing Updates in Dynamic Epistemic Logic. KR (2010)
Guillaume Aucher, Guido Boella, Leendert W. N. van der Torre
Privacy Policies with Modal Logic: The Dynamic Turn. DEON (2010)
Guillaume Aucher
An Internal Version of Epistemic Logic. Stud Logica 94 (1) (2010)
Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini
Dynamic Context Logic. LORI (2009)
Guillaume Aucher
BMS revisited. TARK (2009)
Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
Global and Local Graph Modifiers. Electron. Notes Theor. Comput. Sci. 231 (2009)
Guillaume Aucher, Guido Boella, Leendert W. N. van der Torre
Prescriptive and Descriptive Obligations in Dynamic Epistemic Deontic Logic. AICOL Workshops (2009)
Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini
Dynamic Context Logic and its Application to Norm. Normative Multi-Agent Systems (2009)
Guillaume Aucher
Internal models and private multi-agent belief revision. AAMAS (2) (2008)
Guillaume Aucher
Consistency Preservation and Crazy Formulas in BMS. JELIA (2008)
Guillaume Aucher, Andreas Herzig
From DEL to EDL : Exploring the Power of Converse Events. ECSQARU (2007)
Guillaume Aucher
Interpreting an action from what we perceive and what we expect. J. Appl. Non Class. Logics 17 (1) (2007)
Guillaume Aucher
A logical formalism for the subjective approach in a multi-agent setting. Formal Models of Belief Change in Rational Agents (2007)
Guillaume Aucher
How Our Beliefs Contribute to Interpret Actions. CEEMAS (2005)
Guillaume Aucher
A Combined System for Update Logic and Belief Revision. PRIMA (2004)

Guillaume Aucher.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Guillaume Aucher