Publications

International journals

2023 Anasse Chafik, Fahima Cheikh-Alili, Jean-François Condotta, Ivan Varzinczak, Defeasible linear temporal logic in Journal of Applied Non-Classical Logics,pp. 1-51, 2023.

2008 Daniela Berardi, Fahima Cheikh-Alili, Giuseppe de Giacomo, Fabio Patrizi, Automatic Service Composition Via SimulationUTOMATIC in International Journal of Foundations of Computer Science,vol. 19, n° 2, pp. 429-451, 2008.

International conferences

2023 Ryma Boumazouza, Fahima Cheikh-Alili, Bertrand Mazure, Karim Tabia, Symbolic Explanations for Multi-Label Classification in 15th International Conference on Agents and Artificial Intelligence,SCITEPRESS - Science and Technology Publications, vol. 3, pp. 342-349, 2023.

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.

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.

2019 Ivan Varzinczak, Fahima Cheikh-Alili, Jean-François Condotta, Anasse Chafik, On the Decidability of a Fragment of preferential LTL in International Symposium on Temporal Representation and Reasoning (TIME),pp. 19:1--19:19, 2019.

National conferences

2021 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 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.

Technical reports

2010 Philippe Balbiani, Fahima Cheikh-Alili, Computational Analysis of Interacting Web Services: a Logical Approach 2010.