Anasse Chafik

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 4

Top Topics

Bounded Model Checking

Top Venues

ICCBR Workshops

J. Appl. Non Class. Logics

Publications

Louenas Bounia, Matthieu Goliot, Anasse Chafik
Impact of Weight Functions on Preferred Abductive Explanations for Decision Trees. ICCBR Workshops (2023)
Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak
Defeasible linear temporal logic. J. Appl. Non Class. Logics 33 (1) (2023)
Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak
A One-Pass Tree-Shaped Tableau for Defeasible LTL. TIME (2021)
Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak
On the Decidability of a Fragment of preferential LTL. TIME (2020)