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 13 items.
- Enhancing unsatisfiable cores for LTL with information on temporal relevance (Q507378) (← links)
- Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases (Q513332) (← links)
- 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)
- The Minimal Hitting Set Generation Problem: Algorithms and Computation (Q2953406) (← links)
- Local Diagnosis (Q4443394) (← links)
- Diagnosing tree-structured systems (Q5940958) (← links)
- On the relationship between model-based debugging and program slicing (Q5958541) (← links)