Anasse Chafik

According to our database, Anasse Chafik authored at least 5 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Defeasible linear temporal logic.

Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak

J. Appl. Non Class. Logics, January, 2023

Impact of Weight Functions on Preferred Abductive Explanations for Decision Trees.

Louenas Bounia, Matthieu Goliot, Anasse Chafik

Proceedings of the Workshops at the 31st International Conference on Case-Based Reasoning (ICCBR-WS 2023) co-located with the 31st International Conference on Case-Based Reasoning (ICCBR 2023), 2023

2022

Defeasible temporal logics for the specification and verification of exception-tolerant systems. (Defeasible temporal logics pour la spécification et la vérifications des systèmes tolérants aux exceptions).

Anasse Chafik

PhD thesis, 2022

2021

A One-Pass Tree-Shaped Tableau for Defeasible LTL.

Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak

Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021

2020

On the Decidability of a Fragment of preferential LTL.

Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak

Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020