| On the decidability of a fragment of preferential LTL A Chafik, F Cheikh-Alili, JF Condotta, I Varzinczak International Symposium on Temporal Representation and Reasoning (TIME), 19 …, 2019 | 10 | 2019 |
| 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 | 8 | 2021 |
| Defeasible linear temporal logic A Chafik, F Cheikh-Alili, JF Condotta, I Varzinczak Journal of Applied Non-Classical Logics 33 (1), 1-51, 2023 | 7 | 2023 |
| Defeasible temporal logics for the specification and verification of exception-tolerant systems A Chafik Université d'Artois, 2022 | 4 | 2022 |
| Impact of Weight Functions on Preferred Abductive Explanations for Decision Trees. L Bounia, M Goliot, A Chafik ICCBR Workshops, 158-171, 2023 | 2 | 2023 |
