research
∙
07/22/2023
Dyadic Existential Rules
Existential rules form an expressive Datalog-based language to specify o...
share
research
∙
07/11/2023
SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog [Experiment, Analysis and Benchmark]
Over the past decade, Knowledge Graphs have received enormous interest b...
research
∙
03/05/2023
Structure-Guided Query Evaluation: Towards Bridging the Gap from Theory to Practice
Join queries involving many relations pose a severe challenge to today's...
research
∙
09/21/2022
Incremental Updates of Generalized Hypertree Decompositions
Structural decomposition methods, such as generalized hypertree decompos...
research
∙
04/22/2022
Non-Uniformly Terminating Chase: Size and Complexity
The chase procedure, originally introduced for checking implication of d...
research
∙
02/03/2022
MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations
Modern applications combine information from a great variety of sources....
research
∙
10/07/2021
On the Complexity of Inductively Learning Guarded Rules
We investigate the computational complexity of mining guarded clauses fr...
research
∙
04/28/2021
Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth
Modern trends in data collection are bringing current mainstream techniq...
research
∙
12/29/2020
The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions
Constraint Satisfaction Problems (CSPs) play a central role in many appl...
research
∙
07/28/2020
Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems
Constraint satisfaction problems (CSPs) are an important formal framewor...
research
∙
07/03/2020
Fractional Covers of Hypergraphs with Bounded Multi-Intersection
Fractional (hyper-)graph theory is concerned with the specific problems ...
research
∙
02/12/2020
Complexity Analysis of Generalized and Fractional Hypertree Decompositions
Hypertree decompositions (HDs), as well as the more powerful generalized...
research
∙
02/12/2020
Complexity Analysis of General and Fractional Hypertree Decompositions
Hypertree decompositions (HDs), as well as the more powerful generalized...
research
∙
12/11/2018
Semantic Width of Conjunctive Queries and Constraint Satisfaction Problems
Answering Conjunctive Queries (CQs) and solving Constraint Satisfaction ...
research
∙
11/20/2018
HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings
To cope with the intractability of answering Conjunctive Queries (CQs) a...
research
∙
09/16/2018
The Space-Efficient Core of Vadalog
Vadalog is a system for performing complex reasoning tasks such as those...
research
∙
07/23/2018
Data Science with Vadalog: Bridging Machine Learning and Reasoning
Following the recent successful examples of large technology companies, ...
research
∙
07/23/2018
The Vadalog System: Datalog-based Reasoning for Knowledge Graphs
Over the past years, there has been a resurgence of Datalog-based system...
research
∙
03/17/2018
Datalog: Bag Semantics via Set Semantics
Duplicates in data management are common and problematic. In this work, ...
research
∙
11/14/2017
Tree Projections and Constraint Optimization Problems: Fixed-Parameter Tractability and Parallel Algorithms
Tree projections provide a unifying framework to deal with most structur...
research
∙
12/09/2012
Deciding Monotone Duality and Identifying Frequent Itemsets in Quadratic Logspace
The monotone duality problem is defined as follows: Given two monotone f...
research
∙
09/15/2012
Tractable Optimization Problems through Hypergraph-Based Structural Restrictions
Several variants of the Constraint Satisfaction Problem have been propos...
research
∙
06/19/2011
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs
We consider the setting of ontological database access, where an Abox is...
research
∙
03/08/2011
On Minimal Constraint Networks
In a minimal binary constraint network, every tuple of a constraint rela...
research
∙
11/04/2002
The DLV System for Knowledge Representation and Reasoning
This paper presents the DLV system, which is widely considered the state...
research
∙
07/20/2002
