Pages that link to "Item:Q1799125"
From MaRDI portal
The following pages link to A SAT-based approach to learn explainable decision sets (Q1799125):
Displaying 22 items.
- Learning optimal decision trees using constraint programming (Q823772) (← links)
- Mathematical optimization in classification and regression trees (Q828748) (← links)
- Synthesis of quantifier-free DNF sentences from inconsistent samples of strings with EF games and SAT (Q2003999) (← links)
- Interpretable machine learning: fundamental principles and 10 grand challenges (Q2074414) (← links)
- SAT-based rigorous explanations for decision lists (Q2118305) (← links)
- Shattering inequalities for learning optimal decision trees (Q2170186) (← links)
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions (Q2238714) (← links)
- Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games (Q2285664) (← links)
- Explaining AI decisions using efficient methods for learning sparse Boolean formulae (Q2331079) (← links)
- Time and space complexity of deterministic and nondeterministic decision trees (Q2679423) (← links)
- Minimal and Complete Explanations for Critical Multi-attribute Decisions (Q3095298) (← links)
- Learning Optimal Decision Sets and Lists with SAT (Q5026234) (← links)
- On Tackling Explanation Redundancy in Decision Trees (Q5041018) (← links)
- Efficient Learning of Interpretable Classification Rules (Q5043563) (← links)
- (Q5054624) (← links)
- Explainable and explorable decision support (Q6045087) (← links)
- SAT-based optimal classification trees for non-binary data (Q6049430) (← links)
- On optimal regression trees to detect critical intervals for multivariate functional data (Q6164347) (← links)
- Feature necessity \& relevancy in ML classifier explanations (Q6535350) (← links)
- Towards formal XAI: formally approximate minimal explanations of neural networks (Q6535352) (← links)
- Optimal multivariate decision trees (Q6541864) (← links)
- Synergies between machine learning and reasoning -- an introduction by the Kay R. Amel group (Q6577680) (← links)
