Matches in SemOpenAlex for { <https://semopenalex.org/work/W2730325684> ?p ?o ?g. }
- W2730325684 abstract "Model based diagnosis finds a growing range of practical applications, and significant performance-wise improvements have been achieved in recent years. Some of these improvements result from formulating the problem with maximum satisfiability (MaxSAT). Whereas recent work focuses on analyzing failing observations separately, it is also the case that in practical settings there may exist many failing observations. This paper first investigates the drawbacks of analyzing failing observations separately. It then shows that existing solutions do not scale for large systems. Finally, the paper proposes a novel approach for diagnosing systems with many failing observations. The proposed approach is based on implicit hitting sets and so is tightly related with the original seminal work on model based diagnosis. The experimental results demonstrate not only the importance of analyzing multiple observations simultaneously, but also the significance of the implicit hitting set approach." @default.
- W2730325684 created "2017-07-14" @default.
- W2730325684 creator A5002246957 @default.
- W2730325684 creator A5051305025 @default.
- W2730325684 creator A5063586825 @default.
- W2730325684 date "2017-07-06" @default.
- W2730325684 modified "2023-09-27" @default.
- W2730325684 title "Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets" @default.
- W2730325684 cites W139194355 @default.
- W2730325684 cites W1505051593 @default.
- W2730325684 cites W1542522779 @default.
- W2730325684 cites W1562027785 @default.
- W2730325684 cites W1781167154 @default.
- W2730325684 cites W1831845533 @default.
- W2730325684 cites W1898652832 @default.
- W2730325684 cites W1964680470 @default.
- W2730325684 cites W1971137495 @default.
- W2730325684 cites W2003116861 @default.
- W2730325684 cites W2020169768 @default.
- W2730325684 cites W2040900440 @default.
- W2730325684 cites W2058449564 @default.
- W2730325684 cites W2115436681 @default.
- W2730325684 cites W2130919252 @default.
- W2730325684 cites W2178708778 @default.
- W2730325684 cites W2191686679 @default.
- W2730325684 cites W2199687903 @default.
- W2730325684 cites W2274933339 @default.
- W2730325684 cites W2278865530 @default.
- W2730325684 cites W2290416502 @default.
- W2730325684 cites W2295460894 @default.
- W2730325684 cites W2296202685 @default.
- W2730325684 cites W2343875716 @default.
- W2730325684 cites W2345507442 @default.
- W2730325684 cites W2469909203 @default.
- W2730325684 cites W2474246643 @default.
- W2730325684 cites W2478872016 @default.
- W2730325684 cites W2481363456 @default.
- W2730325684 cites W28392221 @default.
- W2730325684 cites W2948832808 @default.
- W2730325684 cites W2951454425 @default.
- W2730325684 cites W308113020 @default.
- W2730325684 cites W7463389 @default.
- W2730325684 cites W2118750912 @default.
- W2730325684 cites W2401526806 @default.
- W2730325684 hasPublicationYear "2017" @default.
- W2730325684 type Work @default.
- W2730325684 sameAs 2730325684 @default.
- W2730325684 citedByCount "1" @default.
- W2730325684 countsByYear W27303256842019 @default.
- W2730325684 crossrefType "posted-content" @default.
- W2730325684 hasAuthorship W2730325684A5002246957 @default.
- W2730325684 hasAuthorship W2730325684A5051305025 @default.
- W2730325684 hasAuthorship W2730325684A5063586825 @default.
- W2730325684 hasConcept C111797529 @default.
- W2730325684 hasConcept C11413529 @default.
- W2730325684 hasConcept C114614502 @default.
- W2730325684 hasConcept C119857082 @default.
- W2730325684 hasConcept C121332964 @default.
- W2730325684 hasConcept C127413603 @default.
- W2730325684 hasConcept C146978453 @default.
- W2730325684 hasConcept C154945302 @default.
- W2730325684 hasConcept C168773769 @default.
- W2730325684 hasConcept C177264268 @default.
- W2730325684 hasConcept C187455244 @default.
- W2730325684 hasConcept C199277547 @default.
- W2730325684 hasConcept C199360897 @default.
- W2730325684 hasConcept C204323151 @default.
- W2730325684 hasConcept C2778755073 @default.
- W2730325684 hasConcept C33923547 @default.
- W2730325684 hasConcept C41008148 @default.
- W2730325684 hasConcept C62520636 @default.
- W2730325684 hasConcept C6943359 @default.
- W2730325684 hasConcept C80444323 @default.
- W2730325684 hasConceptScore W2730325684C111797529 @default.
- W2730325684 hasConceptScore W2730325684C11413529 @default.
- W2730325684 hasConceptScore W2730325684C114614502 @default.
- W2730325684 hasConceptScore W2730325684C119857082 @default.
- W2730325684 hasConceptScore W2730325684C121332964 @default.
- W2730325684 hasConceptScore W2730325684C127413603 @default.
- W2730325684 hasConceptScore W2730325684C146978453 @default.
- W2730325684 hasConceptScore W2730325684C154945302 @default.
- W2730325684 hasConceptScore W2730325684C168773769 @default.
- W2730325684 hasConceptScore W2730325684C177264268 @default.
- W2730325684 hasConceptScore W2730325684C187455244 @default.
- W2730325684 hasConceptScore W2730325684C199277547 @default.
- W2730325684 hasConceptScore W2730325684C199360897 @default.
- W2730325684 hasConceptScore W2730325684C204323151 @default.
- W2730325684 hasConceptScore W2730325684C2778755073 @default.
- W2730325684 hasConceptScore W2730325684C33923547 @default.
- W2730325684 hasConceptScore W2730325684C41008148 @default.
- W2730325684 hasConceptScore W2730325684C62520636 @default.
- W2730325684 hasConceptScore W2730325684C6943359 @default.
- W2730325684 hasConceptScore W2730325684C80444323 @default.
- W2730325684 hasLocation W27303256841 @default.
- W2730325684 hasOpenAccess W2730325684 @default.
- W2730325684 hasPrimaryLocation W27303256841 @default.
- W2730325684 hasRelatedWork W175242119 @default.
- W2730325684 hasRelatedWork W194148920 @default.
- W2730325684 hasRelatedWork W1984231426 @default.
- W2730325684 hasRelatedWork W2088424609 @default.