Tag
This paper introduces ExplAIner, a declarative query language for explaining classification models, addressing limitations of the FOIL language by supporting abductive, contrastive, and optimality-based explanations with tractable evaluation over Boolean circuits.