Publications

Articles de revues internationales

2023 Connaissances 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.

Articles de conférences internationales

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 IA explicable 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 IA explicable 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.

2021 Connaissances 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 IA explicable 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.

2020 IA explicable 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 Connaissances 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.