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 |
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 |
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 |
Defeasible temporal logics for the specification and verification of exception-tolerant systems A Chafik Université d'Artois, 2022 | 1 | 2022 |
Impact of Weight Functions on Preferred Abductive Explanations for Decision Trees L Bounia, M Goliot, A Chafik | | 2023 |
Defeasible Temporal Logic pour la spécification et la vérification des systèmes tolérants aux exceptions. A Chafik | | 2022 |
On the Decidability of a Fragment of preferential LTL I Varzinczak, F Cheikh-Alili, JF Condotta, A Chafik International Symposium on Temporal Representation and Reasoning (TIME), 19 …, 2019 | | 2019 |