research
∙
06/27/2023
A fine-grained framework for database repairs
We introduce a general abstract framework for database repairing that di...
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
∙
04/06/2023
Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals
Causal multiteam semantics is a framework where probabilistic notions an...
research
∙
03/21/2023
Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals
Causal multiteam semantics is a framework where probabilistic dependenci...
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
∙
10/25/2021
Temporal Team Semantics Revisited
In this paper, we study a novel approach to asynchronous hyperproperties...
research
∙
05/31/2021
Parameterised Complexity of Propositional Logic in Team Semantics
In this work we analyse the parameterised complexity of propositional in...
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
∙
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
∙
03/08/2019
Descriptive Complexity of Deterministic Polylogarithmic Time
We propose a logical characterization of problems solvable in determinis...
research
∙
12/14/2018
Facets of Distribution Identities in Probabilistic Team Semantics
We study probabilistic team semantics which is a semantical framework al...
research
∙
04/16/2018
Expressivity within second-order transitive-closure logic
Second-order transitive-closure logic, SO(TC), is an expressive declarat...
research
∙
03/06/2018
Probabilistic team semantics
Team semantics is a semantical framework for the study of dependence and...
research
∙
09/25/2017