A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration.

Ryma Boumazouza Fahima Cheikh Alili Bertrand Mazure Karim Tabia

Published in: CoRR (2022)

Keyphrases

high level
mathematical model
formal model
statistical model
probabilistic model
probability distribution
management system
computational model
symbolic description
data sets
conceptual model
markov random field
search algorithm
objective function
decision trees
social networks
information retrieval