research
∙
06/30/2022
On Computing Probabilistic Explanations for Decision Trees
Formal XAI (explainable AI) is a growing area that focuses on computing ...
share
research
∙
11/02/2021
MillenniumDB: A Persistent, Open-Source, Graph Database
In this systems paper, we present MillenniumDB: a novel graph database e...
research
∙
10/05/2021
Foundations of Symbolic Languages for Model Interpretability
Several queries and scores have recently been proposed to explain indivi...
research
∙
07/02/2021
Temporal Regular Path Queries
In the last decade, substantial progress has been made towards standardi...
research
∙
06/22/2021
Querying in the Age of Graph Databases and Knowledge Graphs
Graphs have become the best way we know of representing knowledge. The c...
research
∙
04/16/2021
On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results
In Machine Learning, the 𝖲𝖧𝖠𝖯-score is a version of the Shapley value th...
research
∙
12/11/2020
The Future is Big Graphs! A Community View on Graph Processing Systems
Graphs are by nature unifying abstractions that can leverage interconnec...
research
∙
11/12/2020
The Complexity of Counting Problems over Incomplete Databases
We study the complexity of various fundamental counting problems that ar...
research
∙
07/28/2020
The Tractability of SHAP-scores over Deterministic and Decomposable Boolean Circuits
Scores based on Shapley values are currently widely used for providing e...
research
∙
05/20/2020
An FPRAS and Polynomial-Time Uniform Sampler for Tree Automata
In this work, we introduce the first fully polynomial time randomized ap...
research
∙
12/23/2019
Counting Problems over Incomplete Databases
We study the complexity of various fundamental counting problems that ar...
research
∙
06/21/2019
Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation
In this work, we study two simple yet general complexity classes, based ...
research
∙
05/07/2018
Descriptive Complexity for Counting Complexity Classes
Descriptive Complexity has been very successful in characterizing comple...
research
∙
12/05/2017
G-CORE: A Core for Future Graph Query Languages
We report on a community effort between industry and academia to shape t...
research
∙
04/21/2013