Matches in SemOpenAlex for { <https://semopenalex.org/work/W2626086289> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2626086289 endingPage "381" @default.
- W2626086289 startingPage "373" @default.
- W2626086289 abstract "The satisfiability problem for monadic infinite-valued Godel logic is known to be undecidable. We identify a fragment of this logic extended with strong negation whose satisfiability is not only decidable but it is decidable within classical logic. We use this fragment to formalize the rules of CADIAG-2, a well performing fuzzy expert system assisting in the differential diagnosis in internal medicine. A (classical) satisfiability check of the resulting formulas allowed the detection of some errors in the rules of the system." @default.
- W2626086289 created "2017-06-23" @default.
- W2626086289 creator A5073628300 @default.
- W2626086289 creator A5086733054 @default.
- W2626086289 date "2010-05-09" @default.
- W2626086289 modified "2023-09-23" @default.
- W2626086289 title "On the classical content of monadic G" @default.
- W2626086289 cites W1516119557 @default.
- W2626086289 cites W1559604614 @default.
- W2626086289 cites W1781692281 @default.
- W2626086289 cites W1971314708 @default.
- W2626086289 cites W1985274317 @default.
- W2626086289 cites W1993433997 @default.
- W2626086289 cites W1995994151 @default.
- W2626086289 cites W2015175446 @default.
- W2626086289 cites W2018957484 @default.
- W2626086289 cites W2046352002 @default.
- W2626086289 cites W2048326507 @default.
- W2626086289 cites W2060494994 @default.
- W2626086289 cites W2082736027 @default.
- W2626086289 cites W2102173931 @default.
- W2626086289 cites W2202664689 @default.
- W2626086289 cites W2334611908 @default.
- W2626086289 cites W31419782 @default.
- W2626086289 cites W2140826798 @default.
- W2626086289 hasPublicationYear "2010" @default.
- W2626086289 type Work @default.
- W2626086289 sameAs 2626086289 @default.
- W2626086289 citedByCount "0" @default.
- W2626086289 crossrefType "proceedings-article" @default.
- W2626086289 hasAuthorship W2626086289A5073628300 @default.
- W2626086289 hasAuthorship W2626086289A5086733054 @default.
- W2626086289 hasConcept C102993220 @default.
- W2626086289 hasConcept C11413529 @default.
- W2626086289 hasConcept C118615104 @default.
- W2626086289 hasConcept C124656256 @default.
- W2626086289 hasConcept C153269930 @default.
- W2626086289 hasConcept C168773769 @default.
- W2626086289 hasConcept C169896238 @default.
- W2626086289 hasConcept C192034797 @default.
- W2626086289 hasConcept C199360897 @default.
- W2626086289 hasConcept C2185349 @default.
- W2626086289 hasConcept C2776235265 @default.
- W2626086289 hasConcept C33923547 @default.
- W2626086289 hasConcept C41008148 @default.
- W2626086289 hasConcept C6943359 @default.
- W2626086289 hasConcept C80444323 @default.
- W2626086289 hasConceptScore W2626086289C102993220 @default.
- W2626086289 hasConceptScore W2626086289C11413529 @default.
- W2626086289 hasConceptScore W2626086289C118615104 @default.
- W2626086289 hasConceptScore W2626086289C124656256 @default.
- W2626086289 hasConceptScore W2626086289C153269930 @default.
- W2626086289 hasConceptScore W2626086289C168773769 @default.
- W2626086289 hasConceptScore W2626086289C169896238 @default.
- W2626086289 hasConceptScore W2626086289C192034797 @default.
- W2626086289 hasConceptScore W2626086289C199360897 @default.
- W2626086289 hasConceptScore W2626086289C2185349 @default.
- W2626086289 hasConceptScore W2626086289C2776235265 @default.
- W2626086289 hasConceptScore W2626086289C33923547 @default.
- W2626086289 hasConceptScore W2626086289C41008148 @default.
- W2626086289 hasConceptScore W2626086289C6943359 @default.
- W2626086289 hasConceptScore W2626086289C80444323 @default.
- W2626086289 hasLocation W26260862891 @default.
- W2626086289 hasOpenAccess W2626086289 @default.
- W2626086289 hasPrimaryLocation W26260862891 @default.
- W2626086289 hasRelatedWork W110471801 @default.
- W2626086289 hasRelatedWork W1747570770 @default.
- W2626086289 hasRelatedWork W1998665045 @default.
- W2626086289 hasRelatedWork W2039504806 @default.
- W2626086289 hasRelatedWork W2047674711 @default.
- W2626086289 hasRelatedWork W2074507365 @default.
- W2626086289 hasRelatedWork W2098086155 @default.
- W2626086289 hasRelatedWork W2154551318 @default.
- W2626086289 hasRelatedWork W2166108892 @default.
- W2626086289 hasRelatedWork W2397546146 @default.
- W2626086289 hasRelatedWork W2530320023 @default.
- W2626086289 hasRelatedWork W2623287016 @default.
- W2626086289 hasRelatedWork W2625290595 @default.
- W2626086289 hasRelatedWork W2971036089 @default.
- W2626086289 hasRelatedWork W2996054020 @default.
- W2626086289 hasRelatedWork W3037251419 @default.
- W2626086289 hasRelatedWork W3101316517 @default.
- W2626086289 hasRelatedWork W3102630320 @default.
- W2626086289 hasRelatedWork W3173763635 @default.
- W2626086289 hasRelatedWork W2140826798 @default.
- W2626086289 isParatext "false" @default.
- W2626086289 isRetracted "false" @default.
- W2626086289 magId "2626086289" @default.
- W2626086289 workType "article" @default.