research
∙
09/13/2023
Regular Representations of Uniform TC^0
The circuit complexity class DLOGTIME-uniform AC^0 is known to be a mode...
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
∙
04/21/2023
Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity
We introduce and develop a set-based semantics for asynchronous TeamLTL....
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
∙
02/01/2023
Parameterized Complexity of Weighted Team Definability
In this article, we study the complexity of weighted team definability f...
research
∙
04/01/2022
Modular SAT-based techniques for reasoning tasks in team semantics
We study the complexity of reasoning tasks for logics in team semantics....
research
∙
10/21/2021
On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties
In this article we study linear temporal logics with team semantics (Tea...
research
∙
09/20/2021
A Parameterized View on the Complexity of Dependence Logic
In this paper, we investigate the parameterized complexity of model chec...
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
On the Interaction of Functional and Inclusion Dependencies with Independence Atoms
Infamously, the finite and unrestricted implication problems for the cla...
research
∙
10/07/2020
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity
We study the expressivity and the model checking problem of linear tempo...
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
∙
02/01/2019
Counting of Teams in First-Order Team Logics
We study descriptive complexity of counting complexity classes in the ra...
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