activity
20202026
most citedOpening the Software Engineering Toolbox for the Assessment of Trustworthy AI

6 citations · 7 across the 5 of their papers we have counts for

collaborators

6 papers

cs.AI2026

Optimizing Earth Observation Satellite Schedules under Unknown Operational Constraints: An Active Constraint Acquisition Approach

Mohamed-Bachir Belaid

Earth Observation (EO) satellite scheduling (deciding which imaging tasks to perform and when) is a well-studied combinatorial optimization problem. Existing methods typically assu…

cs.AI2023★ 1 cited

Generalized Convergence Analysis of Tsetlin Machines: A Probabilistic Approach to Concept Learning

Mohamed-Bachir Belaid, Jivitesh Sharma, Lei Jiao +3

Tsetlin Machines (TMs) have garnered increasing interest for their ability to learn concepts via propositional formulas and their proven efficiency across various application domai…

cs.AI2021

Solve Optimization Problems with Unknown Constraint Networks

Mohamed-Bachir Belaid, Arnaud Gotlieb, Nadjib Lazaar

In most optimization problems, users have a clear understanding of the function to optimize (e.g., minimize the makespan for scheduling problems). However, the constraints may be d…

cs.AI2021

Frequent Itemset Mining with Multiple Minimum Supports: a Constraint-based Approach

Mohamed-Bachir Belaid, Nadjib Lazaar

The problem of discovering frequent itemsets including rare ones has received a great deal of attention. The mining process needs to be flexible enough to extract frequent and rare…

cs.DB2020

Computational Complexity of Three Central Problems in Itemset Mining

Christian Bessiere, Mohamed-Bachir Belaid, Nadjib Lazaar

Itemset mining is one of the most studied tasks in knowledge discovery. In this paper we analyze the computational complexity of three central itemset mining problems. We prove tha…

cs.SE2020★ 6 cited

Opening the Software Engineering Toolbox for the Assessment of Trustworthy AI

Mohit Kumar Ahuja, Mohamed-Bachir Belaid, Pierre Bernabé +7

Trustworthiness is a central requirement for the acceptance and success of human-centered artificial intelligence (AI). To deem an AI system as trustworthy, it is crucial to assess…