42 citations · 153 across the 26 of their papers we have counts for
7 papers · 1 filter
DynamicHS: Streamlining Reiter's Hitting-Set Tree for Sequential Diagnosis
Patrick Rodler
Given a system that does not work as expected, Sequential Diagnosis (SD) aims at suggesting a series of system measurements to isolate the true explanation for the system's misbeha…
RBF-HS: Recursive Best-First Hitting Set Search
Patrick Rodler
Various model-based diagnosis scenarios require the computation of most preferred fault explanations. Existing algorithms that are sound (i.e., output only actual fault explanation…
Sound, Complete, Linear-Space, Best-First Diagnosis Search
Patrick Rodler
Various model-based diagnosis scenarios require the computation of the most preferred fault explanations. Existing algorithms that are sound (i.e., output only actual fault explana…
Do We Really Sample Right In Model-Based Diagnosis?
Patrick Rodler, Fatima Elichanova
Statistical samples, in order to be representative, have to be drawn from a population in a random and unbiased way. Nevertheless, it is common practice in the field of model-based…
The Scheduling Job-Set Optimization Problem: A Model-Based Diagnosis Approach
Patrick Rodler, Erich Teppan
A common issue for companies is that the volume of product orders may at times exceed the production capacity. We formally introduce two novel problems dealing with the question wh…
On Expert Behaviors and Question Types for Efficient Query-Based Ontology Fault Localization
Patrick Rodler
We challenge existing query-based ontology fault localization methods wrt. assumptions they make, criteria they optimize, and interaction means they use. We find that their efficie…