Dynamic logic of parallel propositional assignments and its applications to planning A Herzig, F Maris, J Vianey Dans/In: International Joint Conference on Artificial Intelligence (IJCAI …, 2019 | 13 | 2019 |
Temporal Epistemic Gossip Problems MC Cooper, A Herzig, F Maris, J Vianey European Conference on Multi-Agent Systems, 1-14, 2018 | 9 | 2018 |
Lightweight Parallel Multi-Agent Epistemic Planning M Cooper, A Herzig, F Maris, E Perrotin, J Vianey 17th International Conference on Principles of Knowledge Representation and …, 2020 | 6 | 2020 |
Raisonnement avec des actions concurrentes et ses applications à la planification épistémique et temporelle J Vianey Université de Toulouse, Université Toulouse III-Paul Sabatier, 2020 | | 2020 |
Codage SMT dans un espace de plans (liens causaux) pour la planification temporelle en temps continu F Maris, M Valais, J Vianey Journées Francophones sur la Planification, la Décision et l'Apprentissage …, 2018 | | 2018 |
Simple Epistemic SAT Planning J Vianey 3èmes Journées sur la planification MultiAgent, Flexible, Temporelle …, 2017 | | 2017 |