Guillaume Aucher

48 papers A* 5A 1B 7C 1Journal 18Unranked 14

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