Author of the publication

Composition of Services with Constraints.

, , , and . FACS@FMWeek, volume 263 of Electronic Notes in Theoretical Computer Science, page 31-46. Elsevier, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Composition of Services with Constraints., , , and . FACS@FMWeek, volume 263 of Electronic Notes in Theoretical Computer Science, page 31-46. Elsevier, (2009)Defeasible linear temporal logic., , , and . J. Appl. Non Class. Logics, 33 (1): 1-51 (January 2023)A One-Pass Tree-Shaped Tableau for Defeasible LTL., , , and . TIME, volume 206 of LIPIcs, page 16:1-16:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)A Symbolic Approach for Counterfactual Explanations., , , and . SUM, volume 12322 of Lecture Notes in Computer Science, page 270-277. Springer, (2020)ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations., , , and . CoRR, (2022)ASTERYX: A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations., , , and . CIKM, page 120-129. ACM, (2021)On the Decidability of a Fragment of preferential LTL., , , and . TIME, volume 178 of LIPIcs, page 19:1-19:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Symbolic Explanations for Multi-Label Classification., , , and . ICAART (3), page 342-349. SCITEPRESS, (2023)Composition de services: algorithmes et complexité. (Composition of services: algorithmes and complexity).. Paul Sabatier University, Toulouse, France, (2009)A Symbolic Approach for Counterfactual Explanations., , , and . CoRR, (2022)