Concepedia

Guillaume Aucher

GA

Statistics

Publications

17

Citations

413

H-Index

12

Active since

2007

Affiliations

Université de Rennes(Current)

Université Toulouse III - Paul Sabatier

Institut de Recherche en Informatique de Toulouse

Institut de Recherche en Informatique et Systèmes Aléatoires

Institut national de recherche en sciences et technologies du numérique

Guillaume Aucher is an author at Université de Rennes specializing in epistemic logic, logic, and humanities.

Publications per year

2007–2017

17

Publications

17

Undecidability in Epistemic Planning

Guillaume Aucher, Thomas Bolander · Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU) · 2013 · 64 citations · Full text

Computing, Autonomous Systems, Formal Methods +13

Modal logics of sabotage revisited

Guillaume Aucher, Johan van Benthem, Davide Grossi · Journal of Logic and Computation · 2017 · 57 citations · Full text

Computing, Computer Science, Mathematics +15

Global and Local Graph Modifiers

Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro et al. · Electronic Notes in Theoretical Computer Science · 2009 · 43 citations · Full text

Humanities, Computer Science, Mathematics +11

On the Complexity of Dynamic Epistemic Logic

Guillaume Aucher, François Schwarzentruber · arXiv (Cornell University) · 2013 · 35 citations · Full text

Computing, Computer Science, Mathematics +17

An Internal Version of Epistemic Logic

Guillaume Aucher · Studia Logica · 2010 · 33 citations · Full text

Humanities, Philosophy, Epistemology +7

1–5 of 17