Pages that link to "Item:Q1124378"
From MaRDI portal
The following pages link to A correction to the algorithm in Reiter's theory of diagnosis (Q1124378):
Displayed 10 items.
- Consistency-based diagnosis of configuration knowledge bases (Q814544) (← links)
- Computational aspects of monotone dualization: a brief survey (Q943839) (← links)
- The computation of hitting sets: Review and new algorithms (Q1007596) (← links)
- A theory of measurement in diagnosis from first principles (Q1321062) (← links)
- A variant of Reiter's hitting-set algorithm (Q1603435) (← links)
- An SE-tree-based prime implicant generation algorithm (Q1924815) (← links)
- Debugging incoherent terminologies (Q2462643) (← links)
- Local Diagnosis (Q4443394) (← links)
- Diagnosing tree-structured systems (Q5940958) (← links)
- On the relationship between model-based debugging and program slicing (Q5958541) (← links)