{"total":15,"rows":[{"id":"2205.09971","title":"On Tackling Explanation Redundancy in Decision Trees","created":"2022-05-20","cited_by_count":44,"area":null},{"id":"2106.00154","title":"Explanations for Monotonic Classifiers","created":"2021-06-01","cited_by_count":39,"area":null},{"id":"2104.08015","title":"On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results","created":"2021-04-16","cited_by_count":32,"area":null},{"id":"2108.05276","title":"Trading Complexity for Sparsity in Random Forest Explanations","created":"2021-08-11","cited_by_count":32,"area":null},{"id":"2110.02376","title":"Foundations of Symbolic Languages for Model Interpretability","created":"2021-10-05","cited_by_count":26,"area":null},{"id":"2203.10451","title":"On the Computation of Necessary and Sufficient Explanations","created":"2022-03-20","cited_by_count":23,"area":null},{"id":"2209.07740","title":"Computing Abductive Explanations for Boosted Trees","created":"2022-09-16","cited_by_count":23,"area":null},{"id":"2305.05172","title":"Logic for Explainable AI","created":"2023-05-09","cited_by_count":23,"area":null},{"id":"2108.09876","title":"On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI","created":"2021-08-23","cited_by_count":16,"area":null},{"id":"2306.15272","title":"Delivering Inflated Explanations","created":"2023-06-27","cited_by_count":16,"area":null},{"id":"2304.14760","title":"A New Class of Explanations for Classifiers with Non-Binary Features","created":"2023-04-28","cited_by_count":8,"area":null},{"id":"2201.06467","title":"Principled Diverse Counterfactuals in Multilinear Models","created":"2022-01-17","cited_by_count":1,"area":null},{"id":"2206.11539","title":"A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration","created":"2022-06-23","cited_by_count":0,"area":null},{"id":"2505.20269","title":"Comparing Neural Network Encodings for Logic-based Explainability","created":"2025-05-26","cited_by_count":0,"area":null},{"id":"2605.09347","title":"Dsat: A Native SAT Solver for Discrete Logic","created":"2026-05-10","cited_by_count":0,"area":null}],"next_cursor":null}