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, 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.