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