3 papers
cs.LO2020
Enumerating Teams in First-Order Team Logics
Anselm Haak, Arne Meier, Fabian Müller +1
We start the study of the enumeration complexity of different satisfiability problems in first-order team logics. Since many of our problems go beyond DelP, we use a framework for…
cs.LO2019
Counting of Teams in First-Order Team Logics
Anselm Haak, Juha Kontinen, Fabian Müller +2
We study descriptive complexity of counting complexity classes in the range from #P to #NP. A corollary of Fagin's characterization of NP by existential second-order logic i…
cs.LG2018
Cost-Sensitive Learning for Predictive Maintenance
Stephan Spiegel, Fabian Mueller, Dorothea Weismann +1
In predictive maintenance, model performance is usually assessed by means of precision, recall, and F1-score. However, employing the model with best performance, e.g. highest F1-sc…