2022
Journal articles
- titre
- On the Universality of Atomic and Molecular Logics via Protologics
- auteur
- Guillaume Aucher
- article
- Logica Universalis, 2022, 16 (1-2), pp.285-322. ⟨10.1007/s11787-022-00298-5⟩
- Accès au texte intégral et bibtex
-
Reports
- titre
- Generalized Keisler Theorems for Atomic and Molecular Logics
- auteur
- Guillaume Aucher
- article
- Université de Rennes 1. 2022
- Accès au texte intégral et bibtex
-
- titre
- Generalized Keisler Theorems for First-order Logic and Protologics
- auteur
- Guillaume Aucher
- article
- Université de Rennes 1 (UR1). 2022
- Accès au texte intégral et bibtex
-
- titre
- Display and Hilbert Calculi for Atomic and Molecular Logics
- auteur
- Guillaume Aucher
- article
- [Research Report] Université de Rennes 1. 2022
- Accès au texte intégral et bibtex
-
- titre
- Correspondence Theory for Atomic Logics
- auteur
- Guillaume Aucher
- article
- [Research Report] Université de Rennes 1. 2022
- Accès au texte intégral et bibtex
-
- titre
- A Characterization of Properly Displayable Atomic and Molecular Logics
- auteur
- Guillaume Aucher
- article
- [Research Report] Université de Rennes 1. 2022
- Accès au texte intégral et bibtex
-
2021
Book sections
- titre
- Towards Universal Logic: Gaggle Logics
- auteur
- Guillaume Aucher
- article
- Melvin Fitting. Selected Topics from Contemporary Logics, College Publications, pp.5 - 73, 2021, Landscapes in Logic, 978-1848903500
- Accès au texte intégral et bibtex
-
Reports
- titre
- Towards a Generic Model Theory: Automatic Bisimulations for Atomic, Molecular and First-order Logics
- auteur
- Guillaume Aucher
- article
- [Research Report] Université de rennes 1. 2021
- Accès au texte intégral et bibtex
-
2020
Journal articles
- titre
- Towards Universal Logic: Gaggle Logics
- auteur
- Guillaume Aucher
- article
- Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications, 2020, 7 (6), pp.875-945
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Expedition in the Update Universe
- auteur
- Guillaume Aucher
- article
- Dynamic Logic. New Trends and Applications. DaLi 2020., Oct 2020, Prague, Czech Republic. pp.1-16, ⟨10.1007/978-3-030-65840-3_1⟩
- Accès au texte intégral et bibtex
-
2019
Journal articles
- titre
- Principles for a Judgement Editor Based on Binary Decision Diagrams
- auteur
- Guillaume Aucher, Jean Berbinau, Marie-Laure Morin
- article
- Journal of Applied Logics -IfCoLog Journal of Logics and their Applications, 2019, Special Issue: Reasoning for Legal AI, 6 (5), pp.33
- Accès au texte intégral et bibtex
-
2018
Journal articles
- titre
- Modal logics of sabotage revisited
- auteur
- Guillaume Aucher, Johan Van Benthem, Davide Grossi
- article
- Journal of Logic and Computation, 2018, 28 (2), pp.269 - 303. ⟨10.1093/logcom/exx034⟩
- Accès au texte intégral et bibtex
-
2017
Lectures
- titre
- Logic and Commonsense Reasoning
- auteur
- Guillaume Aucher
- article
- Master. Rennes, France. 2017, pp.151
- Accès au texte intégral et bibtex
-
2016
Journal articles
- titre
- Dynamic Epistemic Logic in Update Logic
- auteur
- Guillaume Aucher
- article
- Journal of Logic and Computation, 2016, 26 (6), pp.1913-1960. ⟨10.1093/logcom/exw002⟩
- Accès au texte intégral et bibtex
-
- titre
- Displaying Updates in Logic
- auteur
- Guillaume Aucher
- article
- Journal of Logic and Computation, 2016, 26 (6), pp.1865-1912. ⟨10.1093/logcom/exw001⟩
- Accès au texte intégral et bibtex
-
Reports
- titre
- A Characterization of Displayable Logics Extending Update Logic
- auteur
- Guillaume Aucher
- article
- [Research Report] Université de Rennes 1. 2016
- Accès au texte intégral et bibtex
-
2015
Journal articles
- titre
- Intricate Axioms as Interaction Axioms
- auteur
- Guillaume Aucher
- article
- Studia Logica, 2015, pp.28. ⟨10.1007/s11225-015-9609-0⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Sabotage Modal Logic: Some Model and Proof Theoretic Aspects
- auteur
- Guillaume Aucher, Johan van Benthem, Davide Grossi
- article
- International Conference on Logic, Rationality and Interaction (LORI 2015), Oct 2015, Taipei, Taiwan
- Accès au texte intégral et bibtex
-
- titre
- Games with Communication: from Belief to Preference Change
- auteur
- Guillaume Aucher, Bastien Maubert, Sophie Pinchinat, François Schwarzentruber
- article
- Principles and Practice of Multi-Agent Systems (PRIMA 2015), Oct 2015, Bertinoro, Italy
- Accès au texte intégral et bibtex
-
- titre
- When Conditional Logic and Belief Revision Meet Substructural Logics
- auteur
- Guillaume Aucher
- article
- DARe-15 2015 Defeasible and Ampliative Reasoning, Jul 2015, Buenos Aires, Argentina
- Accès au texte intégral et bibtex
-
- titre
- Multi-Agent Only Knowing on Planet Kripke
- auteur
- Guillaume Aucher, Vaishak Belle
- article
- International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina
- Accès au texte intégral et bibtex
-
Documents associated with scientific events
- titre
- Manifeste: Pour plus d'Interactions entre Informatique, Sciences Humaines et Sociales et Arts
- auteur
- Guillaume Aucher, Olivier Ridoux
- article
- Science des données et sciences humaines et sociales : atelier 4 du Data Science Symposium, Nov 2015, Rennes, France. , pp.6, 2015
- Accès au texte intégral et bibtex
-
2014
Conference papers
- titre
- Axioms .2 and .4 as Interaction Axioms
- auteur
- Guillaume Aucher
- article
- KR 2014, Jul 2014, Vienne, Austria
- Accès au bibtex
-
- titre
- Supervisory Control Theory in Epistemic Temporal Logic
- auteur
- Guillaume Aucher
- article
- AAMAS 2014, May 2014, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- Automata Techniques for Epistemic Protocol Synthesis
- auteur
- Guillaume Aucher, Bastien Maubert, Sophie Pinchinat
- article
- 2nd International Workshop on Strategic Reasoning, Apr 2014, 2014-04-06, France. pp.11, ⟨10.4204/EPTCS.146.13⟩
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Principles of Knowledge, Belief and Conditional Belief
- auteur
- Guillaume Aucher
- article
- Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics, pp.97 - 134, 2014, ⟨10.1007/978-3-319-03044-9_5⟩
- Accès au texte intégral et bibtex
-
- titre
- Dynamic Epistemic Logic as a Substructural Logic
- auteur
- Guillaume Aucher
- article
- 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⟩
- Accès au texte intégral et bibtex
-
2013
Conference papers
- titre
- Generalized DEL-sequents
- auteur
- Guillaume Aucher, Bastien Maubert, François Schwarzentruber
- article
- JELIA - Logics in Artificial Intelligence - 2012, Sep 2013, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- An Alternative Axiomatization of DEL and Its Applications
- auteur
- Yanjing Wang, Guillaume Aucher
- article
- IJCAI - International Joint Conference in Artificial Intelligence - 2013, Aug 2013, Beijing, China
- Accès au texte intégral et bibtex
-
- titre
- Undecidability in Epistemic Planning
- auteur
- Guillaume Aucher, Thomas Bolander
- article
- IJCAI - International Joint Conference in Artificial Intelligence - 2013, Aug 2013, Beijing, China
- Accès au texte intégral et bibtex
-
- titre
- On the Complexity of Dynamic Epistemic Logic
- auteur
- Guillaume Aucher, François Schwarzentruber
- article
- TARK - Theoretical Aspects of Rationality and Knowledge - 2013, Jan 2013, Chennai, India
- Accès au texte intégral et bibtex
-
Reports
- titre
- Update Logic
- auteur
- Guillaume Aucher
- article
- [Research Report] RR-8341, INRIA. 2013
- Accès au texte intégral et bibtex
-
- titre
- Undecidability in Epistemic Planning
- auteur
- Guillaume Aucher, Thomas Bolander
- article
- [Research Report] RR-8310, INRIA. 2013
- Accès au texte intégral et bibtex
-
2012
Journal articles
- titre
- DEL-sequents for Regression and Epistemic Planning
- auteur
- Guillaume Aucher
- article
- Journal of Applied Non-Classical Logics, 2012, pp.29
- Accès au texte intégral et bibtex
-
- titre
- Private announcement and belief expansion: an internal perspective
- auteur
- Guillaume Aucher
- article
- Journal of Logic and Computation, 2012
- Accès au texte intégral et bibtex
-
Reports
- titre
- On the Complexity of Dynamic Epistemic Logic (Extended Version)
- auteur
- Guillaume Aucher, François Schwarzentruber
- article
- [Research Report] RR-8164, INRIA. 2012
- Accès au texte intégral et bibtex
-
- titre
- Generalized DEL-sequents
- auteur
- Guillaume Aucher, Bastien Maubert, François Schwarzentruber
- article
- [Research Report] RR-8012, INRIA. 2012, pp.23
- Accès au texte intégral et bibtex
-
2011
Journal articles
- titre
- A Dynamic Logic for Privacy Compliance
- auteur
- Guillaume Aucher, Leendert van Der Torre, Guido Boella
- article
- Artificial Intelligence and Law, 2011, 19 (2-3), pp.187-231. ⟨10.1007/s10506-011-9114-3⟩
- Accès au texte intégral et bibtex
-
- titre
- DEL-sequents for progression
- auteur
- Guillaume Aucher
- article
- Journal of Applied Non-Classical Logics, 2011, 21 (3-4), pp.289-321. ⟨10.3166/jancl.21.289-321⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Tableau method and NEXPTIME-Completeness of DEL-Sequents
- auteur
- Guillaume Aucher, Bastien Maubert, François Schwarzentruber
- article
- Methods for Modalities (M4M), Nov 2011, Sevilla, Spain
- Accès au texte intégral et bibtex
-
- titre
- Dynamics in Delegation and Revocation Schemes: A Logical Approach
- auteur
- Guillaume Aucher, Steve Barker, Guido Boella, Valerio Genovese, Leendert van Der Torre
- article
- 23th Data and Applications Security (DBSec), Jul 2011, Richmond, United States. pp.90-105, ⟨10.1007/978-3-642-22348-8_9⟩
- Accès au texte intégral et bibtex
-
- titre
- The Coprelobri project: the logical approach to privacy
- auteur
- Guillaume Aucher, Catherine Barreau-Saliou, Guido Boella, Annie Blandin-Obernesser, Sébastien Gambs, Guillaume Piolle, Leendert van Der Torre
- article
- 2e Atelier Protection de la Vie Privée (APVP 2011), Jun 2011, Sorèze, France
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Exploring the power of converse events
- auteur
- Guillaume Aucher, Andreas Herzig
- article
- 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⟩
- Accès au texte intégral et bibtex
-
2010
Journal articles
- titre
- An internal version of epistemic logic
- auteur
- Guillaume Aucher
- article
- Studia Logica, 2010, 94 (1), pp.1-22. ⟨10.1007/s11225-010-9227-9⟩
- Accès au texte intégral et bibtex
-
- titre
- Generalizing AGM to a multi-agent setting
- auteur
- Guillaume Aucher
- article
- Logic Journal of the IGPL, 2010, 18 (4), pp.530-558. ⟨10.1093/jigpal/jzp037⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Privacy policies with modal logic: the dynamic turn
- auteur
- Guillaume Aucher, Guido Boella, Leendert van Der Torre
- article
- DEON - Deontic Logic in Computer Science - 2010, Jul 2010, Fiesole, Italy. pp.196-213
- Accès au texte intégral et bibtex
-
- titre
- Characterizing Updates in Dynamic Epistemic Logic
- auteur
- Guillaume Aucher
- article
- Knowledge representation and reasoning, 2010, Toronto, Canada
- Accès au bibtex
-
2009
Journal articles
- titre
- Global and local graph modifiers
- auteur
- Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
- article
- 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⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Prescriptive and descriptive obligations in dynamic epistemic deontic logic
- auteur
- Guillaume Aucher, Guido Boella, Leendert van Der Torre
- article
- AICOL - AI Approaches to the Complexity of Legal Systems - 2009, Dec 2009, Rotterdam, Netherlands. pp.150-161
- Accès au texte intégral et bibtex
-
- titre
- Dynamic context logic
- auteur
- Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini
- article
- 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⟩
- Accès au texte intégral et bibtex
-
- titre
- BMS revisited
- auteur
- Guillaume Aucher
- article
- Theoretical Aspects of Rationality and Knowledge, Jul 2009, Stanford, United States
- Accès au texte intégral et bibtex
-
- titre
- Dynamic context logic and its application to norm change
- auteur
- Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini
- article
- Dagstuhl Seminar on Normative Multi-Agent Systems (NorMAS 2009), Mar 2009, Dagstuhl, Germany. pp.259-271
- Accès au texte intégral et bibtex
-
2008
Conference papers
- titre
- Consistency preservation and crazy formulas in BMS
- auteur
- Guillaume Aucher
- article
- Logics in artificial intelligence, 11th european conference (JELIA), Sep 2008, Dresden, Germany
- Accès au texte intégral et bibtex
-
- titre
- Internal models and private multi-agent belief revision
- auteur
- Guillaume Aucher
- article
- Autonomous agents and multi-agent systems (AAMAS 2008), May 2008, Estoril, Portugal
- Accès au texte intégral et bibtex
-
Theses
- titre
- Perspectives on belief and change
- auteur
- Guillaume Aucher
- article
- Other [cs.OH]. Université Paul Sabatier - Toulouse III; University of Otago, 2008. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
2007
Journal articles
- titre
- Interpreting an action from what we perceive and what we expect
- auteur
- Guillaume Aucher
- article
- Journal of Applied Non-Classical Logics, 2007, 17 (1), pp.9-38. ⟨10.3166/jancl.17.9-38⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- De DEL à EDL ou comment illustrer la puissance des événements inverses
- auteur
- Guillaume Aucher, Andreas Herzig
- article
- 4èmes Journées francophones sur les Modèles Formels de l'Interaction (MFI 2007), May 2007, Paris, France. pp.253-260
- Accès au texte intégral et bibtex
-
- titre
- From DEL to EDL: exploring the power of converse events (ECSQARU 2007)
- auteur
- Guillaume Aucher, Andreas Herzig
- article
- 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⟩
- Accès au bibtex
-
Reports
- titre
- From DEL to EDL: exploring the power of converse events
- auteur
- Guillaume Aucher, Andreas Herzig
- article
- [Research Report] IRIT : Institut de recherche en informatique de Toulouse. 2007
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- De DEL à EDL ou comment illustrer la puissance des événements inverses
- auteur
- Guillaume Aucher, Andreas Herzig
- article
- 2007
- Accès au texte intégral et bibtex
-
2005
Conference papers
- titre
- How our beliefs contribute to interpret actions
- auteur
- Guillaume Aucher
- article
- CEEMAS - Central and Eastern European Conference on Multi-Agent Systems - 2005, Sep 2005, Budapest, Hungary
- Accès au texte intégral et bibtex
-
2004
Conference papers
- titre
- A Combined System for Update Logic and Belief Revision
- auteur
- Guillaume Aucher
- article
- PRIMA, Aug 2004, Auckland, New Zealand. pp.1-17
- Accès au texte intégral et bibtex
-