Matches in SemOpenAlex for { <https://semopenalex.org/work/W53280043> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W53280043 endingPage "843" @default.
- W53280043 startingPage "837" @default.
- W53280043 abstract "In this paper, we are mainly concerned with logical compilations of propositional knowledge bases. We propose a new approach to equivalence-preserving knowledge compilation based on a generalization of the standard notion of prime implicate, the theory prime implicates. Our approach consists in taking advantage of tractable theories Φ implied by the knowledge base Σ to make Σ local by computing the theory prime implicates of Σ w.r.t. Φ. As a main result, query answering from theory prime implicates compilations can be done in time polynomial in their sizes. While there is no guarantee that the size of a compilation is not exponentially greater than the size of the original knowledge base, we show that it is smaller than the size of the prime implicates compilation in the general case and it can even be exponentially smaller. Additionally, we present some experimental results providing evidence for the substantial space savings achievable with our compilation technique." @default.
- W53280043 created "2016-06-24" @default.
- W53280043 creator A5040136820 @default.
- W53280043 date "1995-08-20" @default.
- W53280043 modified "2023-10-13" @default.
- W53280043 title "Knowledge compilation using theory prime implicates" @default.
- W53280043 cites W145128706 @default.
- W53280043 cites W1498304098 @default.
- W53280043 cites W1540422960 @default.
- W53280043 cites W1591679289 @default.
- W53280043 cites W1599103728 @default.
- W53280043 cites W1889333569 @default.
- W53280043 cites W1971224153 @default.
- W53280043 cites W1999647826 @default.
- W53280043 cites W2019184769 @default.
- W53280043 cites W2031784867 @default.
- W53280043 cites W2036265926 @default.
- W53280043 cites W2047315525 @default.
- W53280043 cites W2047669821 @default.
- W53280043 cites W2075057025 @default.
- W53280043 cites W2097412459 @default.
- W53280043 cites W2144078201 @default.
- W53280043 cites W2329329248 @default.
- W53280043 cites W2335478831 @default.
- W53280043 cites W2912336891 @default.
- W53280043 cites W3429031 @default.
- W53280043 cites W83435933 @default.
- W53280043 cites W1858590341 @default.
- W53280043 hasPublicationYear "1995" @default.
- W53280043 type Work @default.
- W53280043 sameAs 53280043 @default.
- W53280043 citedByCount "52" @default.
- W53280043 countsByYear W532800432013 @default.
- W53280043 countsByYear W532800432014 @default.
- W53280043 countsByYear W532800432015 @default.
- W53280043 countsByYear W532800432016 @default.
- W53280043 countsByYear W532800432018 @default.
- W53280043 countsByYear W532800432020 @default.
- W53280043 crossrefType "proceedings-article" @default.
- W53280043 hasAuthorship W53280043A5040136820 @default.
- W53280043 hasConcept C114614502 @default.
- W53280043 hasConcept C118615104 @default.
- W53280043 hasConcept C134306372 @default.
- W53280043 hasConcept C154945302 @default.
- W53280043 hasConcept C177148314 @default.
- W53280043 hasConcept C184992742 @default.
- W53280043 hasConcept C2780069185 @default.
- W53280043 hasConcept C30860621 @default.
- W53280043 hasConcept C33923547 @default.
- W53280043 hasConcept C41008148 @default.
- W53280043 hasConcept C42058472 @default.
- W53280043 hasConcept C4554734 @default.
- W53280043 hasConcept C80444323 @default.
- W53280043 hasConceptScore W53280043C114614502 @default.
- W53280043 hasConceptScore W53280043C118615104 @default.
- W53280043 hasConceptScore W53280043C134306372 @default.
- W53280043 hasConceptScore W53280043C154945302 @default.
- W53280043 hasConceptScore W53280043C177148314 @default.
- W53280043 hasConceptScore W53280043C184992742 @default.
- W53280043 hasConceptScore W53280043C2780069185 @default.
- W53280043 hasConceptScore W53280043C30860621 @default.
- W53280043 hasConceptScore W53280043C33923547 @default.
- W53280043 hasConceptScore W53280043C41008148 @default.
- W53280043 hasConceptScore W53280043C42058472 @default.
- W53280043 hasConceptScore W53280043C4554734 @default.
- W53280043 hasConceptScore W53280043C80444323 @default.
- W53280043 hasLocation W532800431 @default.
- W53280043 hasOpenAccess W53280043 @default.
- W53280043 hasPrimaryLocation W532800431 @default.
- W53280043 hasRelatedWork W128763912 @default.
- W53280043 hasRelatedWork W145128706 @default.
- W53280043 hasRelatedWork W1498304098 @default.
- W53280043 hasRelatedWork W1552671751 @default.
- W53280043 hasRelatedWork W1589170163 @default.
- W53280043 hasRelatedWork W1591679289 @default.
- W53280043 hasRelatedWork W1599103728 @default.
- W53280043 hasRelatedWork W1832793528 @default.
- W53280043 hasRelatedWork W186100420 @default.
- W53280043 hasRelatedWork W1889333569 @default.
- W53280043 hasRelatedWork W1986660301 @default.
- W53280043 hasRelatedWork W2010438070 @default.
- W53280043 hasRelatedWork W2030224590 @default.
- W53280043 hasRelatedWork W2038897673 @default.
- W53280043 hasRelatedWork W2080267935 @default.
- W53280043 hasRelatedWork W2097412459 @default.
- W53280043 hasRelatedWork W2144078201 @default.
- W53280043 hasRelatedWork W3099451540 @default.
- W53280043 hasRelatedWork W3429031 @default.
- W53280043 hasRelatedWork W83192606 @default.
- W53280043 isParatext "false" @default.
- W53280043 isRetracted "false" @default.
- W53280043 magId "53280043" @default.
- W53280043 workType "article" @default.