Yakoub Salhi
Docteur de l'Université de Lorraine depuis 2010, je suis actuellement Maître de Conférences en informatique à l'Université d'Artois. Je suis membre du Centre de Recherche en Informatique de Lens (CRIL). Je suis également membre du département informatique à l'IUT de Lens.
Coordonnées
Centre de Recheche en Informatique de Lens
Rue de l'Université SP-16
F-62307 Lens cedex 3, France
Tel : (+33) 3 21 79 17 77
Courriel : salhi[at]cril[dot]fr
Recherche
Mes activités de recherche concernent les domaines suivants :
- Logiques formelles et théorie de la démonstration
- Satisfiabilité propositionnelle
- Représentation des connaissances
Publications récentes
- Decomposition Based SAT Encodings for Itemset Mining Problems. S. Jabbour, L. Sais and Y. Salhi. PAKDD 2015
- On the Use and Effect of Graph Decomposition in Qualitative Reasoning. M. Sioutis, Y. Salhi and J-F. Condotta. 30th Annual ACM Symposium on Applied Computing (SAC), 2015.
- Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form. S. Jabbour, J. Marques-Silva, L. Sais and Y. Salhi. Logics in Artificial Intelligence, 14th European Conference JELIA, 2014.
- A Constructive Argumentation Framework. S. Kaci and Y.Salhi. AAAI Conference on Artificial Intelligence, 2014.