research
∙
07/18/2023
Multimodal Machine Learning for Extraction of Theorems and Proofs in the Scientific Literature
Scholarly articles in mathematical fields feature mathematical statement...
share
research
∙
05/24/2023
Confidential Truth Finding with Multi-Party Computation (Extended Version)
Federated knowledge discovery and data mining are challenged to assess t...
research
∙
12/02/2021
A Practical Dynamic Programming Approach to Datalog Provenance Computation
We establish a translation between a formalism for dynamic programming o...
research
∙
01/21/2019
An Experimental Study of the Treewidth of Real-World Graph Data (Extended Version)
Treewidth is a parameter that measures how tree-like a relational instan...
research
∙
11/07/2018
Connecting Knowledge Compilation Classes and Width Parameters
The field of knowledge compilation establishes the tractability of many ...
research
∙
08/14/2018
Evaluating Datalog via Tree Automata and Cycluits
We investigate parameterizations of both database instances and queries ...
research
∙
05/04/2018
BelMan: Bayesian Bandits on the Belief--Reward Manifold
We propose a generic, Bayesian, information geometric approach to the ex...
research
∙
01/19/2018
Computing Possible and Certain Answers over Order-Incomplete Data
This paper studies the complexity of query evaluation for databases whos...
research
∙
09/18/2017
Connecting Width and Structure in Knowledge Compilation (Extended Version)
Several query evaluation tasks can be done via knowledge compilation: th...
research
∙
09/18/2017
Connecting Width and Structure in Knowledge Compilation
Several query evaluation tasks can be done via knowledge compilation: th...
research
∙
07/22/2017
Possible and Certain Answers for Queries over Order-Incomplete Data
To combine and query ordered data from multiple sources, one needs to ha...
research
∙
05/27/2011
Ontology Alignment at the Instance and Schema Level
We present PARIS, an approach for the automatic alignment of ontologies....
research
∙
05/10/2011