Search - IRIT - Institut de Recherche en Informatique de Toulouse Access content directly

Filter your results

6 Results
authFullName_s : Julien Vianey
Image document

Lightweight Parallel Multi-Agent Epistemic Planning

Martin Cooper , Andreas Herzig , Frédéric Maris , Elise Perrotin , Julien Vianey
17th International Conference on Principles of Knowledge Representation and Reasoning - KR 2020, Sep 2020, Rhodes, Greece
Conference papers hal-03015803v1

Simple Epistemic SAT Planning

Julien Vianey
3èmes Journées sur la planification MultiAgent, Flexible, Temporelle, Epistémique et Contingente (MAFTEC 2017), GDR IA sur les Aspects Formels et Algorithmiques de l'Intelligence Artificielle, initiative INS2I et CNRS, Nov 2017, Lille, France
Conference papers hal-03120298v1

Dynamic logic of parallel propositional assignments and its applications to planning

Andreas Herzig , Frédéric Maris , Julien Vianey
Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}, Aug 2019, Macao, China. pp.5576-5582, ⟨10.24963/ijcai.2019/774⟩
Conference papers hal-02865935v1
Image document

Temporal Epistemic Gossip Problems

Martin Cooper , Andreas Herzig , Frédéric Maris , Julien Vianey
16th European Conference on Multi-Agent Systems (EUMAS 2018), Dec 2018, Bergen, Norway. pp.1-14
Conference papers hal-02378391v1
Image document

Codage SMT dans un espace de plans (liens causaux) pour la planification temporelle en temps continu

Frédéric Maris , Maël Valais , Julien Vianey
Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA @ PFIA 2018), LORIA : Laboratoire lorrain de Recherche en Informatique et ses Applications, France; AFIA : Association française pour l'intelligence artificielle, France, Jul 2018, Nancy, France
Conference papers hal-01840825v1
Image document

Reasoning about concurrent actions and its applications to epistemic and temporal planning

Julien Vianey
Networking and Internet Architecture [cs.NI]. Université Paul Sabatier - Toulouse III, 2020. English. ⟨NNT : 2020TOU30317⟩
Theses tel-03533234v1