Fahima Cheikh

According to our database, Fahima Cheikh authored at least 15 papers between 2005 and 2023.

Collaborative distances:

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

2023

Defeasible linear temporal logic.

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

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

Symbolic Explanations for Multi-Label Classification.

Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

2022

A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration.

Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia

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

ASTERYX: A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations.

Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia

Proceedings of the CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1, 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

A Symbolic Approach for Counterfactual Explanations.

Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia

Proceedings of the Scalable Uncertainty Management - 14th International Conference, 2020

2009

Composition de services: algorithmes et complexité. (Composition of services: algorithmes and complexity).

Fahima Cheikh Alili

PhD thesis, 2009

Controller/Orchestrator Synthesis via Filtration.

Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade

Proceedings of the 6th Workshop on Methods for Modalities, 2009

Composition of Services with Constraints.

Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

2008

Automatic Service Composition via Simulation.

Daniela Berardi, Fahima Cheikh, Giuseppe De Giacomo, Fabio Patrizi

Int. J. Found. Comput. Sci., 2008

Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition.

Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade

Proceedings of the First Interaction and Concurrency Experiences Workshop, 2008

Composition of Interactive Web Services Based on Controller Synthesis.

Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade

Proceedings of the 2008 IEEE Congress on Services, Part I, 2008

2006

Automatic web services composition in trustaware communities.

Fahima Cheikh, Giuseppe De Giacomo, Massimo Mecella

Proceedings of the 3rd ACM Workshop On Secure Web Services, 2006

2005

Safety Problems in Access Control with Temporal Constraints.

Philippe Balbiani, Fahima Cheikh

Proceedings of the Computer Network Security, 2005