FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2145838621> ?p ?o ?g. }

• W2145838621 abstract "This paper presents an algorithm for a non-standard logic-minimization problem that arises in 3-valued propositional logic. The problem is motivated by the potential for obtaining answers in applications that use 3-valued logic. An answer of 0 or 1 provides precise (definite) information; an answer of 1/2 provides imprecise (indefinite) information. By replacing a formula /spl phi/ with a better formula /spl psi/, we may improve the precision of the answers obtained. In this paper we give an algorithm that always produces a formula that is best (in a certain well-defined sense)." @default.
• W2145838621 created "2016-06-24" @default.
• W2145838621 creator A5002512849 @default.
• W2145838621 creator A5054314962 @default.
• W2145838621 creator A5066155126 @default.
• W2145838621 date "2003-06-25" @default.
• W2145838621 modified "2023-10-17" @default.
• W2145838621 title "Semantic minimization of 3-valued propositional formulae" @default.
• W2145838621 cites W1483568252 @default.
• W2145838621 cites W1494035541 @default.
• W2145838621 cites W1509905890 @default.
• W2145838621 cites W1557880268 @default.
• W2145838621 cites W178810723 @default.
• W2145838621 cites W184684370 @default.
• W2145838621 cites W1986558678 @default.
• W2145838621 cites W1991837261 @default.
• W2145838621 cites W2015809097 @default.
• W2145838621 cites W2060421516 @default.
• W2145838621 cites W2080267935 @default.
• W2145838621 cites W2082448265 @default.
• W2145838621 cites W2093713825 @default.
• W2145838621 cites W2120711629 @default.
• W2145838621 cites W2133491672 @default.
• W2145838621 cites W2135453964 @default.
• W2145838621 cites W2335478831 @default.
• W2145838621 cites W3142504807 @default.
• W2145838621 cites W592382802 @default.
• W2145838621 cites W6204907 @default.
• W2145838621 doi "https://doi.org/10.1109/lics.2002.1029816" @default.
• W2145838621 hasPublicationYear "2003" @default.
• W2145838621 type Work @default.
• W2145838621 sameAs 2145838621 @default.
• W2145838621 citedByCount "6" @default.
• W2145838621 crossrefType "proceedings-article" @default.
• W2145838621 hasAuthorship W2145838621A5002512849 @default.
• W2145838621 hasAuthorship W2145838621A5054314962 @default.
• W2145838621 hasAuthorship W2145838621A5066155126 @default.
• W2145838621 hasConcept C102993220 @default.
• W2145838621 hasConcept C110039528 @default.
• W2145838621 hasConcept C11413529 @default.
• W2145838621 hasConcept C118615104 @default.
• W2145838621 hasConcept C14523651 @default.
• W2145838621 hasConcept C147764199 @default.
• W2145838621 hasConcept C191222856 @default.
• W2145838621 hasConcept C199343813 @default.
• W2145838621 hasConcept C199360897 @default.
• W2145838621 hasConcept C203264685 @default.
• W2145838621 hasConcept C203659156 @default.
• W2145838621 hasConcept C2777686260 @default.
• W2145838621 hasConcept C33203268 @default.
• W2145838621 hasConcept C33923547 @default.
• W2145838621 hasConcept C41008148 @default.
• W2145838621 hasConcept C69562738 @default.
• W2145838621 hasConcept C71924100 @default.
• W2145838621 hasConcept C74640108 @default.
• W2145838621 hasConcept C80444323 @default.
• W2145838621 hasConceptScore W2145838621C102993220 @default.
• W2145838621 hasConceptScore W2145838621C110039528 @default.
• W2145838621 hasConceptScore W2145838621C11413529 @default.
• W2145838621 hasConceptScore W2145838621C118615104 @default.
• W2145838621 hasConceptScore W2145838621C14523651 @default.
• W2145838621 hasConceptScore W2145838621C147764199 @default.
• W2145838621 hasConceptScore W2145838621C191222856 @default.
• W2145838621 hasConceptScore W2145838621C199343813 @default.
• W2145838621 hasConceptScore W2145838621C199360897 @default.
• W2145838621 hasConceptScore W2145838621C203264685 @default.
• W2145838621 hasConceptScore W2145838621C203659156 @default.
• W2145838621 hasConceptScore W2145838621C2777686260 @default.
• W2145838621 hasConceptScore W2145838621C33203268 @default.
• W2145838621 hasConceptScore W2145838621C33923547 @default.
• W2145838621 hasConceptScore W2145838621C41008148 @default.
• W2145838621 hasConceptScore W2145838621C69562738 @default.
• W2145838621 hasConceptScore W2145838621C71924100 @default.
• W2145838621 hasConceptScore W2145838621C74640108 @default.
• W2145838621 hasConceptScore W2145838621C80444323 @default.
• W2145838621 hasLocation W21458386211 @default.
• W2145838621 hasOpenAccess W2145838621 @default.
• W2145838621 hasPrimaryLocation W21458386211 @default.
• W2145838621 hasRelatedWork W1481843134 @default.
• W2145838621 hasRelatedWork W1486676288 @default.
• W2145838621 hasRelatedWork W1556144545 @default.
• W2145838621 hasRelatedWork W1585413685 @default.
• W2145838621 hasRelatedWork W1588557629 @default.
• W2145838621 hasRelatedWork W1608348301 @default.
• W2145838621 hasRelatedWork W1654365180 @default.
• W2145838621 hasRelatedWork W1785611875 @default.
• W2145838621 hasRelatedWork W1887060990 @default.
• W2145838621 hasRelatedWork W1979548008 @default.
• W2145838621 hasRelatedWork W2015640848 @default.
• W2145838621 hasRelatedWork W2041513842 @default.
• W2145838621 hasRelatedWork W2072545857 @default.
• W2145838621 hasRelatedWork W2076677518 @default.
• W2145838621 hasRelatedWork W2389641976 @default.
• W2145838621 hasRelatedWork W290319452 @default.
• W2145838621 hasRelatedWork W2903795545 @default.
• W2145838621 hasRelatedWork W2909568504 @default.
• W2145838621 hasRelatedWork W6204907 @default.
• W2145838621 hasRelatedWork W2163893476 @default.
• W2145838621 isParatext "false" @default.
• W2145838621 isRetracted "false" @default.

• next