Feature necessity and relevancy in machine learning explanations

DOI10.1007/S10817-026-09748-XMaRDI QIDQ6834472zbMATH OpenFDO

Authors X. X. Huang, M. C. Cooper, Antonio Morgado, Jordi Planes, Joao Marques-Silva

Publication date 31 March 2026

Published in Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

computational complexityabductionformal explainabilityabstract refinement

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Feature necessity and relevancy in machine learning explanations

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