Logic for explainable AI

DOI10.1109/LICS56636.2023.10175757MaRDI QIDQ6851700zbMATH OpenFDO

Authors Adnan Darwiche

Publication date 27 February 2026

Full work available at URL https://doi.org/10.1109/LICS56636.2023.10175757

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cited in

(4)

• Polynomial threshold functions of bounded tree-width: some explainability and complexity aspects
• Enhancing query efficiency for D-DNNF representations through preprocessing
• Why this and not that? A logic-based framework for contrastive explanations
• Formal explanations of black-box ranking functions

This page was built for publication: Logic for explainable AI

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6851700)