A Simple Account of Multi-Agent Epistemic Planning. MC Cooper, A Herzig, F Maffre, F Maris, P Régnier ECAI, 193-201, 2016 | 40 | 2016 |
Tlp-gp: New results on temporally-expressive planning benchmarks F Maris, P Régnier 2008 20th IEEE International Conference on Tools with Artificial …, 2008 | 36 | 2008 |
TLP-GP: Solving temporally-expressive planning problems F Maris, P Régnier 2008 15th International Symposium on Temporal Representation and Reasoning …, 2008 | 26 | 2008 |
Managing temporal cycles in planning problems requiring concurrency MC Cooper, F Maris, P Régnier Computational Intelligence 29 (1), 111-128, 2013 | 20 | 2013 |
Simple epistemic planning: generalised gossiping MC Cooper, A Herzig, F Maffre, F Maris, P Régnier arXiv preprint arXiv:1606.03244, 2016 | 19 | 2016 |
Monotone temporal planning: Tractability, extensions and applications M Cooper, F Maris, P Régnier Journal of Artificial Intelligence Research 50, 447-485, 2014 | 15 | 2014 |
The epistemic gossip problem MC Cooper, A Herzig, F Maffre, F Maris, P Régnier Discrete Mathematics 342 (3), 654-663, 2019 | 13 | 2019 |
Dynamic logic of parallel propositional assignments and its applications to planning. A Herzig, F Maris, J Vianey IJCAI, 5576-5582, 2019 | 11 | 2019 |
Compilation of a high-level temporal planning language into PDDL 2.1 MC Cooper, F Maris, P Régnier 2010 22nd IEEE International Conference on Tools with Artificial …, 2010 | 10 | 2010 |
SMT spatio-temporal planning L Belouaer, F Maris ICAPS 2012 Workshop Constraint Satisfaction Techn. Planning Scheduling …, 2010 | 8 | 2010 |
Compact tree encodings for planning as QBF O Gasquet, D Longin, F Maris, P Régnier, M Valais Inteligencia Artificial (Ibero-American Journal of Artificial Intelligence …, 2018 | 7 | 2018 |
Solving temporally-cyclic planning problems MC Cooper, F Maris, P Régnier 2010 17th International Symposium on Temporal Representation and Reasoning …, 2010 | 7 | 2010 |
TLP-GP: Un planificateur pour la résolution de problèmes temporellement expressifs F Maris, P Régnier Revue d’Intelligence Artificielle 24 (4), 445-464, 2010 | 7 | 2010 |
TLP-GP: Un planificateur pour la résolution de problèmes temporellement expressifs F Maris, P Régnier Revue d’Intelligence Artificielle 24 (4), 445-464, 2010 | 7 | 2010 |
A lightweight epistemic logic and its application to planning MC Cooper, A Herzig, F Maffre, F Maris, E Perrotin, P Régnier Artificial Intelligence 298, 103437, 2021 | 6 | 2021 |
Temporal epistemic gossip problems MC Cooper, A Herzig, F Maris, J Vianey European Conference on Multi-Agent Systems, 1-14, 2018 | 6 | 2018 |
Twist your logic with TouIST KSB Slimane, A Comte, O Gasquet, A Heba, O Lezaud, F Maris, M Valais arXiv preprint arXiv:1507.03663, 2015 | 6 | 2015 |
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 | 4 | 2020 |
Tractable monotone temporal planning M Cooper, F Maris, P Régnier Proceedings of the International Conference on Automated Planning and …, 2012 | 4 | 2012 |
A Simple Framework for Cognitive Planning JLF Davila, D Longin, E Lorini, F Maris 35th AAAI Conference on Artificial Intelligence (AAAI 2021), 2021 | 3 | 2021 |