Samuel Thomas Annuaire des anciens membres
Coordonnées
- Poste 15 80 09
- thomas@cril.univ-artois.fr
- http://www.cril.univ-artois.fr/~thomas
Diplôme en cours ou obtenu en étant au CRIL
- Thèse : Compilation de connaissances pour le comptage de modèles 2016-12-14
Axe de recherche
- Connaissances
-
Projet récent
Publications
Articles de conférences internationales
2015 Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas, Compiling Constraint Networks into Multivalued Decomposable Decision Graphs in 24th International Joint Conference on Artificial Intelligence (IJCAI'15),pp. 332-338, 2015.
2013 Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas, Knowledge Compilation for Model Counting: Affine Decision Trees in 23rd International Joint Conference on Artificial Intelligence (IJCAI'13),pp. 947-953, 2013.
Articles de conférences nationales
2015 Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas, Compilation de réseaux de contraintes en graphes de décision décomposables multivalués in 11èmes Journées Francophones de Programmation par Contraintes (JFPC'15),2015.
2013 Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas, Arbres de décision affine pour le comptage de modèles in 7èmes Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'13),2013.
-
Projet ancien
- ANR BR4CP 2012-2015