Biblio

Found 2 results
Author Title Type [ Year(Asc)]
Filters: Author is Christian Muise  [Clear All Filters]
2019
Kim, J., C. Muise, A. Shah, S. Agarwal, and J. Shah, "Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations", International Joint Conference on Artificial Intelligence (IJCAI), Macau, China, 08/2019.
Booth, S., C. Muise, and J. Shah, "Evaluating the Interpretability of the Knowledge Compilation Map: Communicating Logical Statements Effectively", International Joint Conference on Artificial Intelligence (IJCAI), Macau, China, 08/2019.