Guillaume Aucher

Publications

Article dans une revue (16)

From Knowledge to Action: Logics of Permitted and Obligatory Announcements Xu Li,Guillaume Aucher,Dov Gabbay,Réka Markovich Journal of Artificial Intelligence Research, 2025, 82, pp.1629-1672. ⟨10.1613/jair.1.17180⟩ Article dans une revue hal-05435926v1
L’IA et la Logique au Soutien du Travail des Juges: le Projet « Trames Interactives » Guillaume Aucher,Laurence Pécaut-Rivolier Les Cahiers de la justice, 2025, L’IA judiciaire entre innovation et risques, 2, pp.223-236 Article dans une revue hal-05435934v1
Towards Universal Logic: Gaggle Logics Guillaume Aucher Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications, 2020, 7 (6), pp.875-945 Article dans une revue hal-03046655v1
Principles for a Judgement Editor Based on Binary Decision Diagrams Guillaume Aucher,Jean Berbinau,Marie-Laure Morin Journal of Applied Logics -IfCoLog Journal of Logics and their Applications, 2019, Special Issue: Reasoning for Legal AI, 6 (5), pp.33 Article dans une revue hal-02273483v1
Modal logics of sabotage revisited Guillaume Aucher,Johan Van Benthem,Davide Grossi Journal of Logic and Computation, 2018, 28 (2), pp.269 - 303. ⟨10.1093/logcom/exx034⟩ Article dans une revue hal-01827076v1
Dynamic Epistemic Logic in Update Logic Guillaume Aucher Journal of Logic and Computation, 2016, 26 (6), pp.1913-1960. ⟨10.1093/logcom/exw002⟩ Article dans une revue hal-01476249v1
Displaying Updates in Logic Guillaume Aucher Journal of Logic and Computation, 2016, 26 (6), pp.1865-1912. ⟨10.1093/logcom/exw001⟩ Article dans une revue hal-01476234v3
Intricate Axioms as Interaction Axioms Guillaume Aucher Studia Logica, 2015, pp.28. ⟨10.1007/s11225-015-9609-0⟩ Article dans une revue hal-01193284v1
DEL-sequents for Regression and Epistemic Planning Guillaume Aucher Journal of Applied Non-Classical Logics, 2012, pp.29 Article dans une revue hal-00856471v1
Private announcement and belief expansion: an internal perspective Guillaume Aucher Journal of Logic and Computation, 2012 Article dans une revue hal-00856474v1
DEL-sequents for progression Guillaume Aucher Journal of Applied Non-Classical Logics, 2011, 21 (3-4), pp.289-321. ⟨10.3166/jancl.21.289-321⟩ Article dans une revue hal-00674150v1
A Dynamic Logic for Privacy Compliance Guillaume Aucher,Leendert van Der Torre,Guido Boella Artificial Intelligence and Law, 2011, 19 (2-3), pp.187-231. ⟨10.1007/s10506-011-9114-3⟩ Article dans une revue inria-00628318v2
An internal version of epistemic logic Guillaume Aucher Studia Logica, 2010, 94 (1), pp.1-22. ⟨10.1007/s11225-010-9227-9⟩ Article dans une revue inria-00556030v2
Generalizing AGM to a multi-agent setting Guillaume Aucher Logic Journal of the IGPL, 2010, 18 (4), pp.530-558. ⟨10.1093/jigpal/jzp037⟩ Article dans une revue inria-00556032v1
Global and local graph modifiers Guillaume Aucher,Philippe Balbiani,Luis Fariñas del Cerro,Andreas Herzig Electronic Notes in Theoretical Computer Science, 2009, Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007), 231, ⟨10.1016/j.entcs.2009.02.042⟩ Article dans une revue inria-00556034v1
Interpreting an action from what we perceive and what we expect Guillaume Aucher Journal of Applied Non-Classical Logics, 2007, 17 (1), pp.9-38. ⟨10.3166/jancl.17.9-38⟩ Article dans une revue inria-00556151v1

Ouvrages (1)

Festschrift for Andreas Herzig on the Occasion of his 65th Birthday Guillaume Aucher,Jérôme Lang,Tiago de Lima,Emiliano Lorini 2025, 978-1-84890-499-6 Ouvrages hal-05334648v1

Chapitre d'ouvrage (5)

Modal Logics of Sabotage and Beyond Guillaume Aucher,Johan Van Benthem,Davide Grossi Johan van Benthem; Fenrong Liu. Graph games and logic design, 66, Springer, In press, Trends in Logic Chapitre d'ouvrage hal-05435936v1
Towards Universal Logic: Gaggle Logics Guillaume Aucher Melvin Fitting. Selected Topics from Contemporary Logics, College Publications, pp.5 - 73, 2021, Landscapes in Logic, 978-1848903500 Chapitre d'ouvrage hal-03498949v1
Principles of Knowledge, Belief and Conditional Belief Guillaume Aucher Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics, pp.97 - 134, 2014, ⟨10.1007/978-3-319-03044-9_5⟩ Chapitre d'ouvrage hal-01098789v1
Dynamic Epistemic Logic as a Substructural Logic Guillaume Aucher Johan van Benthem on Logic and Information Dynamics, 5, pp.855 - 880, 2014, Outstanding Contributions to Logic, ⟨10.1007/978-3-319-06025-5_33⟩ Chapitre d'ouvrage hal-01098793v1
Exploring the power of converse events Guillaume Aucher,Andreas Herzig Patrick Girard; Olivier Roy; Mathieu Marion. Dynamic formal epistemology, 351, Springer, pp.51-74, 2011, Synthese Library book series (SYLI), 978-94-007-0073-4. ⟨10.1007/978-94-007-0074-1_4⟩ Chapitre d'ouvrage hal-00557002v2

Rapport (13)

A Finite Semi-Direct Product Displays Atomic Logics Raül Espejo-Boix,Guillaume Aucher,Rajeev Goré Université de Rennes. 2025 Rapport (rapport de recherche) hal-04926037v1
Correspondence Theory of Atomic Logics Guillaume Aucher [Research Report] Université de Rennes. 2024 Rapport (rapport de recherche) hal-03800044v2
Calculi for Basic Atomic Logics Guillaume Aucher [Research Report] Université de Rennes. 2024 Rapport (rapport de recherche) hal-03800002v3
A Characterization of Properly Displayable Atomic Logics Guillaume Aucher [Research Report] Université de Rennes. 2024 Rapport (rapport de recherche) hal-03800070v2
Generalized Keisler Theorems for Atomic and Molecular Logics Guillaume Aucher Université de Rennes 1. 2022 Rapport hal-03884240v1
Generalized Keisler Theorems for First-order Logic and Protologics Guillaume Aucher Université de Rennes 1 (UR1). 2022 Rapport hal-03884245v1
Towards a Generic Model Theory: Automatic Bisimulations for Atomic, Molecular and First-order Logics Guillaume Aucher [Research Report] Université de rennes 1. 2021 Rapport (rapport de recherche) hal-03414862v2
A Characterization of Displayable Logics Extending Update Logic Guillaume Aucher [Research Report] Université de Rennes 1. 2016 Rapport (rapport de recherche) hal-01276927v1
Undecidability in Epistemic Planning Guillaume Aucher,Thomas Bolander [Research Report] RR-8310, INRIA. 2013 Rapport (rapport de recherche) hal-00824653v1
Update Logic Guillaume Aucher [Research Report] RR-8341, INRIA. 2013 Rapport (rapport de recherche) hal-00849856v1
Generalized DEL-sequents Guillaume Aucher,Bastien Maubert,François Schwarzentruber [Research Report] RR-8012, INRIA. 2012, pp.23 Rapport (rapport de recherche) hal-00716074v1
On the Complexity of Dynamic Epistemic Logic (Extended Version) Guillaume Aucher,François Schwarzentruber [Research Report] RR-8164, INRIA. 2012 Rapport (rapport de recherche) hal-00759544v1
From DEL to EDL: exploring the power of converse events Guillaume Aucher,Andreas Herzig [Research Report] IRIT : Institut de recherche en informatique de Toulouse. 2007 Rapport (rapport de recherche) hal-03516649v1

Cours (2)

An Introduction to Mathematical Logic Guillaume Aucher Master. Rennes, France. 2024, pp.202 Cours hal-04816383v1
Logic and Commonsense Reasoning Guillaume Aucher Master. Rennes, France. 2017, pp.151 Cours cel-01586568v2

Communication dans un congrès (27)

Expedition in the Update Universe Guillaume Aucher Dynamic Logic. New Trends and Applications. DaLi 2020., Oct 2020, Prague, Czech Republic. pp.1-16, ⟨10.1007/978-3-030-65840-3_1⟩ Communication dans un congrès hal-03094220v1
Multi-Agent Only Knowing on Planet Kripke Guillaume Aucher,Vaishak Belle International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina Communication dans un congrès hal-01193181v1
Sabotage Modal Logic: Some Model and Proof Theoretic Aspects Guillaume Aucher,Johan van Benthem,Davide Grossi International Conference on Logic, Rationality and Interaction (LORI 2015), Oct 2015, Taipei, Taiwan Communication dans un congrès hal-01194426v1
Games with Communication: from Belief to Preference Change Guillaume Aucher,Bastien Maubert,Sophie Pinchinat,François Schwarzentruber Principles and Practice of Multi-Agent Systems (PRIMA 2015), Oct 2015, Bertinoro, Italy Communication dans un congrès hal-01194398v1
When Conditional Logic and Belief Revision Meet Substructural Logics Guillaume Aucher DARe-15 2015 Defeasible and Ampliative Reasoning, Jul 2015, Buenos Aires, Argentina Communication dans un congrès hal-01193289v1
Automata Techniques for Epistemic Protocol Synthesis Guillaume Aucher,Bastien Maubert,Sophie Pinchinat 2nd International Workshop on Strategic Reasoning, Apr 2014, 2014-04-06, France. pp.11, ⟨10.4204/EPTCS.146.13⟩ Communication dans un congrès hal-01098740v1
Supervisory Control Theory in Epistemic Temporal Logic Guillaume Aucher AAMAS 2014, May 2014, Paris, France Communication dans un congrès hal-01098771v1
Axioms .2 and .4 as Interaction Axioms Guillaume Aucher KR 2014, Jul 2014, Vienne, Austria Communication dans un congrès hal-01098774v1
On the Complexity of Dynamic Epistemic Logic Guillaume Aucher,François Schwarzentruber TARK - Theoretical Aspects of Rationality and Knowledge - 2013, Jan 2013, Chennai, India Communication dans un congrès hal-00856468v1
Undecidability in Epistemic Planning Guillaume Aucher,Thomas Bolander IJCAI - International Joint Conference in Artificial Intelligence - 2013, Aug 2013, Beijing, China Communication dans un congrès hal-00856469v1
An Alternative Axiomatization of DEL and Its Applications Yanjing Wang,Guillaume Aucher IJCAI - International Joint Conference in Artificial Intelligence - 2013, Aug 2013, Beijing, China Communication dans un congrès hal-00856470v1
Generalized DEL-sequents Guillaume Aucher,Bastien Maubert,François Schwarzentruber JELIA - Logics in Artificial Intelligence - 2012, Sep 2013, Toulouse, France Communication dans un congrès hal-00856472v1
Dynamics in Delegation and Revocation Schemes: A Logical Approach Guillaume Aucher,Steve Barker,Guido Boella,Valerio Genovese,Leendert van Der Torre 23th Data and Applications Security (DBSec), Jul 2011, Richmond, United States. pp.90-105, ⟨10.1007/978-3-642-22348-8_9⟩ Communication dans un congrès inria-00593654v2
The Coprelobri project: the logical approach to privacy Guillaume Aucher,Catherine Barreau-Saliou,Guido Boella,Annie Blandin-Obernesser,Sébastien Gambset al. 2e Atelier Protection de la Vie Privée (APVP 2011), Jun 2011, Sorèze, France Communication dans un congrès hal-00606014v1
Tableau method and NEXPTIME-Completeness of DEL-Sequents Guillaume Aucher,Bastien Maubert,François Schwarzentruber Methods for Modalities (M4M), Nov 2011, Sevilla, Spain Communication dans un congrès inria-00627642v2
Characterizing Updates in Dynamic Epistemic Logic Guillaume Aucher Knowledge representation and reasoning, 2010, Toronto, Canada Communication dans un congrès inria-00556157v1
Prescriptive and descriptive obligations in dynamic epistemic deontic logic Guillaume Aucher,Guido Boella,Leendert van Der Torre AICOL - AI Approaches to the Complexity of Legal Systems - 2009, Dec 2009, Rotterdam, Netherlands. pp.150-161 Communication dans un congrès inria-00556080v2
Privacy policies with modal logic: the dynamic turn Guillaume Aucher,Guido Boella,Leendert van Der Torre DEON - Deontic Logic in Computer Science - 2010, Jul 2010, Fiesole, Italy. pp.196-213 Communication dans un congrès inria-00556079v2
Dynamic context logic and its application to norm change Guillaume Aucher,Davide Grossi,Andreas Herzig,Emiliano Lorini Dagstuhl Seminar on Normative Multi-Agent Systems (NorMAS 2009), Mar 2009, Dagstuhl, Germany. pp.259-271 Communication dans un congrès hal-03526732v1
Dynamic context logic Guillaume Aucher,Davide Grossi,Andreas Herzig,Emiliano Lorini Second International Workshop on Logic, Rationality, and Interaction (LORI 2009), Oct 2009, Chongqing, China. pp.15-26, ⟨10.1007/978-3-642-04893-7_2⟩ Communication dans un congrès istex inria-00556156v1
BMS revisited Guillaume Aucher Theoretical Aspects of Rationality and Knowledge, Jul 2009, Stanford, United States Communication dans un congrès inria-00556035v1
Consistency preservation and crazy formulas in BMS Guillaume Aucher Logics in artificial intelligence, 11th european conference (JELIA), Sep 2008, Dresden, Germany Communication dans un congrès inria-00556148v1
Internal models and private multi-agent belief revision Guillaume Aucher Autonomous agents and multi-agent systems (AAMAS 2008), May 2008, Estoril, Portugal Communication dans un congrès inria-00556084v1
From DEL to EDL: exploring the power of converse events (ECSQARU 2007) Guillaume Aucher,Andreas Herzig 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007), 2007, Hammamet, Tunisia. pp.199-209, ⟨10.1007/978-3-540-75256-1_20⟩ Communication dans un congrès istex inria-00556150v1
De DEL à EDL ou comment illustrer la puissance des événements inverses Guillaume Aucher,Andreas Herzig 4èmes Journées francophones sur les Modèles Formels de l'Interaction (MFI 2007), May 2007, Paris, France. pp.253-260 Communication dans un congrès hal-03516654v1
How our beliefs contribute to interpret actions Guillaume Aucher CEEMAS - Central and Eastern European Conference on Multi-Agent Systems - 2005, Sep 2005, Budapest, Hungary Communication dans un congrès inria-00556095v2
A Combined System for Update Logic and Belief Revision Guillaume Aucher PRIMA, Aug 2004, Auckland, New Zealand. pp.1-17 Communication dans un congrès inria-00537233v2

Document associé à des manifestations scientifiques (1)

Manifeste: Pour plus d'Interactions entre Informatique, Sciences Humaines et Sociales et Arts Guillaume Aucher,Olivier Ridoux Science des données et sciences humaines et sociales : atelier 4 du Data Science Symposium, Nov 2015, Rennes, France. , pp.6, 2015 Document associé à des manifestations scientifiques hal-01230651v1

Thèse (1)

Perspectives on belief and change Guillaume Aucher Other [cs.OH]. Université Paul Sabatier - Toulouse III; University of Otago, 2008. English. ⟨NNT : ⟩ Thèse tel-00556089v1

Pré-publication, Document de travail (1)

De DEL à EDL ou comment illustrer la puissance des événements inverses Guillaume Aucher,Andreas Herzig 2007 Pré-publication, Document de travail hal-00192061v1