Matches in SemOpenAlex for { <https://semopenalex.org/work/W2074329767> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2074329767 endingPage "51" @default.
- W2074329767 startingPage "19" @default.
- W2074329767 abstract "In this paper we propose a new characterization of model-based diagnosis based on process algebras, a framework which is widely used in several areas of computer science. We show that process algebras provide a powerful modelling language which allows us to capture, in an uniform way, different types of models of physical systems, including models of time-varying and dynamic behavior. Then we provide a characterization of diagnosis which is equivalent to the “classical” abductive one. This suggests new interesting opportunities for research on relations between model-based reasoning and process algebras." @default.
- W2074329767 created "2016-06-24" @default.
- W2074329767 creator A5000149450 @default.
- W2074329767 creator A5056949757 @default.
- W2074329767 creator A5089677272 @default.
- W2074329767 date "2002-11-01" @default.
- W2074329767 modified "2023-09-30" @default.
- W2074329767 title "Process algebras for systems diagnosis" @default.
- W2074329767 cites W1966875184 @default.
- W2074329767 cites W1971107784 @default.
- W2074329767 cites W1979472512 @default.
- W2074329767 cites W1985787415 @default.
- W2074329767 cites W1989803316 @default.
- W2074329767 cites W1993842818 @default.
- W2074329767 cites W2003116861 @default.
- W2074329767 cites W2032511848 @default.
- W2074329767 cites W2035967924 @default.
- W2074329767 cites W2037481186 @default.
- W2074329767 cites W2043226702 @default.
- W2074329767 cites W2051993457 @default.
- W2074329767 cites W2056888327 @default.
- W2074329767 cites W2099395647 @default.
- W2074329767 cites W2108309071 @default.
- W2074329767 cites W2109142454 @default.
- W2074329767 cites W2118850201 @default.
- W2074329767 cites W2140627345 @default.
- W2074329767 cites W2152516279 @default.
- W2074329767 cites W2309036737 @default.
- W2074329767 doi "https://doi.org/10.1016/s0004-3702(02)00292-8" @default.
- W2074329767 hasPublicationYear "2002" @default.
- W2074329767 type Work @default.
- W2074329767 sameAs 2074329767 @default.
- W2074329767 citedByCount "41" @default.
- W2074329767 countsByYear W20743297672012 @default.
- W2074329767 countsByYear W20743297672014 @default.
- W2074329767 countsByYear W20743297672018 @default.
- W2074329767 countsByYear W20743297672020 @default.
- W2074329767 countsByYear W20743297672022 @default.
- W2074329767 crossrefType "journal-article" @default.
- W2074329767 hasAuthorship W2074329767A5000149450 @default.
- W2074329767 hasAuthorship W2074329767A5056949757 @default.
- W2074329767 hasAuthorship W2074329767A5089677272 @default.
- W2074329767 hasConcept C119857082 @default.
- W2074329767 hasConcept C154945302 @default.
- W2074329767 hasConcept C161771561 @default.
- W2074329767 hasConcept C171250308 @default.
- W2074329767 hasConcept C192562407 @default.
- W2074329767 hasConcept C199360897 @default.
- W2074329767 hasConcept C2780841128 @default.
- W2074329767 hasConcept C41008148 @default.
- W2074329767 hasConcept C80444323 @default.
- W2074329767 hasConcept C98045186 @default.
- W2074329767 hasConceptScore W2074329767C119857082 @default.
- W2074329767 hasConceptScore W2074329767C154945302 @default.
- W2074329767 hasConceptScore W2074329767C161771561 @default.
- W2074329767 hasConceptScore W2074329767C171250308 @default.
- W2074329767 hasConceptScore W2074329767C192562407 @default.
- W2074329767 hasConceptScore W2074329767C199360897 @default.
- W2074329767 hasConceptScore W2074329767C2780841128 @default.
- W2074329767 hasConceptScore W2074329767C41008148 @default.
- W2074329767 hasConceptScore W2074329767C80444323 @default.
- W2074329767 hasConceptScore W2074329767C98045186 @default.
- W2074329767 hasIssue "1" @default.
- W2074329767 hasLocation W20743297671 @default.
- W2074329767 hasOpenAccess W2074329767 @default.
- W2074329767 hasPrimaryLocation W20743297671 @default.
- W2074329767 hasRelatedWork W2961085424 @default.
- W2074329767 hasRelatedWork W3046775127 @default.
- W2074329767 hasRelatedWork W3170094116 @default.
- W2074329767 hasRelatedWork W4205958290 @default.
- W2074329767 hasRelatedWork W4285260836 @default.
- W2074329767 hasRelatedWork W4286629047 @default.
- W2074329767 hasRelatedWork W4306321456 @default.
- W2074329767 hasRelatedWork W4306674287 @default.
- W2074329767 hasRelatedWork W4386462264 @default.
- W2074329767 hasRelatedWork W4224009465 @default.
- W2074329767 hasVolume "142" @default.
- W2074329767 isParatext "false" @default.
- W2074329767 isRetracted "false" @default.
- W2074329767 magId "2074329767" @default.
- W2074329767 workType "article" @default.