Guillaume Aucher
Publications
Publications
|
|
From Knowledge to Action: Logics of Permitted and Obligatory AnnouncementsJournal of Artificial Intelligence Research, 2025, 82, pp.1629-1672. ⟨10.1613/jair.1.17180⟩ |
|
|
L’IA et la Logique au Soutien du Travail des Juges: le Projet « Trames Interactives »Les Cahiers de la justice, 2025, L’IA judiciaire entre innovation et risques, 2, pp.223-236 |
|
|
Towards Universal Logic: Gaggle LogicsJournal of Applied Logics - IfCoLoG Journal of Logics and their Applications, 2020, 7 (6), pp.875-945 |
|
|
Principles for a Judgement Editor Based on Binary Decision DiagramsJournal of Applied Logics -IfCoLog Journal of Logics and their Applications, 2019, Special Issue: Reasoning for Legal AI, 6 (5), pp.33 |
|
|
Modal logics of sabotage revisitedJournal of Logic and Computation, 2018, 28 (2), pp.269 - 303. ⟨10.1093/logcom/exx034⟩ |
|
|
Dynamic Epistemic Logic in Update LogicJournal of Logic and Computation, 2016, 26 (6), pp.1913-1960. ⟨10.1093/logcom/exw002⟩ |
|
|
Displaying Updates in LogicJournal of Logic and Computation, 2016, 26 (6), pp.1865-1912. ⟨10.1093/logcom/exw001⟩ |
|
|
Intricate Axioms as Interaction AxiomsStudia Logica, 2015, pp.28. ⟨10.1007/s11225-015-9609-0⟩ |
|
|
DEL-sequents for Regression and Epistemic PlanningJournal of Applied Non-Classical Logics, 2012, pp.29 |
|
|
Private announcement and belief expansion: an internal perspectiveJournal of Logic and Computation, 2012 |
|
|
DEL-sequents for progressionJournal of Applied Non-Classical Logics, 2011, 21 (3-4), pp.289-321. ⟨10.3166/jancl.21.289-321⟩ |
|
|
A Dynamic Logic for Privacy ComplianceArtificial Intelligence and Law, 2011, 19 (2-3), pp.187-231. ⟨10.1007/s10506-011-9114-3⟩ |
|
|
Generalizing AGM to a multi-agent settingLogic Journal of the IGPL, 2010, 18 (4), pp.530-558. ⟨10.1093/jigpal/jzp037⟩ |
|
|
An internal version of epistemic logicStudia Logica, 2010, 94 (1), pp.1-22. ⟨10.1007/s11225-010-9227-9⟩ |
|
|
Global and local graph modifiersElectronic 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⟩ |
|
|
Interpreting an action from what we perceive and what we expectJournal of Applied Non-Classical Logics, 2007, 17 (1), pp.9-38. ⟨10.3166/jancl.17.9-38⟩ |
Festschrift for Andreas Herzig on the Occasion of his 65th Birthday2025, 978-1-84890-499-6 |
|
|
Modal Logics of Sabotage and BeyondJohan van Benthem; Fenrong Liu. Graph games and logic design, 66, Springer, In press, Trends in Logic |
|
|
Towards Universal Logic: Gaggle LogicsMelvin Fitting. Selected Topics from Contemporary Logics, College Publications, pp.5 - 73, 2021, Landscapes in Logic, 978-1848903500 |
|
|
Principles of Knowledge, Belief and Conditional BeliefInterdisciplinary Works in Logic, Epistemology, Psychology and Linguistics, pp.97 - 134, 2014, ⟨10.1007/978-3-319-03044-9_5⟩ |
|
|
Dynamic Epistemic Logic as a Substructural LogicJohan van Benthem on Logic and Information Dynamics, 5, pp.855 - 880, 2014, Outstanding Contributions to Logic, ⟨10.1007/978-3-319-06025-5_33⟩ |
|
|
Exploring the power of converse eventsPatrick 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⟩ |
|
|
A Finite Semi-Direct Product Displays Atomic LogicsUniversité de Rennes. 2025 |
|
|
Correspondence Theory of Atomic Logics[Research Report] Université de Rennes. 2024 |
|
|
A Characterization of Properly Displayable Atomic Logics[Research Report] Université de Rennes. 2024 |
|
|
Calculi for Basic Atomic Logics[Research Report] Université de Rennes. 2024 |
|
|
Generalized Keisler Theorems for Atomic and Molecular LogicsUniversité de Rennes 1. 2022 |
|
|
Generalized Keisler Theorems for First-order Logic and ProtologicsUniversité de Rennes 1 (UR1). 2022 |
|
|
Towards a Generic Model Theory: Automatic Bisimulations for Atomic, Molecular and First-order Logics[Research Report] Université de rennes 1. 2021 |
|
|
A Characterization of Displayable Logics Extending Update Logic[Research Report] Université de Rennes 1. 2016 |
|
|
Undecidability in Epistemic Planning[Research Report] RR-8310, INRIA. 2013 |
|
|
Update Logic[Research Report] RR-8341, INRIA. 2013 |
|
|
Generalized DEL-sequents[Research Report] RR-8012, INRIA. 2012, pp.23 |
|
|
On the Complexity of Dynamic Epistemic Logic (Extended Version)[Research Report] RR-8164, INRIA. 2012 |
|
|
From DEL to EDL: exploring the power of converse events[Research Report] IRIT : Institut de recherche en informatique de Toulouse. 2007 |
|
|
An Introduction to Mathematical LogicMaster. Rennes, France. 2024, pp.202 |
|
|
Logic and Commonsense ReasoningMaster. Rennes, France. 2017, pp.151 |
|
|
Expedition in the Update UniverseDynamic Logic. New Trends and Applications. DaLi 2020., Oct 2020, Prague, Czech Republic. pp.1-16, ⟨10.1007/978-3-030-65840-3_1⟩ |
|
|
Multi-Agent Only Knowing on Planet KripkeInternational Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina |
|
|
Sabotage Modal Logic: Some Model and Proof Theoretic AspectsInternational Conference on Logic, Rationality and Interaction (LORI 2015), Oct 2015, Taipei, Taiwan |
|
|
When Conditional Logic and Belief Revision Meet Substructural LogicsDARe-15 2015 Defeasible and Ampliative Reasoning, Jul 2015, Buenos Aires, Argentina |
|
|
Games with Communication: from Belief to Preference ChangePrinciples and Practice of Multi-Agent Systems (PRIMA 2015), Oct 2015, Bertinoro, Italy |
|
|
Supervisory Control Theory in Epistemic Temporal LogicAAMAS 2014, May 2014, Paris, France |
|
|
Automata Techniques for Epistemic Protocol Synthesis2nd International Workshop on Strategic Reasoning, Apr 2014, 2014-04-06, France. pp.11, ⟨10.4204/EPTCS.146.13⟩ |
Axioms .2 and .4 as Interaction AxiomsKR 2014, Jul 2014, Vienne, Austria |
|
|
|
On the Complexity of Dynamic Epistemic LogicTARK - Theoretical Aspects of Rationality and Knowledge - 2013, Jan 2013, Chennai, India |
|
|
Undecidability in Epistemic PlanningIJCAI - International Joint Conference in Artificial Intelligence - 2013, Aug 2013, Beijing, China |
|
|
An Alternative Axiomatization of DEL and Its ApplicationsIJCAI - International Joint Conference in Artificial Intelligence - 2013, Aug 2013, Beijing, China |
|
|
Generalized DEL-sequentsJELIA - Logics in Artificial Intelligence - 2012, Sep 2013, Toulouse, France |
|
|
Dynamics in Delegation and Revocation Schemes: A Logical Approach23th Data and Applications Security (DBSec), Jul 2011, Richmond, United States. pp.90-105, ⟨10.1007/978-3-642-22348-8_9⟩ |
|
|
The Coprelobri project: the logical approach to privacy2e Atelier Protection de la Vie Privée (APVP 2011), Jun 2011, Sorèze, France |
|
|
Tableau method and NEXPTIME-Completeness of DEL-SequentsMethods for Modalities (M4M), Nov 2011, Sevilla, Spain |
Characterizing Updates in Dynamic Epistemic LogicKnowledge representation and reasoning, 2010, Toronto, Canada |
|
|
|
Prescriptive and descriptive obligations in dynamic epistemic deontic logicAICOL - AI Approaches to the Complexity of Legal Systems - 2009, Dec 2009, Rotterdam, Netherlands. pp.150-161 |
|
|
Privacy policies with modal logic: the dynamic turnDEON - Deontic Logic in Computer Science - 2010, Jul 2010, Fiesole, Italy. pp.196-213 |
|
|
Dynamic context logic and its application to norm changeDagstuhl Seminar on Normative Multi-Agent Systems (NorMAS 2009), Mar 2009, Dagstuhl, Germany. pp.259-271 |
|
|
Dynamic context logicSecond International Workshop on Logic, Rationality, and Interaction (LORI 2009), Oct 2009, Chongqing, China. pp.15-26, ⟨10.1007/978-3-642-04893-7_2⟩ |
|
|
BMS revisitedTheoretical Aspects of Rationality and Knowledge, Jul 2009, Stanford, United States |
|
|
Consistency preservation and crazy formulas in BMSLogics in artificial intelligence, 11th european conference (JELIA), Sep 2008, Dresden, Germany |
|
|
Internal models and private multi-agent belief revisionAutonomous agents and multi-agent systems (AAMAS 2008), May 2008, Estoril, Portugal |
From DEL to EDL: exploring the power of converse events (ECSQARU 2007)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⟩ |
|
|
|
De DEL à EDL ou comment illustrer la puissance des événements inverses4èmes Journées francophones sur les Modèles Formels de l'Interaction (MFI 2007), May 2007, Paris, France. pp.253-260 |
|
|
How our beliefs contribute to interpret actionsCEEMAS - Central and Eastern European Conference on Multi-Agent Systems - 2005, Sep 2005, Budapest, Hungary |
|
|
A Combined System for Update Logic and Belief RevisionPRIMA, Aug 2004, Auckland, New Zealand. pp.1-17 |
|
|
Manifeste: Pour plus d'Interactions entre Informatique, Sciences Humaines et Sociales et ArtsScience des données et sciences humaines et sociales : atelier 4 du Data Science Symposium, Nov 2015, Rennes, France. , pp.6, 2015 |
|
|
Perspectives on belief and changeOther [cs.OH]. Université Paul Sabatier - Toulouse III; University of Otago, 2008. English. ⟨NNT : ⟩ |
|
|
De DEL à EDL ou comment illustrer la puissance des événements inverses2007 |