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...
share
research
∙
02/01/2023
Parameterized Complexity of Weighted Team Definability
In this article, we study the complexity of weighted team definability f...
research
∙
10/25/2021
Temporal Team Semantics Revisited
In this paper, we study a novel approach to asynchronous hyperproperties...
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
∙
02/23/2021
Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework
Logic-based argumentation is a well-established formalism modelling nonm...
research
∙
06/12/2020
Enumerating Teams in First-Order Team Logics
We start the study of the enumeration complexity of different satisfiabi...
research
∙
06/03/2019
Parameterised Complexity of Abduction in Schaefer's Framework
Abductive reasoning is a non-monotonic formalism stemming from the work ...
research
∙
06/03/2019
Parameterised Complexity for Abduction
Abductive reasoning is a non-monotonic formalism stemming from the work ...
research
∙
04/27/2019
Parameterised Counting Classes with Bounded Nondeterminism
Stockhusen and Tantau (IPEC 2013) introduced the operators paraW and par...
research
∙
04/12/2019
Parametrised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic
In this paper, we initiate a systematic study of the parametrised comple...
research
∙
11/28/2018
Counting Complexity for Reasoning in Abstract Argumentation
In this paper, we consider counting and projected model counting of exte...
research
∙
04/20/2018
Enumeration in Incremental FPT-Time
In this paper, we study the relationship of parametrised enumeration com...
research
∙
03/06/2018
Probabilistic team semantics
Team semantics is a semantical framework for the study of dependence and...
research
∙
09/25/2017
Team Semantics for the Specification and Verification of Hyperproperties
We develop team semantics for Linear Temporal Logic (LTL) to express hyp...
research
∙
02/19/2016
Strong Backdoors for Default Logic
In this paper, we introduce a notion of backdoors to Reiter's propositio...
research
∙
10/04/2011