← Authors

Marcelo Arenas

9 papers · 2013–2025 · 5 conferences · across top CS/AI conferences

Achievements

๐Ÿ—บ๏ธ Taxonomy Completionist (11) ๐ŸŒ‰ Interdisciplinary Bridge ๐Ÿƒ Academic Marathon (12) ๐Ÿ Cross-Pollinator (9) ๐Ÿงญ Keyword Pioneer ๐ŸŒ Conference Polyglot (5) ๐Ÿ† Keyword Champion ๐Ÿš€ Conference Pioneer

Conferences

IJCAI (3) AAAI (2) NIPS (2) AISTATS (1) JMLR (1)

Top co-authors

Pablo Barcelรณ (4) Bernardo Subercaseaux (3) Leopoldo Bertossi (2) Jorge Pรฉrez (2) Mikaรซl Monet (2) Vladislav Ryzhikov (1) Diego Calvanese (1) Miguel Romero Orth (1) Kuldeep S. Meel (1) Guy Van den Broeck (1)

Keywords

decision tree (3) sufficient reason (2) probabilistic explanation (2) model interpretability (2) boolean circuit (2) shapley value (2) sat solver (1) linear model (1) binary decision diagram (1) explainable artificial intelligence (1) model counting (1) explainable machine learning (1) logic-based explanation (1) shap score (1) symbolic language (1) formal explainable ai (1) explainable ai (1) formal xai (1) feature attribution (1) computational complexity (1)

Papers

Probabilistic Explanations for Linear Models AAAI 2025
Restructuring Tractable Probabilistic Circuits AISTATS 2025
On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results JMLR 2023
On Computing Probabilistic Explanations for Decision Trees NIPS 2022
The Tractability of SHAP-Score-Based Explanations for Classification over Deterministic and Decomposable Boolean Circuits AAAI 2021
Foundations of Symbolic Languages for Model Interpretability NIPS 2021
Incomplete Causal Laws in the Situation Calculus Using Free Fluents IJCAI 2016
Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries IJCAI 2015
Exchanging OWL 2 QL Knowledge Bases IJCAI 2013