Anasse Chafik View the directory of former members
Personal Data
- poste 15 80 04
- chafik@cril.fr
- http://www.cril.univ-artois.fr/~chafik/
- idHalanasse-chafik
Degree prepared or obtained while being at CRIL
- PhD thesis : Defeasible Temporal Logic for the specification and verification of exception-tolerant systems 2022-09-09
Research Axis
- Knowledge
Publications
International journals
2023 Knowledge Anasse Chafik, Fahima Cheikh-Alili, Jean-François Condotta, Ivan Varzinczak, Defeasible linear temporal logic in Journal of Applied Non-Classical Logics,vol. 33, n° 1, pp. 1-51, 2023.
International conferences
2021 Knowledge Anasse Chafik, Fahima Cheikh-Alili, Jean-François Condotta, Ivan Varzinczak, A One-Pass Tree-Shaped Tableau for Defeasible LTL in 28th International Symposium on Temporal Representation and Reasoning (TIME 2021),Schloss Dagstuhl -- Leibniz-Zentrum, pp. 16:1–16:18, 2021.
2019 Knowledge Anasse Chafik, Fahima Cheikh-Alili, Jean-François Condotta, Ivan Varzinczak, On the Decidability of a Fragment of preferential LTL in International Symposium on Temporal Representation and Reasoning (TIME),pp. 19:1--19:19, 2019.