Matches in SemOpenAlex for { <https://semopenalex.org/work/W2158252181> ?p ?o ?g. }
- W2158252181 endingPage "150" @default.
- W2158252181 startingPage "146" @default.
- W2158252181 abstract "Configuration problems are a thriving application area for declarative knowledge representation that currently experiences a constant increase in size and complexity of knowledge bases. Automated support of the debugging of such knowledge bases is a necessary prerequisite for effective development of configurators. We show that this task can be achieved by consistency-based diagnosis techniques. Based on the formal definition of consistency-based configuration we develop a framework suitable for diagnosing configuration knowledge bases. During the test phase of configurators, valid and invalid examples are used to test the correctness of the system. In case such examples lead to unintended results, debugging of the knowledge base is initiated. Starting from a clear definition of diagnosis in the configuration domain we develop an algorithm based on conflicts. Our framework is general enough for its adaptation to diagnosing customer requirements to identify unachievable conditions during configuration sessions." @default.
- W2158252181 created "2016-06-24" @default.
- W2158252181 creator A5005545405 @default.
- W2158252181 creator A5019515177 @default.
- W2158252181 creator A5033783997 @default.
- W2158252181 creator A5037543382 @default.
- W2158252181 date "2000-08-20" @default.
- W2158252181 modified "2023-09-28" @default.
- W2158252181 title "Consistency-based diagnosis of configuration knowledge bases" @default.
- W2158252181 cites W1482651513 @default.
- W2158252181 cites W1493278936 @default.
- W2158252181 cites W1496523200 @default.
- W2158252181 cites W1514468887 @default.
- W2158252181 cites W1581707906 @default.
- W2158252181 cites W1597829571 @default.
- W2158252181 cites W1607817027 @default.
- W2158252181 cites W16149696 @default.
- W2158252181 cites W165072048 @default.
- W2158252181 cites W1737602619 @default.
- W2158252181 cites W194442520 @default.
- W2158252181 cites W1986146602 @default.
- W2158252181 cites W2006154878 @default.
- W2158252181 cites W2014341247 @default.
- W2158252181 cites W2014899604 @default.
- W2158252181 cites W202063644 @default.
- W2158252181 cites W2025271293 @default.
- W2158252181 cites W2031162680 @default.
- W2158252181 cites W2080412071 @default.
- W2158252181 cites W2107043709 @default.
- W2158252181 cites W2108309071 @default.
- W2158252181 cites W2122060442 @default.
- W2158252181 cites W2132776097 @default.
- W2158252181 cites W29348749 @default.
- W2158252181 cites W2970763261 @default.
- W2158252181 cites W3154048165 @default.
- W2158252181 hasPublicationYear "2000" @default.
- W2158252181 type Work @default.
- W2158252181 sameAs 2158252181 @default.
- W2158252181 citedByCount "18" @default.
- W2158252181 countsByYear W21582521812015 @default.
- W2158252181 crossrefType "proceedings-article" @default.
- W2158252181 hasAuthorship W2158252181A5005545405 @default.
- W2158252181 hasAuthorship W2158252181A5019515177 @default.
- W2158252181 hasAuthorship W2158252181A5033783997 @default.
- W2158252181 hasAuthorship W2158252181A5037543382 @default.
- W2158252181 hasConcept C115903868 @default.
- W2158252181 hasConcept C115925183 @default.
- W2158252181 hasConcept C120665830 @default.
- W2158252181 hasConcept C121332964 @default.
- W2158252181 hasConcept C127413603 @default.
- W2158252181 hasConcept C139807058 @default.
- W2158252181 hasConcept C154945302 @default.
- W2158252181 hasConcept C168065819 @default.
- W2158252181 hasConcept C199360897 @default.
- W2158252181 hasConcept C201995342 @default.
- W2158252181 hasConcept C207685749 @default.
- W2158252181 hasConcept C2776436953 @default.
- W2158252181 hasConcept C2780451532 @default.
- W2158252181 hasConcept C41008148 @default.
- W2158252181 hasConcept C4554734 @default.
- W2158252181 hasConcept C55439883 @default.
- W2158252181 hasConcept C56739046 @default.
- W2158252181 hasConceptScore W2158252181C115903868 @default.
- W2158252181 hasConceptScore W2158252181C115925183 @default.
- W2158252181 hasConceptScore W2158252181C120665830 @default.
- W2158252181 hasConceptScore W2158252181C121332964 @default.
- W2158252181 hasConceptScore W2158252181C127413603 @default.
- W2158252181 hasConceptScore W2158252181C139807058 @default.
- W2158252181 hasConceptScore W2158252181C154945302 @default.
- W2158252181 hasConceptScore W2158252181C168065819 @default.
- W2158252181 hasConceptScore W2158252181C199360897 @default.
- W2158252181 hasConceptScore W2158252181C201995342 @default.
- W2158252181 hasConceptScore W2158252181C207685749 @default.
- W2158252181 hasConceptScore W2158252181C2776436953 @default.
- W2158252181 hasConceptScore W2158252181C2780451532 @default.
- W2158252181 hasConceptScore W2158252181C41008148 @default.
- W2158252181 hasConceptScore W2158252181C4554734 @default.
- W2158252181 hasConceptScore W2158252181C55439883 @default.
- W2158252181 hasConceptScore W2158252181C56739046 @default.
- W2158252181 hasOpenAccess W2158252181 @default.
- W2158252181 hasRelatedWork W1481601796 @default.
- W2158252181 hasRelatedWork W1482651513 @default.
- W2158252181 hasRelatedWork W1496039591 @default.
- W2158252181 hasRelatedWork W1499160934 @default.
- W2158252181 hasRelatedWork W153230822 @default.
- W2158252181 hasRelatedWork W1737602619 @default.
- W2158252181 hasRelatedWork W1985769033 @default.
- W2158252181 hasRelatedWork W1986146602 @default.
- W2158252181 hasRelatedWork W2014341247 @default.
- W2158252181 hasRelatedWork W2014899604 @default.
- W2158252181 hasRelatedWork W2015332538 @default.
- W2158252181 hasRelatedWork W2020893644 @default.
- W2158252181 hasRelatedWork W2031162680 @default.
- W2158252181 hasRelatedWork W2108309071 @default.
- W2158252181 hasRelatedWork W2122060442 @default.
- W2158252181 hasRelatedWork W2127845326 @default.
- W2158252181 hasRelatedWork W2144386448 @default.
- W2158252181 hasRelatedWork W2147565248 @default.