Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations

Joseph Kim, Christian Muise, Ankit Shah, Shubham Agarwal, Julie Shah. Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations. In Sarit Kraus, editor, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019. pages 5591-5598, ijcai.org, 2019. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.