关注
chafik anasse
chafik anasse
PhD, Artois University
在 cril.fr 的电子邮件经过验证
标题
引用次数
引用次数
年份
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