On the (complete) reasons behind decisions

DOI10.1007/s10849-022-09377-8OpenAlexW4292482260WikidataQ114689820 ScholiaQ114689820MaRDI QIDQ6117140

Adnan Darwiche, Auguste Hirth

Publication date: 16 August 2023

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-022-09377-8

zbMATH Keywords

Boolean classifiersexplainable AItractable circuits

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Characterizing diagnoses and systems
• Reluplex: an efficient SMT solver for verifying deep neural networks
• Verifying binarized neural networks by Angluin-style learning
• Explanation in artificial intelligence: insights from the social sciences
• On the relative succinctness of sentential decision diagrams
• Graph-Based Algorithms for Boolean Function Manipulation
• On Quantifying Literals in Boolean Logic and its Applications to Explainable AI
• On Tackling Explanation Redundancy in Decision Trees
• Decomposable negation normal form
• On Cores and Prime Implicants of Truth Functions
• The Problem of Simplifying Truth Functions