Thomas Quaritsch

Learn More
The Boolean approach to computing minimal hitting sets proposed by Lin and Jiang is known to offer very attractive general performance, but also has its issues, specifically with a cardinality-restricted search. In this paper we propose optimizations regarding the refinement rules, also offering a revised decision strategy as well as optimized termination(More)
Facing a diagnostic challenge, the decision about the algorithmic variant to adopt for a certain project is a challenging one. With PyMBD, we provide an easily accessible Python library, offering our implementations of several established model-based diagnosis (MBD) algorithms that a user can experiment with. Via the integrated experimentation features, a(More)
Diagnosis, i.e., the identification of root causes for failing or unexpected system behavior, is an important task in practice. Within the last three decades, many different AI-based solutions for solving the diagnosis problem have been presented and have been gaining in attraction. This leaves us with the question of which algorithm to prefer in a certain(More)
  • 1