Bayesian inference of linear temporal logic specifications for contrastive explanationsJoseph KimChristian Muiseet al.2019IJCAI 2019
Evaluating the interpretability of the knowledge compilation map: Communicating logical statements effectivelySerena BoothChristian Muiseet al.2019IJCAI 2019