SOURCE-LINKED INTELLIGENCE

Solving Hard XAI Queries Based on a Compiled Dual-Rail Encoding

arXiv · AI, language, vision and robotics · article · Sep 4, 2026 · UTC

The widespread adoption of artificial intelligence (AI) within real-world applications has raised a lot of concerns regarding their trustworthiness, especially in critical applications. The field of eXplainable AI (XAI) has emerged with the objective of providing explanations to the users about the decisions made by AI systems. Several explanations for boolean classifiers have been introduced in the literature, including abductive and contrastive explanations, each giving a different insight on the decision of the classifier. However, computing an explanation for a decision of a boolean classi

Read original source ↗ Open in workspace

recordType

paper

region

Global