Follow
Guillaume Aucher
Guillaume Aucher
University of Rennes
Verified email at univ-rennes.fr - Homepage
Title
Cited by
Cited by
Year
A combined system for update logic and belief revision
G Aucher
Intelligent Agents and Multi-Agent Systems: 7th Pacific Rim International …, 2005
1362005
Undecidability in epistemic planning
G Aucher, T Bolander
INRIA, 2013
1102013
On the complexity of dynamic epistemic logic
G Aucher, F Schwarzentruber
arXiv preprint arXiv:1310.6406, 2013
722013
Modal logics of sabotage revisited
G Aucher, J Benthem, D Grossi
Journal of Logic and Computation 28 (2), 269-303, 2018
682018
Global and local graph modifiers
G Aucher, P Balbiani, LF Del Cerro, A Herzig
Electronic Notes in Theoretical Computer Science 231, 293-307, 2009
672009
An internal version of epistemic logic
G Aucher
Studia Logica 94, 1-22, 2010
492010
DEL-sequents for regression and epistemic planning
G Aucher
Journal of Applied Non-Classical Logics 22 (4), 337-367, 2012
382012
Dynamic context logic
G Aucher, D Grossi, A Herzig, E Lorini
Logic, Rationality, and Interaction: Second International Workshop, LORI …, 2009
352009
DEL-sequents for progression
G Aucher
Journal of Applied Non-Classical Logics 21 (3-4), 289-321, 2011
322011
A dynamic logic for privacy compliance
G Aucher, G Boella, L Van Der Torre
Artificial Intelligence and Law 19, 187-231, 2011
262011
Generalizing AGM to a multi-agent setting
G Aucher
Logic Journal of the IGPL 18 (4), 530-558, 2010
252010
Sabotage modal logic: Some model and proof theoretic aspects
G Aucher, J Van Benthem, D Grossi
Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015 …, 2015
242015
An alternative axiomatization of DEL and its applications
Y Wang, G Aucher
IJCAI-International Joint Conference in Artificial Intelligence-2013, 2013
232013
Privacy policies with modal logic: the dynamic turn
G Aucher, G Boella, L Van Der Torre
Deontic Logic in Computer Science: 10th International Conference, DEON 2010 …, 2010
222010
Supervisory control theory in epistemic temporal logic
G Aucher
AAMAS 2014, 2014
212014
Automata techniques for epistemic protocol synthesis
G Aucher, B Maubert, S Pinchinat
arXiv preprint arXiv:1404.0844, 2014
192014
Dynamic epistemic logic as a substructural logic
G Aucher
Johan van Benthem on Logic and Information Dynamics, 855-880, 2014
182014
Generalized DEL-sequents
G Aucher, B Maubert, F Schwarzentruber
European Workshop on Logics in Artificial Intelligence, 54-66, 2012
182012
From DEL to EDL: Exploring the power of converse events
G Aucher, A Herzig
European Conference on Symbolic and Quantitative Approaches to Reasoning and …, 2007
182007
Principles of knowledge, belief and conditional belief
G Aucher
Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics …, 2014
172014
The system can't perform the operation now. Try again later.
Articles 1–20