Seguir
chafik anasse
chafik anasse
PhD, Artois University
Dirección de correo verificada de cril.fr
Título
Citado por
Citado por
Año
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
52020
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
42021
Defeasible linear temporal logic
A Chafik, F Cheikh-Alili, JF Condotta, I Varzinczak
Journal of Applied Non-Classical Logics 33 (1), 1-51, 2023
12023
Defeasible temporal logics for the specification and verification of exception-tolerant systems
A Chafik
Université d'Artois, 2022
12022
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–6