팔로우
chafik anasse
제목
인용
인용
연도
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–6