Matches in SemOpenAlex for { <https://semopenalex.org/work/W1487921861> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1487921861 endingPage "118" @default.
- W1487921861 startingPage "104" @default.
- W1487921861 abstract "The ability to select suitable diagnostic assumptions and models extends the power of model-based diagnosis for complex systems and can explicitly be modeled by diagnostic strategies. Recently, Nejdl, Fröhlich and Schroeder have developed a framework, which allows to express these strategies as formulas of a meta-language. This paper presents a method for designing strategy knowledge bases as well as an efficient straightforward operational semantics for exploiting them.KeywordsTransition SystemSystem DescriptionDiagnostic ProcessOperational SemanticSuccessor StateThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1487921861 created "2016-06-24" @default.
- W1487921861 creator A5016411406 @default.
- W1487921861 creator A5074427964 @default.
- W1487921861 creator A5085727504 @default.
- W1487921861 date "1996-01-01" @default.
- W1487921861 modified "2023-09-25" @default.
- W1487921861 title "Design and implementation of diagnostic strategies using modal logic" @default.
- W1487921861 cites W1983382292 @default.
- W1487921861 cites W2003956828 @default.
- W1487921861 cites W2018336329 @default.
- W1487921861 cites W2079035845 @default.
- W1487921861 cites W2108309071 @default.
- W1487921861 cites W2140627345 @default.
- W1487921861 cites W2144386448 @default.
- W1487921861 doi "https://doi.org/10.1007/3-540-61630-6_7" @default.
- W1487921861 hasPublicationYear "1996" @default.
- W1487921861 type Work @default.
- W1487921861 sameAs 1487921861 @default.
- W1487921861 citedByCount "1" @default.
- W1487921861 crossrefType "book-chapter" @default.
- W1487921861 hasAuthorship W1487921861A5016411406 @default.
- W1487921861 hasAuthorship W1487921861A5074427964 @default.
- W1487921861 hasAuthorship W1487921861A5085727504 @default.
- W1487921861 hasConcept C154945302 @default.
- W1487921861 hasConcept C156325763 @default.
- W1487921861 hasConcept C184337299 @default.
- W1487921861 hasConcept C185592680 @default.
- W1487921861 hasConcept C188027245 @default.
- W1487921861 hasConcept C195818886 @default.
- W1487921861 hasConcept C199360897 @default.
- W1487921861 hasConcept C27508121 @default.
- W1487921861 hasConcept C41008148 @default.
- W1487921861 hasConcept C71139939 @default.
- W1487921861 hasConcept C80444323 @default.
- W1487921861 hasConceptScore W1487921861C154945302 @default.
- W1487921861 hasConceptScore W1487921861C156325763 @default.
- W1487921861 hasConceptScore W1487921861C184337299 @default.
- W1487921861 hasConceptScore W1487921861C185592680 @default.
- W1487921861 hasConceptScore W1487921861C188027245 @default.
- W1487921861 hasConceptScore W1487921861C195818886 @default.
- W1487921861 hasConceptScore W1487921861C199360897 @default.
- W1487921861 hasConceptScore W1487921861C27508121 @default.
- W1487921861 hasConceptScore W1487921861C41008148 @default.
- W1487921861 hasConceptScore W1487921861C71139939 @default.
- W1487921861 hasConceptScore W1487921861C80444323 @default.
- W1487921861 hasLocation W14879218611 @default.
- W1487921861 hasOpenAccess W1487921861 @default.
- W1487921861 hasPrimaryLocation W14879218611 @default.
- W1487921861 hasRelatedWork W1515545234 @default.
- W1487921861 hasRelatedWork W1527412528 @default.
- W1487921861 hasRelatedWork W1584072175 @default.
- W1487921861 hasRelatedWork W1944141046 @default.
- W1487921861 hasRelatedWork W2069376434 @default.
- W1487921861 hasRelatedWork W2152348170 @default.
- W1487921861 hasRelatedWork W2385186239 @default.
- W1487921861 hasRelatedWork W2414329562 @default.
- W1487921861 hasRelatedWork W318833262 @default.
- W1487921861 hasRelatedWork W4287393491 @default.
- W1487921861 isParatext "false" @default.
- W1487921861 isRetracted "false" @default.
- W1487921861 magId "1487921861" @default.
- W1487921861 workType "book-chapter" @default.