Search - Université d'Artois Access content directly

Filter your results

10 Results
authFullName_s : Fahima Cheikh-Alili

Automatic Service Composition Via SimulationUTOMATIC

Daniela Berardi , Fahima Cheikh-Alili , Giuseppe de Giacomo , Fabio Patrizi
International Journal of Foundations of Computer Science, 2008, 19 (2), pp.429-451
Journal articles hal-00801272v1

A Symbolic Approach for Counterfactual Explanations

Ryma Boumazouza , Fahima Cheikh-Alili , Bertrand Mazure , Karim Tabia
Davis, J., Tabia, K. (eds) Scalable Uncertainty Management (SUM2020), 2020, Bozen-Bolzano, Italy. pp.270-277, ⟨10.1007/978-3-030-58449-8_21⟩
Conference papers hal-04173185v1
Image document

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

Ryma Boumazouza , Fahima Cheikh-Alili , Bertrand Mazure , Karim Tabia
The 23rd International Conference on Artificial Intelligence (ICAI'21), Jul 2021, Las Vegas, United States. https://www.springer.com/series/11769
Conference papers hal-03614117v1

On the Decidability of a Fragment of preferential LTL

Ivan Varzinczak , Fahima Cheikh-Alili , Jean-François Condotta , Anasse Chafik
International Symposium on Temporal Representation and Reasoning (TIME), 2019, Malaga, Spain. pp.19:1--19:19
Conference papers hal-03300290v1

Symbolic Explanations for Multi-Label Classification

Ryma Boumazouza , Fahima Cheikh-Alili , Bertrand Mazure , Karim Tabia
15th International Conference on Agents and Artificial Intelligence, Feb 2023, Lisbon, Portugal. pp.342-349, ⟨10.5220/0011668700003393⟩
Conference papers hal-04173155v1

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

Ryma Boumazouza , Fahima Cheikh-Alili , Bertrand Mazure , Karim Tabia
CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, 2021, Virtual Event Queensland Australia, Australia. pp.120-129, ⟨10.1145/3459637.3482321⟩
Conference papers hal-04173171v1

Defeasible linear temporal logic

Anasse Chafik , Fahima Cheikh-Alili , Jean-François Condotta , Ivan Varzinczak
Journal of Applied Non-Classical Logics, In press, pp.1-51. ⟨10.1080/11663081.2023.2209494⟩
Journal articles hal-04098600v1

A One-Pass Tree-Shaped Tableau for Defeasible LTL

Anasse Chafik , Fahima Cheikh-Alili , Jean-François Condotta , Ivan Varzinczak
28th International Symposium on Temporal Representation and Reasoning (TIME 2021), Alpen-Adria-Universität Klagenfurt, Sep 2021, Klagenfurt, Austria. pp.16:1-16:18, ⟨10.4230/LIPIcs.TIME.2021.16⟩
Conference papers hal-03699248v1

Web Services Composition Problem: Model and Complexity

Fahima Cheikh-Alili
Nikola Milanovic. Engineering Reliable Service Oriented Architecture, IGI Global, pp.175-198, 2011, Advances in Web Technologies and Engineering, 978-1609604936. ⟨10.4018/978-1-60960-493-6.ch009⟩
Book sections hal-04135885v1
Image document

Computational Analysis of Interacting Web Services: a Logical Approach

Philippe Balbiani , Fahima Cheikh-Alili
[Research Report] IRIT : Institut de recherche en informatique de Toulouse. 2010, pp.1-18
Reports hal-00872818v1