research
∙
09/21/2023
Information inequality problem over set functions
Information inequalities appear in many database applications such as qu...
share
research
∙
06/01/2023
Logics with probabilistic team semantics and the Boolean negation
We study the expressivity and the complexity of various logics in probab...
research
∙
05/19/2023
Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions
We study the complexity of the problem of training neural networks defin...
research
∙
03/14/2023
Unified Foundations of Team Semantics via Semirings
Semiring semantics for first-order logic provides a way to trace how fac...
research
∙
03/25/2022
A Dichotomy in Consistent Query Answering for Primary Keys and Unary Foreign Keys
Since 2005, significant progress has been made in the problem of Consist...
research
∙
04/09/2021
On elementary logics for quantitative dependencies
We define and study logics in the framework of probabilistic team semant...
research
∙
01/07/2021
An Algorithm for the Discovery of Independence from Data
For years, independence has been considered as an important concept in m...
research
∙
01/07/2021
Controlling Entity Integrity with Key Sets
Codd's rule of entity integrity stipulates that every table has a primar...
research
∙
01/07/2021
On the Interaction of Functional and Inclusion Dependencies with Independence Atoms
Infamously, the finite and unrestricted implication problems for the cla...
research
∙
12/23/2020
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
Probabilistic team semantics is a framework for logical analysis of prob...
research
∙
07/08/2020
On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic
Second-order Boolean logic is a generalization of QBF, whose constant al...
research
∙
03/02/2020
Descriptive complexity of real computation and probabilistic independence logic
We introduce a novel variant of BSS machines called Separate Branching B...
research
∙
03/26/2019
Complexity Thresholds in Inclusion Logic
Logics with team semantics provide alternative means for logical charact...
research
∙
12/14/2018
Facets of Distribution Identities in Probabilistic Team Semantics
We study probabilistic team semantics which is a semantical framework al...
research
∙
03/06/2018
Probabilistic team semantics
Team semantics is a semantical framework for the study of dependence and...
research
∙
09/19/2013