Fahima Cheikh-Alili - Associate professor
Personal Data
- cheikh@cril.univ-artois.fr
- http://www.cril.univ-artois.fr/~cheikh
https://orcid.org/0000-0002-4543-625X- idHalfahima-cheikh-alili
-
Recent Projects
- ANR PRCE ERARE 2025-2029
- CHIST-ERA ATLAS 2025-2028
- Horizon Europe STARWARS 2023-2026
Current PhD student
- Rim Belaiche : From AI to Propositional Logic: Conversion to SAT and Model Analysis
Publications
International journals
2023 Knowledge Anasse Chafik, Fahima Cheikh-Alili, Jean-François Condotta, Ivan Varzinczak, Defeasible linear temporal logic in Journal of Applied Non-Classical Logics,vol. 33, n° 1, pp. 1-51, 2023.
International conferences
2024 Najet Boussaa, Fahima Cheikh Alili, I. Nouaouri, Hamid Allaoui, Hospital supply chain network planning and impacts on Working Capital Requirement (WCR) in 13th International Conference on Complex Networks and their Applications,2024.
2024 Meriem Chairat, Najet Boussaa, Fahima Cheikh Alili, Lilia Rejeb, Issam Nouaouri, Hamid Allaoui, Supply Chain Optimization and Working Capital Requirement Management: literature review in International Conference on Decision Aid and Artificial Intelligence (ICODAI 2024),2024.
2023 Explainable AI Ryma Boumazouza, Fahima Cheikh-Alili, Bertrand Mazure, Karim Tabia, Symbolic Explanations for Multi-Label Classification in 15th International Conference on Agents and Artificial Intelligence (ICAART 2023),SCITEPRESS - Science and Technology Publications, vol. 3, pp. 342-349, 2023.
2021 Explainable AI 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 Knowledge 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.
2021 Explainable AI Ryma Boumazouza, Fahima Cheikh-Alili, Bertrand Mazure, Karim Tabia, ASTERYX: A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations in CIKM '21: The 30th ACM International Conference on Information and Knowledge Management,ACM, pp. 120-129, 2021.
2020 Explainable AI Ryma Boumazouza, Fahima Cheikh-Alili, Bertrand Mazure, Karim Tabia, A Symbolic Approach for Counterfactual Explanations in Davis, J., Tabia, K. (eds) Scalable Uncertainty Management (SUM2020),Springer International Publishing, vol. 12322, pp. 270-277, 2020.
2019 Knowledge Anasse Chafik, Fahima Cheikh-Alili, Jean-François Condotta, Ivan Varzinczak, On the Decidability of a Fragment of preferential LTL in International Symposium on Temporal Representation and Reasoning (TIME),pp. 19:1--19:19, 2019.
Former PhD students
- Ryma Boumazouza : Predictive models & reasoning with explanations defended on : 2022-12-08
- Anasse Chafik : Defeasible Temporal Logic for the specification and verification of exception-tolerant systems defended on : 2022-09-09
-
Old Project
- Projet Pajero (in french) 2011-2015