Search Results for author: Marcelo Arenas

Found 5 papers, 1 papers with code

Foundations of Symbolic Languages for Model Interpretability

1 code implementation NeurIPS 2021 Marcelo Arenas, Daniel Baez, Pablo Barceló, Jorge Pérez, Bernardo Subercaseaux

Several queries and scores have recently been proposed to explain individual predictions over ML models.

On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results

no code implementations16 Apr 2021 Marcelo Arenas, Pablo Barceló, Leopoldo Bertossi, Mikaël Monet

While in general computing Shapley values is an intractable problem, we prove a strong positive result stating that the $\mathsf{SHAP}$-score can be computed in polynomial time over deterministic and decomposable Boolean circuits.

The Tractability of SHAP-Score-Based Explanations over Deterministic and Decomposable Boolean Circuits

no code implementations28 Jul 2020 Marcelo Arenas, Pablo Barceló Leopoldo Bertossi, Mikaël Monet

While in general computing Shapley values is a computationally intractable problem, it has recently been claimed that the SHAP-score can be computed in polynomial time over the class of decision trees.

Exchanging OWL 2 QL Knowledge Bases

no code implementations21 Apr 2013 Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov

Knowledge base exchange is an important problem in the area of data exchange and knowledge representation, where one is interested in exchanging information between a source and a target knowledge base connected through a mapping.

Cannot find the paper you are looking for? You can Submit a new open access paper.