Frederic Maris
Frederic Maris
Associate Professor of Computer Science, University of Toulouse
Verified email at irit.fr - Homepage
Title
Cited by
Cited by
Year
A Simple Account of Multi-Agent Epistemic Planning.
MC Cooper, A Herzig, F Maffre, F Maris, P Régnier
ECAI, 193-201, 2016
322016
Tlp-gp: New results on temporally-expressive planning benchmarks
F Maris, P Régnier
2008 20th IEEE International Conference on Tools with Artificial …, 2008
312008
TLP-GP: Solving temporally-expressive planning problems
F Maris, P Régnier
2008 15th International Symposium on Temporal Representation and Reasoning …, 2008
262008
Managing temporal cycles in planning problems requiring concurrency
MC Cooper, F Maris, P Régnier
Computational Intelligence 29 (1), 111-128, 2013
192013
Simple epistemic planning: generalised gossiping
MC Cooper, A Herzig, F Maffre, F Maris, P Régnier
arXiv preprint arXiv:1606.03244, 2016
152016
Monotone temporal planning: Tractability, extensions and applications
M Cooper, F Maris, P Régnier
Journal of Artificial Intelligence Research 50, 447-485, 2014
122014
The epistemic gossip problem
MC Cooper, A Herzig, F Maffre, F Maris, P Régnier
Discrete Mathematics 342 (3), 654-663, 2019
92019
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
82010
Solving temporally-cyclic planning problems
MC Cooper, F Maris, P Régnier
2010 17th International Symposium on Temporal Representation and Reasoning …, 2010
82010
SMT spatio-temporal planning
L Belouaer, F Maris
ICAPS 2012 Workshop Constraint Satisfaction Techn. Planning Scheduling …, 2010
82010
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
72010
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
72010
Dynamic logic of parallel propositional assignments and its applications to planning.
A Herzig, F Maris, J Vianey
IJCAI, 5576-5582, 2019
52019
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
52018
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
52015
Temporal epistemic gossip problems
MC Cooper, A Herzig, F Maris, J Vianey
European Conference on Multi-Agent Systems, 1-14, 2018
42018
Relaxation of Temporal Planning Problems
M Cooper, F Maris, P Régnier
2013 20th International Symposium on Temporal Representation and Reasoning …, 2013
32013
Tractable monotone temporal planning
M Cooper, F Maris, P Régnier
Proceedings of the International Conference on Automated Planning and …, 2012
32012
Planification SAT et Planification Temporellement Expressive. Les Systèmes TSP et TLP-GP.
F Maris
Université Paul Sabatier-Toulouse III, 2009
32009
Planification SAT et Planification Temporellement Expressive. Les Systèmes TSP et TLP-GP.
F Maris
Université Paul Sabatier-Toulouse III, 2009
32009
The system can't perform the operation now. Try again later.
Articles 1–20