Matches in SemOpenAlex for { <https://semopenalex.org/work/W2084492166> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2084492166 endingPage "288" @default.
- W2084492166 startingPage "269" @default.
- W2084492166 abstract "In this paper, we study issues on disjunctions of propositional Horn theories. In particular, we consider the problems of deciding whether a disjunction of Horn theories is Horn, and, if not, computing a Horn core (i.e., a maximal Horn theory included in this disjunction) and the Horn envelope (i.e., the minimum Horn theory including the disjunction), where a Horn core and the Horn envelope are important approximations of the original theory in artificial intelligence. The problems are investigated for two different representations of Horn theories, namely, for Horn conjunctive normal forms (CNFs) and characteristic models. While the problems are shown to be intractable in general, in the case of bounded disjunctions, we present polynomial time algorithms for testing the Horn property in both representations and for computing a Horn core in the CNF representation. Even in the case of bounded disjunction, no polynomial algorithm exists (unless P=NP) for computing a Horn core in the characteristic model representation. Computing the Horn envelope is polynomial in the characteristic model representation, while it is exponential in the CNF representation, even for bounded disjunction." @default.
- W2084492166 created "2016-06-24" @default.
- W2084492166 creator A5029292642 @default.
- W2084492166 creator A5031909273 @default.
- W2084492166 creator A5082178480 @default.
- W2084492166 date "2001-01-01" @default.
- W2084492166 modified "2023-10-16" @default.
- W2084492166 title "Disjunctions of Horn Theories and Their Cores" @default.
- W2084492166 cites W1503328822 @default.
- W2084492166 cites W1543515168 @default.
- W2084492166 cites W1964821516 @default.
- W2084492166 cites W1971132311 @default.
- W2084492166 cites W2007940874 @default.
- W2084492166 cites W2011992362 @default.
- W2084492166 cites W2016515719 @default.
- W2084492166 cites W2038897673 @default.
- W2084492166 cites W2056277969 @default.
- W2084492166 cites W2058269520 @default.
- W2084492166 cites W2064560955 @default.
- W2084492166 cites W2094873706 @default.
- W2084492166 cites W2145062905 @default.
- W2084492166 doi "https://doi.org/10.1137/s0097539799350840" @default.
- W2084492166 hasPublicationYear "2001" @default.
- W2084492166 type Work @default.
- W2084492166 sameAs 2084492166 @default.
- W2084492166 citedByCount "2" @default.
- W2084492166 countsByYear W20844921662012 @default.
- W2084492166 crossrefType "journal-article" @default.
- W2084492166 hasAuthorship W2084492166A5029292642 @default.
- W2084492166 hasAuthorship W2084492166A5031909273 @default.
- W2084492166 hasAuthorship W2084492166A5082178480 @default.
- W2084492166 hasConcept C114614502 @default.
- W2084492166 hasConcept C118615104 @default.
- W2084492166 hasConcept C121332964 @default.
- W2084492166 hasConcept C128838566 @default.
- W2084492166 hasConcept C134306372 @default.
- W2084492166 hasConcept C152076505 @default.
- W2084492166 hasConcept C154945302 @default.
- W2084492166 hasConcept C17744445 @default.
- W2084492166 hasConcept C189790780 @default.
- W2084492166 hasConcept C199539241 @default.
- W2084492166 hasConcept C2164484 @default.
- W2084492166 hasConcept C24890656 @default.
- W2084492166 hasConcept C2776359362 @default.
- W2084492166 hasConcept C33923547 @default.
- W2084492166 hasConcept C34388435 @default.
- W2084492166 hasConcept C41008148 @default.
- W2084492166 hasConcept C554190296 @default.
- W2084492166 hasConcept C65155139 @default.
- W2084492166 hasConcept C76155785 @default.
- W2084492166 hasConcept C90119067 @default.
- W2084492166 hasConcept C94625758 @default.
- W2084492166 hasConceptScore W2084492166C114614502 @default.
- W2084492166 hasConceptScore W2084492166C118615104 @default.
- W2084492166 hasConceptScore W2084492166C121332964 @default.
- W2084492166 hasConceptScore W2084492166C128838566 @default.
- W2084492166 hasConceptScore W2084492166C134306372 @default.
- W2084492166 hasConceptScore W2084492166C152076505 @default.
- W2084492166 hasConceptScore W2084492166C154945302 @default.
- W2084492166 hasConceptScore W2084492166C17744445 @default.
- W2084492166 hasConceptScore W2084492166C189790780 @default.
- W2084492166 hasConceptScore W2084492166C199539241 @default.
- W2084492166 hasConceptScore W2084492166C2164484 @default.
- W2084492166 hasConceptScore W2084492166C24890656 @default.
- W2084492166 hasConceptScore W2084492166C2776359362 @default.
- W2084492166 hasConceptScore W2084492166C33923547 @default.
- W2084492166 hasConceptScore W2084492166C34388435 @default.
- W2084492166 hasConceptScore W2084492166C41008148 @default.
- W2084492166 hasConceptScore W2084492166C554190296 @default.
- W2084492166 hasConceptScore W2084492166C65155139 @default.
- W2084492166 hasConceptScore W2084492166C76155785 @default.
- W2084492166 hasConceptScore W2084492166C90119067 @default.
- W2084492166 hasConceptScore W2084492166C94625758 @default.
- W2084492166 hasIssue "1" @default.
- W2084492166 hasLocation W20844921661 @default.
- W2084492166 hasOpenAccess W2084492166 @default.
- W2084492166 hasPrimaryLocation W20844921661 @default.
- W2084492166 hasRelatedWork W1978042415 @default.
- W2084492166 hasRelatedWork W1978343600 @default.
- W2084492166 hasRelatedWork W2035725027 @default.
- W2084492166 hasRelatedWork W2040475127 @default.
- W2084492166 hasRelatedWork W2042726902 @default.
- W2084492166 hasRelatedWork W2085518646 @default.
- W2084492166 hasRelatedWork W2136053165 @default.
- W2084492166 hasRelatedWork W2170520833 @default.
- W2084492166 hasRelatedWork W2252346974 @default.
- W2084492166 hasRelatedWork W2372612917 @default.
- W2084492166 hasVolume "31" @default.
- W2084492166 isParatext "false" @default.
- W2084492166 isRetracted "false" @default.
- W2084492166 magId "2084492166" @default.
- W2084492166 workType "article" @default.