158 citations · 309 across the 11 of their papers we have counts for
5 papers · 1 filter
On Trustworthy Rule-Based Models and Explanations
Mohamed Siala, Jordi Planes, Joao Marques-Silva
A task of interest in machine learning (ML) is that of ascribing explanations to the predictions made by ML models. Furthermore, in domains deemed high risk, the rigor of explanati…
On Logic-Based Explainability with Partially Specified Inputs
Ramón Béjar, António Morgado, Jordi Planes +1
In the practical deployment of machine learning (ML) models, missing data represents a recurring challenge. Missing data is often addressed when training ML models. But missing dat…
New Inference Rules for Max-SAT
C. M. Li, F. Manya, J. Planes
Exact Max-SAT solvers, compared with SAT solvers, apply little inference at each node of the proof tree. Commonly used SAT inference rules like unit propagation produce a simplifie…
Algorithms for Weighted Boolean Optimization
Vasco Manquinho, Joao Marques-Silva, Jordi Planes
The Pseudo-Boolean Optimization (PBO) and Maximum Satisfiability (MaxSAT) problems are natural optimization extensions of Boolean Satisfiability (SAT). In the recent past, differen…
On Using Unsatisfiability for Solving Maximum Satisfiability
Joao Marques-Silva, Jordi Planes
Maximum Satisfiability (MaxSAT) is a well-known optimization pro- blem, with several practical applications. The most widely known MAXS AT algorithms are ineffective at solving har…