ExplAIner: A Declarative Query Language for Explaining Classification Models
This paper introduces ExplAIner, a query language based on FOIL with an extended vocabulary and a layered structure that can express a broad family of explanation notions, and proves that the evaluation problem for each query in ExplAIner belongs to the Boolean hierarchy over every class of Boolean models for which som...