| ASTERYX: A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations R Boumazouza, F Cheikh-Alili, B Mazure, K Tabia Proceedings of the 30th ACM International Conference on Information …, 2021 | 30 | 2021 |
| A symbolic approach for counterfactual explanations R Boumazouza, F Cheikh-Alili, B Mazure, K Tabia International Conference on Scalable Uncertainty Management, 270-277, 2020 | 8 | 2020 |
| Composition of services with constraints P Balbiani, FC Alili, PC Héam, O Kouchnarenko Electronic Notes in Theoretical Computer Science 263, 31-46, 2010 | 6 | 2010 |
| On the decidability of a fragment of preferential LTL A Chafik, F Cheikh-Alili, JF Condotta, I Varzinczak 27th International Symposium on Temporal Representation and Reasoning (TIME …, 2020 | 5 | 2020 |
| Considérations relatives à la décidabilité et à la complexité du problème de la composition de services P Balbiani, FC Alili, G Feuillade 4èmes journées francophones sur les Modèles Formels d'Interactions (MFI 2007 …, 2007 | 5 | 2007 |
| A one-pass tree-shaped tableau for defeasible LTL A Chafik, F Cheikh-Alili, JF Condotta, I Varzinczak 28th International Symposium on Temporal Representation and Reasoning (TIME …, 2021 | 4 | 2021 |
| A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration R Boumazouza, F Cheikh-Alili, B Mazure, K Tabia arXiv preprint arXiv:2206.11539, 2022 | 2 | 2022 |
| Computational Analysis of Interacting Web Services: a Logical Approach P Balbiani, F Cheikh-Alili IRIT: Institut de recherche en informatique de Toulouse, 2010 | 2 | 2010 |
| Symbolic Explanations for Multi-Label Classification R Boumazouza, F Cheikh-Alili, B Mazure, K Tabia 15th International Conference on Agents and Artificial Intelligence 3, 342-349, 2023 | 1 | 2023 |
| Defeasible linear temporal logic A Chafik, F Cheikh-Alili, JF Condotta, I Varzinczak Journal of Applied Non-Classical Logics 33 (1), 1-51, 2023 | 1 | 2023 |
| Une approche uniforme de la modélisation des systèmes de protection temporisés P Balbiani, FC Alili Journées Formalisation des Activités Concurrentes (FAC 2005), 2005 | 1 | 2005 |
| Résultats de complexité pour le problème de la composition d'agents P Balbiani, FC Alili, G Feuillade 5èmes Journées francophones sur les Modèles Formels d'Interactions (MFI 2009 …, 2009 | | 2009 |
| Composition de services: algorithmes et complexité.(Composition of services: algorithmes and complexity). FC Alili Paul Sabatier University, Toulouse, France, 2009 | | 2009 |
| Security analysis in access control based on roles and views P Balbiani, FC Alili Joint Conference on Security in Network Architectures and Security of …, 2006 | | 2006 |
| A propos du probleme de la composition des services électroniques P Balbiani, FC Alili Journées Formalisation des Activités Concurrentes (FAC 2006), 2006 | | 2006 |
| Composition de services: algorithmes et complexité F Cheikh-Alili | | |
