Matches in SemOpenAlex for { <https://semopenalex.org/work/W155509152> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W155509152 endingPage "465" @default.
- W155509152 startingPage "460" @default.
- W155509152 abstract "In this paper we demonstrate how general purpose automated theorem proving techniques can be used to solve realistic model-based diagnosis problems. For this we modify a model generating tableau calculus such that a model of a correctly behaving device can be used to guide the search for minimal diagnoses. Our experiments show that our general approach is competitive with specialized diagnosis systems." @default.
- W155509152 created "2016-06-24" @default.
- W155509152 creator A5025228331 @default.
- W155509152 creator A5025734145 @default.
- W155509152 creator A5074427964 @default.
- W155509152 creator A5085727504 @default.
- W155509152 date "1997-01-01" @default.
- W155509152 modified "2023-09-23" @default.
- W155509152 title "Semantically Guided Theorem Proving for Diagnosis Applications." @default.
- W155509152 cites W1526847838 @default.
- W155509152 cites W1528245710 @default.
- W155509152 cites W1530765221 @default.
- W155509152 cites W1535876728 @default.
- W155509152 cites W1764789126 @default.
- W155509152 cites W1924552249 @default.
- W155509152 cites W2108309071 @default.
- W155509152 cites W2912282119 @default.
- W155509152 hasPublicationYear "1997" @default.
- W155509152 type Work @default.
- W155509152 sameAs 155509152 @default.
- W155509152 citedByCount "16" @default.
- W155509152 countsByYear W1555091522013 @default.
- W155509152 countsByYear W1555091522015 @default.
- W155509152 countsByYear W1555091522016 @default.
- W155509152 countsByYear W1555091522023 @default.
- W155509152 crossrefType "proceedings-article" @default.
- W155509152 hasAuthorship W155509152A5025228331 @default.
- W155509152 hasAuthorship W155509152A5025734145 @default.
- W155509152 hasAuthorship W155509152A5074427964 @default.
- W155509152 hasAuthorship W155509152A5085727504 @default.
- W155509152 hasConcept C142724271 @default.
- W155509152 hasConcept C154945302 @default.
- W155509152 hasConcept C199343813 @default.
- W155509152 hasConcept C199360897 @default.
- W155509152 hasConcept C206880738 @default.
- W155509152 hasConcept C2777686260 @default.
- W155509152 hasConcept C41008148 @default.
- W155509152 hasConcept C534262118 @default.
- W155509152 hasConcept C71924100 @default.
- W155509152 hasConcept C80444323 @default.
- W155509152 hasConceptScore W155509152C142724271 @default.
- W155509152 hasConceptScore W155509152C154945302 @default.
- W155509152 hasConceptScore W155509152C199343813 @default.
- W155509152 hasConceptScore W155509152C199360897 @default.
- W155509152 hasConceptScore W155509152C206880738 @default.
- W155509152 hasConceptScore W155509152C2777686260 @default.
- W155509152 hasConceptScore W155509152C41008148 @default.
- W155509152 hasConceptScore W155509152C534262118 @default.
- W155509152 hasConceptScore W155509152C71924100 @default.
- W155509152 hasConceptScore W155509152C80444323 @default.
- W155509152 hasLocation W1555091521 @default.
- W155509152 hasOpenAccess W155509152 @default.
- W155509152 hasPrimaryLocation W1555091521 @default.
- W155509152 hasRelatedWork W1505787149 @default.
- W155509152 hasRelatedWork W1528245710 @default.
- W155509152 hasRelatedWork W1530765221 @default.
- W155509152 hasRelatedWork W1534081973 @default.
- W155509152 hasRelatedWork W1541434994 @default.
- W155509152 hasRelatedWork W1554618854 @default.
- W155509152 hasRelatedWork W1594393861 @default.
- W155509152 hasRelatedWork W1749992561 @default.
- W155509152 hasRelatedWork W1924552249 @default.
- W155509152 hasRelatedWork W1985214226 @default.
- W155509152 hasRelatedWork W2025252200 @default.
- W155509152 hasRelatedWork W2108309071 @default.
- W155509152 hasRelatedWork W2149420462 @default.
- W155509152 hasRelatedWork W2167440926 @default.
- W155509152 hasRelatedWork W2486519520 @default.
- W155509152 hasRelatedWork W2612664774 @default.
- W155509152 hasRelatedWork W2912282119 @default.
- W155509152 hasRelatedWork W2945259913 @default.
- W155509152 hasRelatedWork W2952409637 @default.
- W155509152 hasRelatedWork W83671853 @default.
- W155509152 isParatext "false" @default.
- W155509152 isRetracted "false" @default.
- W155509152 magId "155509152" @default.
- W155509152 workType "article" @default.