Obserwuj
chafik anasse
Tytuł
Cytowane przez
Cytowane przez
Rok
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–6