Publications

International conferences

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.

Technical reports

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