On the Decidability of a Fragment of preferential LTL. - Anasse Chafik; Fahima Cheikh Alili; Jean-François Condotta; Ivan Varzinczak (TIME, 2020)

A One-Pass Tree-Shaped Tableau for Defeasible LTL. - Anasse Chafik; Fahima Cheikh Alili; Jean-François Condotta; Ivan Varzinczak (TIME, 2021)

Defeasible temporal logics for the specification and verification of exception-tolerant systems. (Defeasible temporal logics pour la spécification et la vérifications des systèmes tolérants aux exceptions). - Anasse Chafik (2022)

Impact of Weight Functions on Preferred Abductive Explanations for Decision Trees. - Louenas Bounia; Matthieu Goliot; Anasse Chafik (ICCBR Workshops, 2023)

Defeasible linear temporal logic. - Anasse Chafik; Fahima Cheikh Alili; Jean-François Condotta; Ivan Varzinczak (J. Appl. Non Class. Logics, 2023)