 |
 Contestable AI needs Computational ArgumentationInternational Conference on Principles of Knowledge Representation and Reasoning (KR), 2024 |
 |
 |
 ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and
score-based eXplanationsInternational Conference on Information and Knowledge Management (CIKM), 2021 |
 On Tackling Explanation Redundancy in Decision TreesJournal of Artificial Intelligence Research (JAIR), 2022 |
 Cardinality-Minimal Explanations for Monotonic Neural NetworksInternational Joint Conference on Artificial Intelligence (IJCAI), 2022 |
 |
 Design of quantum optical experiments with logic artificial intelligenceQuantum (Quantum), 2021 |
 On Guaranteed Optimal Robust Explanations for NLP ModelsInternational Joint Conference on Artificial Intelligence (IJCAI), 2021 |
 Adversarial Robustness Guarantees for Gaussian ProcessesJournal of machine learning research (JMLR), 2021 |
 |
 Computing Optimal Decision Sets with SATInternational Conference on Principles and Practice of Constraint Programming (CP), 2020 |
