Matches in SemOpenAlex for { <https://semopenalex.org/work/W1837375852> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1837375852 endingPage "121" @default.
- W1837375852 startingPage "112" @default.
- W1837375852 abstract "A partially defined Boolean function (pdBf) (T, F) generalizes a Boolean function, by allowing that the function values on some inputs are unknown, where T, F ⊆ {0,1}n are disjoint sets of true and false vectors, respectively. A pdBf (T, F) often arises in conjunction with data analysis, and in such a case, it is natural and important to decide if (T, F) has an extension f : {0,1}n → {0,1} such that f(v) = 1 (resp., 0) for all χ ε T (resp., χ ε F). It may also be required that such an extension f is Horn, because the false set of a Horn function can be described by Horn rules (whose satisfiability problem can be solved in polynomial time). In this paper, we introduce two interesting restrictions of Horn functions, namely double and bidual Horn functions, because both true and false sets of such functions can be described by Horn-like rules, and furthermore, abduction, one of the basic operation of expert systems, for such functions can be done in polynomial time, whereas abduction for general Horn functions is NP-hard. Our main results show that deciding if a pdBf has extensions of such functions can be done in polynomial time." @default.
- W1837375852 created "2016-06-24" @default.
- W1837375852 creator A5029292642 @default.
- W1837375852 creator A5031909273 @default.
- W1837375852 creator A5082178480 @default.
- W1837375852 date "1997-01-01" @default.
- W1837375852 modified "2023-09-26" @default.
- W1837375852 title "Two-face horn extensions" @default.
- W1837375852 cites W1509428113 @default.
- W1837375852 cites W1971132311 @default.
- W1837375852 cites W1990216234 @default.
- W1837375852 cites W2011992362 @default.
- W1837375852 cites W2024768126 @default.
- W1837375852 cites W2035824165 @default.
- W1837375852 cites W2037492531 @default.
- W1837375852 cites W4238893454 @default.
- W1837375852 doi "https://doi.org/10.1007/3-540-63890-3_13" @default.
- W1837375852 hasPublicationYear "1997" @default.
- W1837375852 type Work @default.
- W1837375852 sameAs 1837375852 @default.
- W1837375852 citedByCount "0" @default.
- W1837375852 crossrefType "book-chapter" @default.
- W1837375852 hasAuthorship W1837375852A5029292642 @default.
- W1837375852 hasAuthorship W1837375852A5031909273 @default.
- W1837375852 hasAuthorship W1837375852A5082178480 @default.
- W1837375852 hasConcept C11413529 @default.
- W1837375852 hasConcept C114614502 @default.
- W1837375852 hasConcept C118615104 @default.
- W1837375852 hasConcept C128838566 @default.
- W1837375852 hasConcept C134306372 @default.
- W1837375852 hasConcept C14036430 @default.
- W1837375852 hasConcept C152076505 @default.
- W1837375852 hasConcept C15744967 @default.
- W1837375852 hasConcept C168773769 @default.
- W1837375852 hasConcept C177264268 @default.
- W1837375852 hasConcept C187455244 @default.
- W1837375852 hasConcept C189790780 @default.
- W1837375852 hasConcept C19417346 @default.
- W1837375852 hasConcept C199360897 @default.
- W1837375852 hasConcept C2778029271 @default.
- W1837375852 hasConcept C311688 @default.
- W1837375852 hasConcept C33923547 @default.
- W1837375852 hasConcept C41008148 @default.
- W1837375852 hasConcept C45340560 @default.
- W1837375852 hasConcept C78458016 @default.
- W1837375852 hasConcept C80444323 @default.
- W1837375852 hasConcept C86803240 @default.
- W1837375852 hasConcept C90119067 @default.
- W1837375852 hasConceptScore W1837375852C11413529 @default.
- W1837375852 hasConceptScore W1837375852C114614502 @default.
- W1837375852 hasConceptScore W1837375852C118615104 @default.
- W1837375852 hasConceptScore W1837375852C128838566 @default.
- W1837375852 hasConceptScore W1837375852C134306372 @default.
- W1837375852 hasConceptScore W1837375852C14036430 @default.
- W1837375852 hasConceptScore W1837375852C152076505 @default.
- W1837375852 hasConceptScore W1837375852C15744967 @default.
- W1837375852 hasConceptScore W1837375852C168773769 @default.
- W1837375852 hasConceptScore W1837375852C177264268 @default.
- W1837375852 hasConceptScore W1837375852C187455244 @default.
- W1837375852 hasConceptScore W1837375852C189790780 @default.
- W1837375852 hasConceptScore W1837375852C19417346 @default.
- W1837375852 hasConceptScore W1837375852C199360897 @default.
- W1837375852 hasConceptScore W1837375852C2778029271 @default.
- W1837375852 hasConceptScore W1837375852C311688 @default.
- W1837375852 hasConceptScore W1837375852C33923547 @default.
- W1837375852 hasConceptScore W1837375852C41008148 @default.
- W1837375852 hasConceptScore W1837375852C45340560 @default.
- W1837375852 hasConceptScore W1837375852C78458016 @default.
- W1837375852 hasConceptScore W1837375852C80444323 @default.
- W1837375852 hasConceptScore W1837375852C86803240 @default.
- W1837375852 hasConceptScore W1837375852C90119067 @default.
- W1837375852 hasLocation W18373758521 @default.
- W1837375852 hasOpenAccess W1837375852 @default.
- W1837375852 hasPrimaryLocation W18373758521 @default.
- W1837375852 hasRelatedWork W1205694693 @default.
- W1837375852 hasRelatedWork W1607453745 @default.
- W1837375852 hasRelatedWork W1721501378 @default.
- W1837375852 hasRelatedWork W1741233485 @default.
- W1837375852 hasRelatedWork W1963559764 @default.
- W1837375852 hasRelatedWork W1968597711 @default.
- W1837375852 hasRelatedWork W1996070840 @default.
- W1837375852 hasRelatedWork W2056749900 @default.
- W1837375852 hasRelatedWork W2103605094 @default.
- W1837375852 hasRelatedWork W2199175256 @default.
- W1837375852 hasRelatedWork W2397192629 @default.
- W1837375852 hasRelatedWork W2417273130 @default.
- W1837375852 hasRelatedWork W2603087705 @default.
- W1837375852 hasRelatedWork W2942073256 @default.
- W1837375852 hasRelatedWork W2950769787 @default.
- W1837375852 hasRelatedWork W2951829047 @default.
- W1837375852 hasRelatedWork W2952147886 @default.
- W1837375852 hasRelatedWork W2952783120 @default.
- W1837375852 hasRelatedWork W3170725852 @default.
- W1837375852 hasRelatedWork W2169638123 @default.
- W1837375852 isParatext "false" @default.
- W1837375852 isRetracted "false" @default.
- W1837375852 magId "1837375852" @default.
- W1837375852 workType "book-chapter" @default.