Matches in SemOpenAlex for { <https://semopenalex.org/work/W1873174914> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1873174914 endingPage "170" @default.
- W1873174914 startingPage "156" @default.
- W1873174914 abstract "We describe an alternative construction of an existing canonical representation for definite Horn theories, the Guigues-Duquenne basis (or GD basis), which minimizes a natural notion of implicational size. We extend the canonical representation to general Horn, by providing a reduction from definite to general Horn CNF. We show how this representation relates to two topics in query learning theory: first, we show that a well-known algorithm by Angluin, Frazier and Pitt that learns Horn CNF always outputs the GD basis independently of the counterexamples it receives; second, we build strong polynomial certificates for Horn CNF directly from the GD basis." @default.
- W1873174914 created "2016-06-24" @default.
- W1873174914 creator A5007835329 @default.
- W1873174914 creator A5046454039 @default.
- W1873174914 date "2009-01-01" @default.
- W1873174914 modified "2023-10-18" @default.
- W1873174914 title "Canonical Horn Representations and Query Learning" @default.
- W1873174914 cites W1551410838 @default.
- W1873174914 cites W2013012666 @default.
- W1873174914 cites W2058269520 @default.
- W1873174914 cites W2072284346 @default.
- W1873174914 cites W2085089824 @default.
- W1873174914 cites W2163148061 @default.
- W1873174914 cites W2913371065 @default.
- W1873174914 cites W4210406996 @default.
- W1873174914 doi "https://doi.org/10.1007/978-3-642-04414-4_16" @default.
- W1873174914 hasPublicationYear "2009" @default.
- W1873174914 type Work @default.
- W1873174914 sameAs 1873174914 @default.
- W1873174914 citedByCount "8" @default.
- W1873174914 countsByYear W18731749142015 @default.
- W1873174914 countsByYear W18731749142016 @default.
- W1873174914 countsByYear W18731749142017 @default.
- W1873174914 countsByYear W18731749142020 @default.
- W1873174914 crossrefType "book-chapter" @default.
- W1873174914 hasAuthorship W1873174914A5007835329 @default.
- W1873174914 hasAuthorship W1873174914A5046454039 @default.
- W1873174914 hasBestOaLocation W18731749142 @default.
- W1873174914 hasConcept C111335779 @default.
- W1873174914 hasConcept C11413529 @default.
- W1873174914 hasConcept C118615104 @default.
- W1873174914 hasConcept C12426560 @default.
- W1873174914 hasConcept C136119220 @default.
- W1873174914 hasConcept C152076505 @default.
- W1873174914 hasConcept C154945302 @default.
- W1873174914 hasConcept C15744967 @default.
- W1873174914 hasConcept C161301231 @default.
- W1873174914 hasConcept C162838799 @default.
- W1873174914 hasConcept C17744445 @default.
- W1873174914 hasConcept C189790780 @default.
- W1873174914 hasConcept C19417346 @default.
- W1873174914 hasConcept C199539241 @default.
- W1873174914 hasConcept C202444582 @default.
- W1873174914 hasConcept C204707403 @default.
- W1873174914 hasConcept C2524010 @default.
- W1873174914 hasConcept C2776359362 @default.
- W1873174914 hasConcept C33923547 @default.
- W1873174914 hasConcept C41008148 @default.
- W1873174914 hasConcept C80444323 @default.
- W1873174914 hasConcept C81721847 @default.
- W1873174914 hasConcept C94625758 @default.
- W1873174914 hasConceptScore W1873174914C111335779 @default.
- W1873174914 hasConceptScore W1873174914C11413529 @default.
- W1873174914 hasConceptScore W1873174914C118615104 @default.
- W1873174914 hasConceptScore W1873174914C12426560 @default.
- W1873174914 hasConceptScore W1873174914C136119220 @default.
- W1873174914 hasConceptScore W1873174914C152076505 @default.
- W1873174914 hasConceptScore W1873174914C154945302 @default.
- W1873174914 hasConceptScore W1873174914C15744967 @default.
- W1873174914 hasConceptScore W1873174914C161301231 @default.
- W1873174914 hasConceptScore W1873174914C162838799 @default.
- W1873174914 hasConceptScore W1873174914C17744445 @default.
- W1873174914 hasConceptScore W1873174914C189790780 @default.
- W1873174914 hasConceptScore W1873174914C19417346 @default.
- W1873174914 hasConceptScore W1873174914C199539241 @default.
- W1873174914 hasConceptScore W1873174914C202444582 @default.
- W1873174914 hasConceptScore W1873174914C204707403 @default.
- W1873174914 hasConceptScore W1873174914C2524010 @default.
- W1873174914 hasConceptScore W1873174914C2776359362 @default.
- W1873174914 hasConceptScore W1873174914C33923547 @default.
- W1873174914 hasConceptScore W1873174914C41008148 @default.
- W1873174914 hasConceptScore W1873174914C80444323 @default.
- W1873174914 hasConceptScore W1873174914C81721847 @default.
- W1873174914 hasConceptScore W1873174914C94625758 @default.
- W1873174914 hasLocation W18731749141 @default.
- W1873174914 hasLocation W18731749142 @default.
- W1873174914 hasOpenAccess W1873174914 @default.
- W1873174914 hasPrimaryLocation W18731749141 @default.
- W1873174914 hasRelatedWork W1873174914 @default.
- W1873174914 hasRelatedWork W1991403408 @default.
- W1873174914 hasRelatedWork W2037627602 @default.
- W1873174914 hasRelatedWork W2060706274 @default.
- W1873174914 hasRelatedWork W2293371496 @default.
- W1873174914 hasRelatedWork W2390742962 @default.
- W1873174914 hasRelatedWork W2600034178 @default.
- W1873174914 hasRelatedWork W2916339298 @default.
- W1873174914 hasRelatedWork W3102469351 @default.
- W1873174914 hasRelatedWork W4297728946 @default.
- W1873174914 isParatext "false" @default.
- W1873174914 isRetracted "false" @default.
- W1873174914 magId "1873174914" @default.
- W1873174914 workType "book-chapter" @default.