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 19 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)
- Memory-limited model-based diagnosis (Q2124447) (← links)
- A graph theory-based approach to the description of the process and the diagnostic system (Q2162135) (← links)
- Debugging incoherent terminologies (Q2462643) (← links)
- The Minimal Hitting Set Generation Problem: Algorithms and Computation (Q2953406) (← links)
- Assertional Removed Sets Merging of DL-Lite Knowledge Bases (Q3297810) (← links)
- Local Diagnosis (Q4443394) (← links)
- Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic (Q4637759) (← links)
- Diagnosing tree-structured systems (Q5940958) (← links)
- On the relationship between model-based debugging and program slicing (Q5958541) (← links)
- Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes (Q6041308) (← links)
- Sequential model-based diagnosis by systematic search (Q6080651) (← links)