Guillaume Aucher

67
Documents

Publications

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Intricate Axioms as Interaction Axioms

Guillaume Aucher

Studia Logica, 2015, pp.28. ⟨10.1007/s11225-015-9609-0⟩

Article dans une revue hal-01193284v1
Deposit thumbnail

DEL-sequents for Regression and Epistemic Planning

Guillaume Aucher

Journal of Applied Non-Classical Logics, 2012, pp.29

Article dans une revue hal-00856471v1
Deposit thumbnail

Private announcement and belief expansion: an internal perspective

Guillaume Aucher

Journal of Logic and Computation, 2012

Article dans une revue hal-00856474v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Correspondence Theory of Atomic Logics

Guillaume Aucher

[Research Report] Université de Rennes. 2024

Rapport (rapport de recherche) hal-03800044v2
Deposit thumbnail

A Characterization of Properly Displayable Atomic Logics

Guillaume Aucher

[Research Report] Université de Rennes. 2024

Rapport (rapport de recherche) hal-03800070v2
Deposit thumbnail

Calculi for Basic Atomic Logics

Guillaume Aucher

[Research Report] Université de Rennes. 2024

Rapport (rapport de recherche) hal-03800002v3
Deposit thumbnail

Generalized Keisler Theorems for Atomic and Molecular Logics

Guillaume Aucher

Université de Rennes 1. 2022

Rapport hal-03884240v1
Deposit thumbnail

Generalized Keisler Theorems for First-order Logic and Protologics

Guillaume Aucher

Université de Rennes 1 (UR1). 2022

Rapport hal-03884245v1
Deposit thumbnail

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
Deposit thumbnail

A Characterization of Displayable Logics Extending Update Logic

Guillaume Aucher

[Research Report] Université de Rennes 1. 2016

Rapport (rapport de recherche) hal-01276927v1
Deposit thumbnail

Undecidability in Epistemic Planning

Guillaume Aucher , Thomas Bolander

[Research Report] RR-8310, INRIA. 2013

Rapport (rapport de recherche) hal-00824653v1
Deposit thumbnail

Update Logic

Guillaume Aucher

[Research Report] RR-8341, INRIA. 2013

Rapport (rapport de recherche) hal-00849856v1
Deposit thumbnail

Generalized DEL-sequents

Guillaume Aucher , Bastien Maubert , François Schwarzentruber

[Research Report] RR-8012, INRIA. 2012, pp.23

Rapport (rapport de recherche) hal-00716074v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Supervisory Control Theory in Epistemic Temporal Logic

Guillaume Aucher

AAMAS 2014, May 2014, Paris, France

Communication dans un congrès hal-01098771v1
Deposit thumbnail

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

Axioms .2 and .4 as Interaction Axioms

Guillaume Aucher

KR 2014, Jul 2014, Vienne, Austria

Communication dans un congrès hal-01098774v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

The Coprelobri project: the logical approach to privacy

Guillaume Aucher , Catherine Barreau-Saliou , Guido Boella , Annie Blandin-Obernesser , Sébastien Gambs et al.

2e Atelier Protection de la Vie Privée (APVP 2011), Jun 2011, Sorèze, France

Communication dans un congrès hal-00606014v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

BMS revisited

Guillaume Aucher

Theoretical Aspects of Rationality and Knowledge, Jul 2009, Stanford, United States

Communication dans un congrès inria-00556035v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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