Maël Valais

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 2

Top Topics

Case Based Planning

Defeasible Logic

Classical Planning

Top Venues

Inteligencia Artif.

Publications

Olivier Gasquet, Dominique Longin, Frederic Maris, Pierre Régnier, Maël Valais
Compact Tree Encodings for Planning as QBF. Inteligencia Artif. 21 (62) (2018)
Frédéric Maris, Maël Valais, Julien Vianey
Codage SMT dans un espace de plans (liens causaux) pour la planification temporelle en temps continu. JFPDA (2018)
Khaled Skander Ben Slimane, Alexis Comte, Olivier Gasquet, Abdelwahab Heba, Olivier Lezaud, Frederic Maris, Maël Valais
Twist your logic with TouIST. CoRR (2015)