Aucher, Guillaume

4 publications

JAIR 2025 From Knowledge to Action: Logics of Permitted and Obligatory Announcements Xu Li, Guillaume Aucher, Dov M. Gabbay, Réka Markovich

IJCAI 2015 Multi-Agent Only Knowing on Planet Kripke Guillaume Aucher, Vaishak Belle

IJCAI 2013 An Alternative Axiomatization of DEL and Its Applications Yanjing Wang, Guillaume Aucher

IJCAI 2013 Undecidability in Epistemic Planning Guillaume Aucher, Thomas Bolander