Guillaume Aucher and Irisa - Free people check

(1 - 12 from 12

)

Guillaume Aucher (IRISA/INRIA): DEL-sequents for progression,...

projects.illc.uva.nl

For more information, see http://www.illc.uva.nl/lgc/seminar

Publications of Guillaume Aucher - Irisa/INRIA Rennes

www.irisa.fr

› distribcom › Publications › Author

Modal logics of sabotage revisited - Oxford Academic

academic.oup.com

by G Aucher · · Cited by 50 — Guillaume Aucher · Guillaume Aucher. Univ Rennes, CNRS, IRISA, Avenue du Général Leclerc, Rennes Cédex, France ; Johan van Benthem · Johan van Benthem. ILLC, ... › logcom › article-abstract

On the Complexity of Dynamic Epistemic Logic ∗ - TARK ...

tark.org

by G Aucher · · Cited by 56 — Guillaume Aucher. University of Rennes 1 - INRIA . François Schwarzentruber. ENS Cachan - Brittany extension. › tark_jan7_13 › p19-aucher

Undecidability in Epistemic Planning - DTU

backend.orbit.dtu.dk

by G Aucher · Cited by 92 — Undecidability in Epistemic Planning. Guillaume Aucher. IRISA. University of Rennes 1 - INRIA. Rennes, France . Thomas Bolander. › files › IJCAI

When Conditional Logic and Belief Revision Meet CEUR-WS

ceur-ws.org

by G Aucher · Cited by 6 — Guillaume Aucher. University of Rennes 1. INRIA. Rennes, France . Abstract. Two threads of research have been pursued in par-. › Vol › DARe-15_1

Conditional Logics and Conditional Reasoning - Schloss ...

www.dagstuhl.de

Conditional Logics and Conditional Reasoning: New Joint Perspectives. Organizers. Guillaume Aucher (University of Rennes 1 & IRISA Rennes, FR) › program › calendar › semhp

Homepage of Guillaume Aucher - Irisa

www.irisa.fr

› prive › Guillaume.Aucher

Towards Universal Logic: Groups and Patterns in Logics

irmar.univ-rennes1.fr

Diffusion · Offres d'emploi · Partenaires · Géométrie et singularités. Guillaume Aucher. Irisa / Irmar. https://www.irisa.fr/prive/Guillaume.Aucher › evenements › towards-u...

LIRa+LogiCIC Session: Guillaume Aucher – Logic and Interactive...

projects.illc.uva.nl

On September 27, Guillaume Aucher will give a LIRa/LogiCIC talk. Everyone is cordially invited! Speaker: Guillaume Aucher (IRISA/INRIA)

Guillaume Aucher

easychair.org

Guillaume Aucher. Organization: University of Rennes 1/INRIA. Web site: http:// www.irisa.fr/prive/gaucher/. Pages in this Program. KR on Tuesday, July 22nd.

Bastien Maubert's home page

www.bastien-maubert.fr

Bastien Maubert first name [DOT ... in the team LogicA at IRISA, under the supervision of Sophie Pinchinat and Guillaume Aucher. I was until recently a CNRS ...

All web results to the name "Guillaume Aucher"

Related search requests for Guillaume Aucher

François Schwarzentruber
Paul Sabatier
Davide Grossi

People
Forename "Guillaume" (8909)
Name "Aucher" (18)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Guillaume Aucher and Irisa Free People Check