Matches in SemOpenAlex for { <https://semopenalex.org/work/W2116938596> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2116938596 endingPage "336" @default.
- W2116938596 startingPage "331" @default.
- W2116938596 abstract "In this paper we describe the concept of physical impossibility as an alternative to the specification of fault models. These axioms can be used to exclude impossible diagnoses similar to fault models. We show for Horn clause theories while the complexity of finding a first diagnosis is worst-case exponential for fault models, it is polynomial for physical impossibility axioms. Even for the case of finding all diagnoses using physical impossibility axioms instead of fault models is more efficient, although both are exponential in the worst case. These results are used for a polynomial diagnosis and measurement strategy which finds a final sufficient diagnosis." @default.
- W2116938596 created "2016-06-24" @default.
- W2116938596 creator A5037543382 @default.
- W2116938596 creator A5050151740 @default.
- W2116938596 creator A5074427964 @default.
- W2116938596 date "1990-07-29" @default.
- W2116938596 modified "2023-09-23" @default.
- W2116938596 title "Physical impossibility instead of fault models" @default.
- W2116938596 cites W1567176099 @default.
- W2116938596 cites W1764662929 @default.
- W2116938596 cites W1797873548 @default.
- W2116938596 cites W2132874577 @default.
- W2116938596 cites W2144386448 @default.
- W2116938596 cites W2099630917 @default.
- W2116938596 hasPublicationYear "1990" @default.
- W2116938596 type Work @default.
- W2116938596 sameAs 2116938596 @default.
- W2116938596 citedByCount "41" @default.
- W2116938596 countsByYear W21169385962013 @default.
- W2116938596 countsByYear W21169385962015 @default.
- W2116938596 crossrefType "proceedings-article" @default.
- W2116938596 hasAuthorship W2116938596A5037543382 @default.
- W2116938596 hasAuthorship W2116938596A5050151740 @default.
- W2116938596 hasAuthorship W2116938596A5074427964 @default.
- W2116938596 hasConcept C127313418 @default.
- W2116938596 hasConcept C134306372 @default.
- W2116938596 hasConcept C142724271 @default.
- W2116938596 hasConcept C151376022 @default.
- W2116938596 hasConcept C165205528 @default.
- W2116938596 hasConcept C167729594 @default.
- W2116938596 hasConcept C175551986 @default.
- W2116938596 hasConcept C17744445 @default.
- W2116938596 hasConcept C199539241 @default.
- W2116938596 hasConcept C2524010 @default.
- W2116938596 hasConcept C2776261394 @default.
- W2116938596 hasConcept C33923547 @default.
- W2116938596 hasConcept C41008148 @default.
- W2116938596 hasConcept C534262118 @default.
- W2116938596 hasConcept C71924100 @default.
- W2116938596 hasConcept C80444323 @default.
- W2116938596 hasConceptScore W2116938596C127313418 @default.
- W2116938596 hasConceptScore W2116938596C134306372 @default.
- W2116938596 hasConceptScore W2116938596C142724271 @default.
- W2116938596 hasConceptScore W2116938596C151376022 @default.
- W2116938596 hasConceptScore W2116938596C165205528 @default.
- W2116938596 hasConceptScore W2116938596C167729594 @default.
- W2116938596 hasConceptScore W2116938596C175551986 @default.
- W2116938596 hasConceptScore W2116938596C17744445 @default.
- W2116938596 hasConceptScore W2116938596C199539241 @default.
- W2116938596 hasConceptScore W2116938596C2524010 @default.
- W2116938596 hasConceptScore W2116938596C2776261394 @default.
- W2116938596 hasConceptScore W2116938596C33923547 @default.
- W2116938596 hasConceptScore W2116938596C41008148 @default.
- W2116938596 hasConceptScore W2116938596C534262118 @default.
- W2116938596 hasConceptScore W2116938596C71924100 @default.
- W2116938596 hasConceptScore W2116938596C80444323 @default.
- W2116938596 hasOpenAccess W2116938596 @default.
- W2116938596 hasRelatedWork W1567176099 @default.
- W2116938596 hasRelatedWork W1575798436 @default.
- W2116938596 hasRelatedWork W1696263757 @default.
- W2116938596 hasRelatedWork W1797873548 @default.
- W2116938596 hasRelatedWork W1979472512 @default.
- W2116938596 hasRelatedWork W1983382292 @default.
- W2116938596 hasRelatedWork W1986146602 @default.
- W2116938596 hasRelatedWork W2003116861 @default.
- W2116938596 hasRelatedWork W2025271293 @default.
- W2116938596 hasRelatedWork W2037481186 @default.
- W2116938596 hasRelatedWork W2079035845 @default.
- W2116938596 hasRelatedWork W2092911568 @default.
- W2116938596 hasRelatedWork W2108309071 @default.
- W2116938596 hasRelatedWork W2140627345 @default.
- W2116938596 hasRelatedWork W2144386448 @default.
- W2116938596 hasRelatedWork W2147096558 @default.
- W2116938596 hasRelatedWork W2169583663 @default.
- W2116938596 hasRelatedWork W2395053017 @default.
- W2116938596 hasRelatedWork W2814531 @default.
- W2116938596 hasRelatedWork W2911331989 @default.
- W2116938596 isParatext "false" @default.
- W2116938596 isRetracted "false" @default.
- W2116938596 magId "2116938596" @default.
- W2116938596 workType "article" @default.