Marcelo Arenas

1. On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results
   2021/04/16 by Marcelo Arenas, Pablo Barceló, Arenas, Marcelo +5 · 6 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Computational Complexity (cs.CC) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning and Algorithms
2. #NFA admits an FPRAS: Efficient Enumeration, Counting, and Uniform Generation for Logspace Classes
   2019/06/21 by Marcelo Arenas, Arenas, Marcelo, Luis Alberto Croquevielle +5 · 4 citations
   Computer Science · #Algorithms and Data Compression #Machine Learning and Algorithms #Natural Language Processing Techniques
3. G-CORE: A Core for Future Graph Query Languages
   2017/12/05 by Renzo Angles, Marcelo Arenas, Angles, Renzo +21 · 3 citations
   Computer Science · #Advanced Database Systems and Queries #Databases (cs.DB) #FOS: Computer and information sciences #Graph Theory and Algorithms #Semantic Web and Ontologies
4. On Computing Probabilistic Explanations for Decision Trees
   2022/06/30 by Marcelo Arenas, Pablo Barceló, Arenas, Marcelo +5 · 4 citations
   Computer Science · #Explainable Artificial Intelligence (XAI) #Bayesian Modeling and Causal Inference #Rough Sets and Fuzzy Logic
5. Foundations of Symbolic Languages for Model Interpretability
   2021/10/05 by Marcelo Arenas, Daniel Báez, Arenas, Marcelo +7 · 2 citations
   Computer Science · #Explainable Artificial Intelligence (XAI) #Machine Learning and Data Classification #Bayesian Modeling and Causal Inference
6. Towards Tractability of the Diversity of Query Answers: Ultrametrics to the Rescue
   2024/08/03 by Marcelo Arenas, Arenas, Marcelo, Timo Camillo Merkl +5 · 5 citations
   Computer Science · #Advanced Database Systems and Queries
7. Restructuring Tractable Probabilistic Circuits
   2024/11/19 by Honghua Zhang, Zhang, Honghua, Benjie Wang +5 · 2 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Machine Learning (cs.LG) #Music Technology and Sound Studies
8. A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata
   2024/04/15 by Antoine Amarilli, Marcelo Arenas, Amarilli, Antoine +9 · 1 citation
   Computer Science · #Data Structures and Algorithms (cs.DS) #Databases (cs.DB) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Machine Learning and Algorithms #semigroups and automata theory
9. Probabilistic Explanations for Linear Models
   2024/12/30 by Bernardo Subercaseaux, Marcelo Arenas, Subercaseaux, Bernardo +3 · 1 citation
   Computer Science · Decision Sciences · #Bayesian Modeling and Causal Inference #Simulation Techniques and Applications