Biblio
"Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations",
International Joint Conference on Artificial Intelligence (IJCAI), Macau, China, 08/2019.
"Evaluating the Interpretability of the Knowledge Compilation Map: Communicating Logical Statements Effectively",
International Joint Conference on Artificial Intelligence (IJCAI), Macau, China, 08/2019.
"Modeling Blackbox Agent Behaviour via Knowledge Compilation",
AAAI Conference on Artificial Intelligence, Workshop on Plan, Activity, and Intent Recognition (PAIR), 2020.