Anasse Chafik - ATER (docteur)
Coordonnées
- poste 15 80 04
- chafik@cril.fr
- http://www.cril.univ-artois.fr/~chafik/
- idHalanasse-chafik
-
- fac
UFR des Sciences Jean Perrin
Rue Jean Souvraz SP 18
62307 Lens Cedex
France
Diplôme en cours ou obtenu en étant au CRIL
Axe de recherche
- Connaissances
Publications
Articles de conférences internationales
2021 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 Ivan Varzinczak, Fahima Cheikh-Alili, Jean-François Condotta, Anasse Chafik, On the Decidability of a Fragment of preferential LTL in International Symposium on Temporal Representation and Reasoning (TIME),pp. 19:1--19:19, 2019.
Articles de revues nationales
2023 Anasse Chafik, Fahima Cheikh-Alili, Jean-François Condotta, Ivan Varzinczak, Defeasible linear temporal logic in Journal of Applied Non-Classical Logics,pp. 1-51, 2023.