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
∙
09/20/2021
A Parameterized View on the Complexity of Dependence Logic
In this paper, we investigate the parameterized complexity of model chec...
research
∙
05/31/2021
Parameterised Complexity of Propositional Logic in Team Semantics
In this work we analyse the parameterised complexity of propositional in...
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
∙
01/26/2021
Software Effort Estimation Accuracy Prediction of Machine Learning Techniques: A Systematic Performance Evaluation
Software effort estimation accuracy is a key factor in effective plannin...
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/12/2019