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
332016
Tlp-gp: New results on temporally-expressive planning benchmarks
F Maris, P Régnier
2008 20th IEEE International Conference on Tools with Artificial …, 2008
302008
TLP-GP: Solving temporally-expressive planning problems
F Maris, P Régnier
2008 15th International Symposium on Temporal Representation and Reasoning …, 2008
252008
Managing temporal cycles in planning problems requiring concurrency
MC Cooper, F Maris, P Régnier
Computational Intelligence 29 (1), 111-128, 2013
202013
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
112014
Compilation of a high-level temporal planning language into PDDL 2.1
MC Cooper, F Maris, P Regnier
2010 22nd IEEE International Conference on Tools with Artificial …, 2010
82010
SMT spatio-temporal planning
L Belouaer, F Maris
ICAPS 2012 Workshop Constraint Satisfaction Techn. Planning Scheduling …, 2010
82010
The epistemic gossip problem
MC Cooper, A Herzig, F Maffre, F Maris, P Régnier
Discrete Mathematics 342 (3), 654-663, 2019
72019
Solving temporally-cyclic planning problems
MC Cooper, F Maris, P Regnier
2010 17th International Symposium on Temporal Representation and Reasoning …, 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
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
Compact tree encodings for planning as QBF
O Gasquet, D Longin, F Maris, P Régnier, M Valais
AAAI Press, 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
Dynamic logic of parallel propositional assignments and its applications to planning.
A Herzig, F Maris, J Vianey
IJCAI, 5576-5582, 2019
42019
Temporal epistemic gossip problems
MC Cooper, A Herzig, F Maris, J Vianey
European Conference on Multi-Agent Systems, 1-14, 2018
32018
Planification SAT et Planification Temporellement Expressive. Les Systèmes TSP et TLP-GP.
F Maris
32009
Planification SAT et Planification Temporellement Expressive. Les Systèmes TSP et TLP-GP.
F Maris
32009
Planification SAT: Amélioration des codages, automatisation de la traduction et étude comparative
F Maris, P Régnier, V Vidal
Rapport technique IRIT, 2002
32002
Temporal Constraint Satisfaction Problems and Difference Decision Diagrams: A Compilation Map
H Fargier, F Maris, V Roger
2015 IEEE 27th International Conference on Tools with Artificial …, 2015
22015
The system can't perform the operation now. Try again later.
Articles 1–20