Learning Interpretable Circuits
Chi Tran Nguyen Duong CRIL
Fouille de données par contraintes
Abdelhamid Boudane  13/09/2018 Autre
Raisonnement sur les ontologies
Abdelmoutia Telli  13/05/2018 Autre
SAT en Parallèle
Nicolas Szczepanski  12/12/2017 Artois, Région HdF
Les logiques DL-Lite quantitatives
Khaoula Boutouhami  03/12/2017 Autre
Graphes et contraintes
Mouny Samy Modeliar  22/03/2017 
Autour de la décision possibiliste qualitative
Ismahane Sid-Amar  20/09/2015 
Réseaux de neurones et treillis de galois
Norbert Tsopze  28/12/2010 
Fusion de réseaux causaux possibilistes
Faiza Titouna  20/01/2009 
Promenade au-delà de NP
Jean-Marie Lagniez  11/12/2019
Résolution de problèmes autour de SAT
Gilles Audemard  29/11/2010
Raisonnement & Incohérence
Sébastien Konieczny  03/03/2010