Publications HAL de guillaume,aucher

2018

Journal articles

titre
Modal logics of sabotage revisited
auteur
Guillaume Aucher, Johan Van Benthem, Davide Grossi
article
Journal of Logic and Computation, Oxford University Press (OUP), 2018, 28 (2), pp.269 - 303. 〈10.1093/logcom/exx034〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01827076/file/RevisedProof.pdf 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
https://hal.archives-ouvertes.fr/cel-01586568/file/LogicCommonsense-CourseNotes-2017.pdf BibTex

Reports

titre
A New Road Towards Universal Logic?
auteur
Guillaume Aucher
article
[Research Report] Université de Rennes 1. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01483342/file/RR2017.pdf BibTex

2016

Journal articles

titre
Dynamic Epistemic Logic in Update Logic
auteur
Guillaume Aucher
article
Journal of Logic and Computation, Oxford University Press (OUP), 2016, 26 (6), pp.1913-1960. 〈10.1093/logcom/exw002〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01476249/file/JLC2016CameraReadyPart2.pdf BibTex
titre
Displaying Updates in Logic
auteur
Guillaume Aucher
article
Journal of Logic and Computation, Oxford University Press (OUP), 2016, 26 (6), pp.1865-1912. 〈10.1093/logcom/exw001〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01476234/file/JLC2016CameraReadyPart1.pdf 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
https://hal.archives-ouvertes.fr/hal-01276927/file/ResearchReport2016v2.pdf BibTex

2015

Journal articles

titre
Intricate Axioms as Interaction Axioms
auteur
Guillaume Aucher
article
Studia Logica, Springer Verlag (Germany), 2015, pp.28. 〈10.1007/s11225-015-9609-0〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01193284/file/FinalRevisedStudiaLogica2014.pdf 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
https://hal.inria.fr/hal-01194426/file/LORI2015Extended.pdf 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. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01194398/file/PRIMA2015.pdf 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
https://hal.inria.fr/hal-01193289/file/DARe15.pdf 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
https://hal.inria.fr/hal-01193181/file/IJCAI15.pdf 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, 〈http://dss.irisa.fr/english-workshops/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01230651/file/ManifesteInfoSHS.pdf 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
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
https://hal.inria.fr/hal-01098771/file/p333.pdf BibTex
titre
Automata Techniques for Epistemic Protocol Synthesis
auteur
Guillaume Aucher, Bastien Maubert, Sophie Pinchinat
article
Fabio Mogavero and Aniello Murano and Moshe Y. Vardi. 2nd International Workshop on Strategic Reasoning, Apr 2014, 2014-04-06, France. EPTCS, 146, pp.11, 2014, EPTCS. 〈10.4204/EPTCS.146.13〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01098740/file/SR2014.pdf BibTex

Book sections

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
https://hal.inria.fr/hal-01098793/file/Aucher2014.pdf BibTex
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
https://hal.inria.fr/hal-01098789/file/DialogueRationalityFormalism2013.pdf 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. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00856472/file/JELIA2012.pdf 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. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00856470/file/IJCAI2013b.pdf BibTex
titre
Undecidability in Epistemic Planning
auteur
Guillaume Aucher, Thomas Bolander
article
IJCAI - International Joint Conference in Artificial Intelligence - 2013, Aug 2013, Beijing, China. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00856469/file/IJCAI2013a.pdf 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. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00856468/file/TARK2013.pdf BibTex

Reports

titre
Update Logic
auteur
Guillaume Aucher
article
[Research Report] RR-8341, INRIA. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00849856/file/RR8341.pdf 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
https://hal.inria.fr/hal-00824653/file/RR-8310.pdf BibTex

2012

Journal articles

titre
DEL-sequents for Regression and Epistemic Planning
auteur
Guillaume Aucher
article
Journal of Applied Non-Classical Logics, Editions Hermes, 2012, pp.29
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00856471/file/JANCL2012-Camera-Ready.pdf BibTex
titre
Private announcement and belief expansion: an internal perspective
auteur
Guillaume Aucher
article
Journal of Logic and Computation, Oxford University Press (OUP), 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00856474/file/Journal_of_Logic_and_Computation.PDF 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
https://hal.inria.fr/hal-00759544/file/RR-8164.pdf 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
https://hal.inria.fr/hal-00716074/file/RR-8012.pdf BibTex

2011

Journal articles

titre
A Dynamic Logic for Privacy Compliance
auteur
Guillaume Aucher, Leendert Van Der Torre, Guido Boella
article
Journal of Artificial Intelligence and Law, Springer, 2011, 19 (2-3), pp.187-231. 〈http://www.springerlink.com/content/m6tl3832163628h8/〉. 〈10.1007/s10506-011-9114-3〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00628318/file/JAIL11-corrected.pdf BibTex
titre
DEL-sequents for progression
auteur
Guillaume Aucher
article
Journal of Applied Non-Classical Logics, Editions Hermes, 2011, 21 (3-4), pp.289-321. 〈http://jancl.e-revues.com/article.jsp?articleId=17077〉. 〈10.3166/jancl.21.289-321〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00674150/file/JANCL11.pdf 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. Elsevier, 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00627642/file/M4M11.pdf 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
Yingjiu Li. 23th Data and Applications Security (DBSec), Jul 2011, Richmond, United States. Springer, Lecture Notes in Computer Science, LNCS-6818, pp.90-105, 2011, Data and Applications Security and Privacy XXV. 〈10.1007/978-3-642-22348-8_9〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00593654/file/10.1007-978-3-642-22348-8_9.pdf BibTex
titre
The Coprelobri project: the logical approach to privacy
auteur
Guillaume Aucher, Catherine Barreau-Saliou, Guido Boella, Annie Blandin, 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
https://hal-supelec.archives-ouvertes.fr/hal-00606014/file/APVP11.pdf BibTex

Book sections

titre
Exploring the power of converse events
auteur
Guillaume Aucher, Andreas Herzig
article
Dynamic formal epistemology, Springer, pp.51-74, 2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00557002/file/Montreal_HAL.pdf BibTex

2010

Journal articles

titre
An internal version of epistemic logic
auteur
Guillaume Aucher
article
Studia Logica, Springer Verlag (Germany), 2010, 94 (1), pp.1-22. 〈http://www.springerlink.com/content/66060276v7r41j33/〉. 〈10.1007/s11225-010-9227-9〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00556030/file/10.1007-s11225-010-9227-9.pdf BibTex
titre
Generalizing AGM to a multi-agent setting
auteur
Guillaume Aucher
article
Logic Journal of IGPL / Logic Journal of the IGPL, Oxford University Press, 2010, 18 (4), pp.530-558. 〈http://jigpal.oxfordjournals.org/content/18/4/530.abstract〉. 〈10.1093/jigpal/jzp037〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00556032/file/logic_journal_of_IGPL.pdf 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, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00556079/file/10.1007-978-3-642-14183-6_15.pdf BibTex
titre
Characterizing Updates in Dynamic Epistemic Logic
auteur
Guillaume Aucher
article
Knowledge representation and reasoning, 2010, Toronto, Canada. 2010
Accès au bibtex
BibTex

2009

Journal articles

titre
Global and local graph modifiers
auteur
Guillaume Aucher, Philippe Balbiani, Luis Farinas del Cerro, Andreas Herzig
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00556034/file/M4M.pdf 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, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00556080/file/10.1007-978-3-642-16524-5_10.pdf BibTex
titre
BMS revisited
auteur
Guillaume Aucher
article
Theoretical Aspects of Rationality and Knowledge, Jul 2009, Stanford, United States. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00556035/file/TARK2009BIS.PDF BibTex
titre
Dynamic context logic
auteur
Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini
article
LORI - Logic, Rationality, and Interaction, Second International Workshop - 2009, 2009, Chongqing, China. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00556156/file/10.1007-978-3-642-04893-7_2.pdf 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. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00556148/file/JELIA2008.pdf 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. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00556084/file/AAMAS08.pdf 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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00556089/file/PhDthesis_final.pdf 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, Editions Hermes, 2007, 17 (1), pp.9-38. 〈http://jancl.e-revues.com/article.jsp?articleId=9464〉. 〈10.3166/jancl.17.9-38〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00556151/file/JANCL.pdf BibTex

Conference papers

titre
From DEL to EDL: exploring the power of converse events
auteur
Guillaume Aucher, Andreas Herzig
article
Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference (ECSQARU), 2007, Hammamet, Tunisia. 2007
Accès au bibtex
BibTex

Preprints, Working Papers, ...

titre
De DEL à EDL ou comment illustrer la puissance des événements inverses
auteur
Guillaume Aucher, Andreas Herzig
article
ANNALES DU LAMSADE N°8. 2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00192061/file/AN8LAMSADE_253-260.pdf 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. 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00556095/file/10.1007-11559221_28.pdf BibTex

2004

Conference papers

titre
A Combined System for Update Logic and Belief Revision
auteur
Guillaume Aucher
article
Mike Barley and Nikola Kasabov. PRIMA, Aug 2004, Auckland, New Zealand. Springer, 3371, pp.1-17, 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00537233/file/10.1007-978-3-540-32128-6_1.pdf BibTex