Accéder directement au contenu

Guillaume Aucher

61
Documents

Publications

Image document

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
Image document

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
Image document

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
Image document

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
Image document

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

Axioms .2 and .4 as Interaction Axioms

Guillaume Aucher
KR 2014, Jul 2014, Vienne, Austria
Communication dans un congrès hal-01098774v1
Image document

Supervisory Control Theory in Epistemic Temporal Logic

Guillaume Aucher
AAMAS 2014, May 2014, Paris, France
Communication dans un congrès hal-01098771v1
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

The Coprelobri project: the logical approach to privacy

Guillaume Aucher , Catherine Barreau-Saliou , Guido Boella , Annie Blandin-Obernesser , Sébastien Gambs
2e Atelier Protection de la Vie Privée (APVP 2011), Jun 2011, Sorèze, France
Communication dans un congrès hal-00606014v1
Image document

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
Image document

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

Characterizing Updates in Dynamic Epistemic Logic

Guillaume Aucher
Knowledge representation and reasoning, 2010, Toronto, Canada
Communication dans un congrès inria-00556157v1
Image document

BMS revisited

Guillaume Aucher
Theoretical Aspects of Rationality and Knowledge, Jul 2009, Stanford, United States
Communication dans un congrès inria-00556035v1
Image document

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
Image document

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
Image document

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 inria-00556156v1
Image document

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
Image document

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
Image document

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

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 inria-00556150v1
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

Intricate Axioms as Interaction Axioms

Guillaume Aucher
Studia Logica, 2015, pp.28. ⟨10.1007/s11225-015-9609-0⟩
Article dans une revue hal-01193284v1
Image document

Private announcement and belief expansion: an internal perspective

Guillaume Aucher
Journal of Logic and Computation, 2012
Article dans une revue hal-00856474v1
Image document

DEL-sequents for Regression and Epistemic Planning

Guillaume Aucher
Journal of Applied Non-Classical Logics, 2012, pp.29
Article dans une revue hal-00856471v1
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

Calculi for Basic Atomic Logics

Guillaume Aucher
[Research Report] Université de Rennes. 2024
Rapport hal-03800002v2
Image document

A Characterization of Properly Displayable Atomic and Molecular Logics

Guillaume Aucher
[Research Report] Université de Rennes 1. 2022
Rapport hal-03800070v1
Image document

Generalized Keisler Theorems for First-order Logic and Protologics

Guillaume Aucher
Université de Rennes 1 (UR1). 2022
Rapport hal-03884245v1
Image document

Correspondence Theory for Atomic Logics

Guillaume Aucher
[Research Report] Université de Rennes 1. 2022
Rapport hal-03800044v1
Image document

Generalized Keisler Theorems for Atomic and Molecular Logics

Guillaume Aucher
Université de Rennes 1. 2022
Rapport hal-03884240v1
Image document

Towards a Generic Model Theory: Automatic Bisimulations for Atomic, Molecular and First-order Logics

Guillaume Aucher
[Research Report] Université de rennes 1. 2021
Rapport hal-03414862v2
Image document

A Characterization of Displayable Logics Extending Update Logic

Guillaume Aucher
[Research Report] Université de Rennes 1. 2016
Rapport hal-01276927v1
Image document

Undecidability in Epistemic Planning

Guillaume Aucher , Thomas Bolander
[Research Report] RR-8310, INRIA. 2013
Rapport hal-00824653v1
Image document

Update Logic

Guillaume Aucher
[Research Report] RR-8341, INRIA. 2013
Rapport hal-00849856v1
Image document

On the Complexity of Dynamic Epistemic Logic (Extended Version)

Guillaume Aucher , François Schwarzentruber
[Research Report] RR-8164, INRIA. 2012
Rapport hal-00759544v1
Image document

Generalized DEL-sequents

Guillaume Aucher , Bastien Maubert , François Schwarzentruber
[Research Report] RR-8012, INRIA. 2012, pp.23
Rapport hal-00716074v1
Image document

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 hal-03516649v1
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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