Matches in SemOpenAlex for { <https://semopenalex.org/work/W1533137841> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1533137841 abstract "A way of formally but partially characterizing knowledge base correctness is to define knowledge base coherency. The first contribution of this paper is to show how taking into account test cases can lead to a new definition of rule base coherency that is better than existing ones. Our second contribution is that we propose extensions of model-based diagnosis that enable the complete characterization of rule base incoherencies and their possible causes. As a result, we obtain an algorithm for both debugging rule bases and detecting incoherencies." @default.
- W1533137841 created "2016-06-24" @default.
- W1533137841 creator A5030687097 @default.
- W1533137841 creator A5066499473 @default.
- W1533137841 creator A5055774955 @default.
- W1533137841 date "2005-08-24" @default.
- W1533137841 modified "2023-09-24" @default.
- W1533137841 title "Merging test and verification for rule base debugging" @default.
- W1533137841 cites W133803608 @default.
- W1533137841 cites W1482651513 @default.
- W1533137841 cites W1544758358 @default.
- W1533137841 cites W186957026 @default.
- W1533137841 cites W2025271293 @default.
- W1533137841 cites W2039832885 @default.
- W1533137841 cites W229019754 @default.
- W1533137841 cites W2973270463 @default.
- W1533137841 cites W60168242 @default.
- W1533137841 doi "https://doi.org/10.1109/tai.1996.560447" @default.
- W1533137841 hasPublicationYear "2005" @default.
- W1533137841 type Work @default.
- W1533137841 sameAs 1533137841 @default.
- W1533137841 citedByCount "0" @default.
- W1533137841 crossrefType "proceedings-article" @default.
- W1533137841 hasAuthorship W1533137841A5030687097 @default.
- W1533137841 hasAuthorship W1533137841A5055774955 @default.
- W1533137841 hasAuthorship W1533137841A5066499473 @default.
- W1533137841 hasConcept C1009929 @default.
- W1533137841 hasConcept C11413529 @default.
- W1533137841 hasConcept C124101348 @default.
- W1533137841 hasConcept C134306372 @default.
- W1533137841 hasConcept C154945302 @default.
- W1533137841 hasConcept C168065819 @default.
- W1533137841 hasConcept C199360897 @default.
- W1533137841 hasConcept C2777904410 @default.
- W1533137841 hasConcept C33923547 @default.
- W1533137841 hasConcept C41008148 @default.
- W1533137841 hasConcept C42058472 @default.
- W1533137841 hasConcept C4554734 @default.
- W1533137841 hasConcept C55439883 @default.
- W1533137841 hasConcept C80444323 @default.
- W1533137841 hasConceptScore W1533137841C1009929 @default.
- W1533137841 hasConceptScore W1533137841C11413529 @default.
- W1533137841 hasConceptScore W1533137841C124101348 @default.
- W1533137841 hasConceptScore W1533137841C134306372 @default.
- W1533137841 hasConceptScore W1533137841C154945302 @default.
- W1533137841 hasConceptScore W1533137841C168065819 @default.
- W1533137841 hasConceptScore W1533137841C199360897 @default.
- W1533137841 hasConceptScore W1533137841C2777904410 @default.
- W1533137841 hasConceptScore W1533137841C33923547 @default.
- W1533137841 hasConceptScore W1533137841C41008148 @default.
- W1533137841 hasConceptScore W1533137841C42058472 @default.
- W1533137841 hasConceptScore W1533137841C4554734 @default.
- W1533137841 hasConceptScore W1533137841C55439883 @default.
- W1533137841 hasConceptScore W1533137841C80444323 @default.
- W1533137841 hasLocation W15331378411 @default.
- W1533137841 hasOpenAccess W1533137841 @default.
- W1533137841 hasPrimaryLocation W15331378411 @default.
- W1533137841 hasRelatedWork W1505614949 @default.
- W1533137841 hasRelatedWork W1554063150 @default.
- W1533137841 hasRelatedWork W175408375 @default.
- W1533137841 hasRelatedWork W1966703696 @default.
- W1533137841 hasRelatedWork W2143652051 @default.
- W1533137841 hasRelatedWork W2161301745 @default.
- W1533137841 hasRelatedWork W2341205195 @default.
- W1533137841 hasRelatedWork W2903238268 @default.
- W1533137841 hasRelatedWork W2914079589 @default.
- W1533137841 hasRelatedWork W2943032419 @default.
- W1533137841 hasRelatedWork W2979459361 @default.
- W1533137841 hasRelatedWork W2998489193 @default.
- W1533137841 hasRelatedWork W3006777288 @default.
- W1533137841 hasRelatedWork W3021006199 @default.
- W1533137841 hasRelatedWork W3108201208 @default.
- W1533137841 hasRelatedWork W3135241338 @default.
- W1533137841 hasRelatedWork W62415093 @default.
- W1533137841 hasRelatedWork W8696694 @default.
- W1533137841 hasRelatedWork W3167230590 @default.
- W1533137841 hasRelatedWork W999457187 @default.
- W1533137841 isParatext "false" @default.
- W1533137841 isRetracted "false" @default.
- W1533137841 magId "1533137841" @default.
- W1533137841 workType "article" @default.