Prati
chafik anasse
chafik anasse
PhD, Artois University
Potvrđena adresa e-pošte na cril.fr
Naslov
Citirano
Citirano
Godina
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
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–6