conftrace_

formal explanation

8 papers

Explore in graph

Co-occurring keywords · papers mentioning both

explainable ai (3) decision explanation (2) explainable artificial intelligence (2) model-agnostic explanation (2) tree ensemble (2) planning policy (1) sequence planning (1) maxsat solver (1) bound propagation (1) rule induction (1)

Papers

Efficiently Computing Compact Formal Explanations AAAI 2026 Formal Abductive Latent Explanations for Prototype-Based Networks AAAI 2026 Most General Explanations of Tree Ensembles IJCAI 2025 Delivering Inflated Explanations AAAI 2024 Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations AAAI 2023 Formal Explanations of Neural Network Policies for Planning IJCAI 2023 Using MaxSAT for Efficient Explanations of Tree Ensembles AAAI 2022 Explanations for Monotonic Classifiers. ICML 2021