Constraints-based Data Mining
Abdelhamid Boudane  9/13/18 
Reasoning from ontologies
Abdelmoutia Telli  5/13/18 Other
Parallel SAT solving
Nicolas Szczepanski  12/12/17 Artois, Région HdF
Qualitative DL-Lite logics
Khaoula Boutouhami  12/3/17 Other
Extensions of Tractable Classes for Propositional Satisfiability
Al-Saedi Mohammad Saleh Balasim  11/14/16 
Beyond NP
Jean-Marie Lagniez  12/11/19
Defeasible Description Logics
Ivan Varzinczak  11/26/19
Problem solving around SAT
Gilles Audemard  11/29/10
Reasoning & Inconsistency
Sébastien Konieczny  3/3/10
SAT and beyond - Models and Algorithms
Bertrand Mazure  1/29/10