A Formal Approach to Explainability.

Lior Wolf Tomer Galanti Tamir Hazan

Published in: AIES (2019)

Keyphrases

formal model
formal methods
feature selection
bayesian networks
objective function
search algorithm
information technology
trade off
user interface
evolutionary algorithm
mathematical foundations
formal language