Frederic Maris

14 papers A* 1A 1B 1C 3Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2018 J jnl
Compact Tree Encodings for Planning as QBF.
Inteligencia Artif.
Olivier Gasquet, Dominique Longin, Frederic Maris, Pierre Régnier, Maël Valais
2015 B conf
Temporal Constraint Satisfaction Problems and Difference Decision Diagrams: A Compilation Map.
ICTAI
Hélène Fargier, Frederic Maris, Vincent Roger
2015 J jnl
Twist your logic with TouIST.
CoRR
Khaled Skander Ben Slimane, Alexis Comte, Olivier Gasquet, Abdelwahab Heba, Olivier Lezaud, Frederic Maris, Maël Valais
2014 A conf
Monotone Temporal Planning: Tractability, Extensions and Applications - (Extended Abstract).
CP
Martin C. Cooper, Frederic Maris, Pierre Régnier
2014 J jnl
Monotone Temporal Planning: Tractability, Extensions and Applications.
J. Artif. Intell. Res.
Martin C. Cooper, Frederic Maris, Pierre Régnier
2013 J jnl
Managing Temporal cycles in Planning Problems Requiring Concurrency.
Comput. Intell.
Martin C. Cooper, Frederic Maris, Pierre Régnier
2013 C conf
Relaxation of Temporal Planning Problems.
TIME
Martin C. Cooper, Frederic Maris, Pierre Régnier
2012 A* conf
Tractable Monotone Temporal Planning.
ICAPS
Martin C. Cooper, Frederic Maris, Pierre Régnier
2010 — conf
Compilation of a High-level Temporal Planning Language into PDDL 2.1.
ICTAI (2)
Martin C. Cooper, Frederic Maris, Pierre Régnier
2010 J jnl
Planification temporellement expressive TLP-GP, un planificateur pour la résolution de problèmes temporellement expressifs.
Rev. d'Intelligence Artif.
Frederic Maris, Pierre Régnier
2010 C conf
Solving Temporally-Cyclic Planning Problems.
TIME
Martin C. Cooper, Frederic Maris, Pierre Régnier
2009 — —
Planification SAT et Planification Temporellement Expressive. Les Systèmes TSP et TLP-GP. (SAT Planning and Temporally Expressive Planning. The TSP and TLP-GP systems).
Frederic Maris
2008 — conf
TLP-GP: New Results on Temporally-Expressive Planning Benchmarks.
ICTAI (1)
Frederic Maris, Pierre Régnier
2008 C conf
TLP-GP: Solving Temporally-Expressive Planning Problems.
TIME
Frederic Maris, Pierre Régnier