Fahima Cheikh-Alili - Maître de conférences
Coordonnées
- 03 21 79 32 74
- cheikh@cril.univ-artois.fr
- http://www.cril.univ-artois.fr/~cheikh
https://orcid.org/0000-0002-4543-625X
-
- iut
IUT de Lens
Rue de l'Université SP 16
62307 Lens Cedex
France
Axes de recherche
- Connaissances
- Données
-
Projets récents
- H2020 STARWARS 2023-2026
Publications
Articles de conférences internationales
2021 Ryma Boumazouza, Fahima Cheikh-Alili, Bertrand Mazure, Karim Tabia, A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration in The 23rd International Conference on Artificial Intelligence (ICAI'21),pp. https://www.springer.com/series/11769, 2021.
2021 Anasse Chafik, Fahima Cheikh-Alili, Jean-François Condotta, Ivan Varzinczak, A One-Pass Tree-Shaped Tableau for Defeasible LTL in 28th International Symposium on Temporal Representation and Reasoning (TIME 2021),Schloss Dagstuhl -- Leibniz-Zentrum, pp. 16:1–16:18, 2021.
Rapports techniques
2010 Philippe Balbiani, Fahima Cheikh-Alili, Computational Analysis of Interacting Web Services: a Logical Approach 2010.
Anciens doctorants
- Ryma Boumazouza : Modèles prédictifs & raisonnement avec les explications soutenue le : 2022-12-08
- Anasse Chafik : Defeasible Temporal Logic pour la spécification et la vérification des systèmes tolérants aux exceptions soutenue le : 2022-09-09
-
Projets anciens
- In Ludo Securitas 2013-2014
- Pajero 2011-2015