On Trustworthy Rule-Based Models and Explanations

Mohamed Siala, Jordi Planes, Joao Marques-Silva
ECML PKDD'25 European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
Published version   Preprint
Trustworthy Machine Learning Explainability Formal Methods Interpretability Boolean Satisfiability

Taming the Triangle: On the Interplays between Fairness, Interpretability and Privacy in Machine Learning

Ulrich Aïvodj, Julien Ferry, Sébastien Gambs, Marie-José Huguet and Mohamed Siala
Computational Intelligence Published version   Preprint
Trustworthy Machine Learning Privacy Fairness Interpretability Explainability

Probabilistic Dataset Reconstruction from Interpretable Models

Ulrich Aïvodj, Julien Ferry, Sébastien Gambs, Marie-José Huguet and Mohamed Siala
SatML'24 IEEE Conference on Secure and Trustworthy Machine Learning
Published version   Preprint
Trustworthy Machine Learning Privacy Interpretability

Exploiting Fairness to Enhance Sensitive Attributes Reconstruction

Ulrich Aïvodj, Julien Ferry, Sébastien Gambs, Marie-José Huguet and Mohamed Siala
SatML'23 IEEE Conference on Secure and Trustworthy Machine Learning
Published version   Preprint   Source code
Trustworthy Machine Learning Privacy Fairness Interpretability Constraint Programming

Improving Fairness Generalization Through a Sample-Robust Optimization Method

Ulrich Aïvodj, Julien Ferry, Sébastien Gambs, Marie-José Huguet and Mohamed Siala
Machine Learning
Published version   Preprint   Source code   Video
Trustworthy Machine Learning Fairness Operations Research

Optimizing Binary Decision Diagrams with MaxSAT for classification

Hao Hu, Marie-José Huguet, and Mohamed Siala
AAAI'22 Thirty-Sixth AAAI Conference on Artificial Intelligence
Published version   Preprint   Source code
Trustworthy Machine Learning Boolean Satisfiability Interpretability

Leveraging Integer Linear Programming to Learn Optimal Fair Rule Lists

Ulrich Aïvodj, Julien Ferry, Sébastien Gambs, Marie-José Huguet and Mohamed Siala
CPAIOR'22 19th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Los Angeles, California USA.
Published version   Preprint   Source code   PyPI project
Trustworthy Machine Learning Fairness Interpretability Operations Research

FairCORELS, an Open-Source Library for Learning Fair Rule Lists

Ulrich Aïvodj, Julien Ferry, Sébastien Gambs, Marie-José Huguet and Mohamed Siala

CIKM'21 ACM International Conference on Information and Knowledge Management

Published version   Preprint   Source code
Constraint Programming Trustworthy Machine Learning Fairness Interpretability

Learning Optimal Decision Trees with MaxSAT and its Integration in AdaBoost

Hao Hu, Mohamed Siala, Emmanuel Hebrard, Marie-José Huguet
IJCAI'20 International Joint Conference on Artificial Intelligence, July 2020, Yokohama, Japan
Published version   Source code
Trustworthy Machine Learning Boolean Satisfiability Interpretability

Towards Formal Fairness in Machine Learning

Alexey Ignatiev, Martin Cooper, Mohamed Siala, Emmanuel Hebrard and Joao Marques-Silva
CP'20 , International Conference on Principles and Practice of Constraint Programming, September 2020, Louvain-la-Neuve, Belgium
Published version   Preprint
Trustworthy Machine Learning Formal Methods Fairness Boolean Satisfiability

Assigning and Scheduling Service Visits in a Mixed Urban/Rural Setting

Mark Antunes, Vincent Armant, Kenneth N. Brown, Daniel Desmond, Guillaume Escamocher, Anne-Marie George, Diarmuid Grimes, Mike O’Kee, Yiqing Lin, Barry O’Sullivan, Cemalettin Ozturk, Luis Quesada, Mohamed Siala, Helmut Simonis, and Nic Wilson

International Journal on Artificial Intelligence Tools
Published version
Combinatorial Optimisation Matching Under Preferences Operations Research

An Approach to Robustness in the Stable Roommates Problem and its Comparison with the Stable Marriage Problem

Begum Genc, Mohamed Siala, Barry O'Sullivan, Gilles Simonin

CPAIOR'19 International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, June 2019, Thessaloniki, Greece
Published version   Preprint
Constraint Programming Matching Under Preferences

Complexity Study for the Robust Stable Marriage Problem

Begum Genc, Mohamed Siala, Gilles Simonin, and Barry O'Sullivan

Theoretical Computer Science. Volume 775, 5 July 2019, Pages 76-92
Published version   Preprint
Matching Under Preferences

Combinatorial Search from an Energy Perspective

Mohamed Siala, and Barry O'Sullivan

Information Processing Letters. Volume 148, August 2019, Pages 23-27
Published version   Preprint
Combinatorial Optimisation

From Backdoor Key to Backdoor Completability: Improving a Known Measure of Hardness for the Satisfiable CSP

Guillaume Escamocher, Mohamed Siala, Barry O'Sullivan
CPAIOR'18 June 2018, Delft, The Netherlands.
Published version Preprint
Constraint Programming

Assigning and Scheduling Service Visits in a Mixed Urban/Rural Setting

Mark Antunes, Vincent Armant, Ken Brown, Daniel Desmond, Guillaume Escamocher, Anne-Marie George, Diarmuid Grimes, Mike O’Keeffe, Yiqing Lin, Barry O’Sullivan, Cemalettin Ozturk, Luis Quesada, Mohamed Siala, Helmut Simonis, and Nic Wilson
ICTAI'18 November 2018, Volos, Greece.
Published version Preprint
Combinatorial Optimisation Matching Under Preferences Operations Research

Finding Robust Solutions to Stable Marriage

Begum Genc, Mohamed Siala, Barry O'Sullivan, Gilles Simonin
IJCAI'17, August 2017, Melbourne, Australia
Published version Preprint
Constraint Programming Matching Under Preferences

Rotation-Based Formulation for Stable Matching

Mohamed Siala and Barry O'Sullivan
CP'17, August 2017, Melbourne, Australia
Published version Preprint
Constraint Programming Boolean Satisfiability Matching Under Preferences

Explanation-Based Weighted Degree

Emmanuel Hebrard and Mohamed Siala
CPAIOR'17 June 2017, Padova, Italy
Published version Preprint
Constraint Programming

On the Complexity of Robust Stable Marriage

Begum Genc, Mohamed Siala, Gilles Simonin, Barry O'Sullivan
COCOA'17, December 2017, Shanghai, China
Published version Preprint
Matching Under Preferences

New Models for Two Variants of Popular Matching

Danuta Sorina Chisca, Mohamed Siala, Gilles Simonin, and Barry O'Sullivan
ICTAI'17,November 2017, Boston, Massachussets, USA
Published version Preprint
Constraint Programming Matching Under Preferences

Three Generalizations of the Focus Constraint

Nina Narodytska, Thierry Petit, Mohamed Siala, and Toby Walsh
Constraints. October 2016, Volume 21, Issue 4, pp 495 – 532
Published version Preprint
Constraint Programming Scheduling

Revisiting Two-Sided Stability Constraints

Mohamed Siala and Barry O'Sullivan
CPAIOR'16, May 2016, Banff, Canada
Published version Preprint
Constraint Programming Matching Under Preferences

A Study of Constraint Programming Heuristics for the Car-Sequencing Problem

Mohamed Siala, Emmanuel Hebrard and Marie-José Huguet
Engineering Applications of Artificial Intelligence. February 2015, Volume 38, Pages 34 – 44
Published version Preprint Detailed results
Constraint Programming Sequencing

Two Clause Learning Approaches for Disjunctive Scheduling

Mohamed Siala, Christian Artigues, and Emmanuel Hebrard
CP'15, September 2015, Cork, Ireland
Published version Preprint Source Code Detailed results
Constraint Programming Boolean Satisfiability Scheduling

An Optimal Arc Consistency Algorithm for a Particular Case of Sequence Constraint

Mohamed Siala, Emmanuel Hebrard, and Marie-José Huguet
Constraints. January 2014, Volume 19, Issue 1, pp 30 – 56
Published version Preprint
Constraint Programming Sequencing

SAT and Hybrid Models of the Car-Sequencing problem

Christian Artigues, Emmanuel Hebrard, Valentin Mayer-Eichberger, Mohamed Siala, and Toby Walsh
CPAIOR'14, May 2014, Cork, Ireland
Published version Preprint
Constraint Programming Boolean Satisfiability Sequencing

Three generalizations of the Focus constraint

Nina Narodytska, Thierry Petit, Mohamed Siala, and Toby Walsh
IJCAI'13, August 2013, Beijing, China
Published version Preprint
Constraint Programming Scheduling

An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with Cardinality.

Mohamed Siala, Emmanuel Hebrard, and Marie-José Huguet
CP'12, October 2012, Quebec, Canada
Published version Preprint
Constraint Programming Sequencing