FRINK Linked Data Fragments server

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

• W1619383609 endingPage "14" @default.
• W1619383609 startingPage "6" @default.
• W1619383609 abstract "In this paper, we investigate the extent to which knowledge compilation can be used to improve inference from propositional weighted bases. We present a general notion of compilation of a weighted base that is parametrized by any equivalence--preserving compilation function. Both negative and positive results are presented. On the one hand, complexity results are identified, showing that the inference problem from a compiled weighted base is as difficult as in the general case, when the prime implicates, Horn cover or renamable Horn cover classes are targeted. On the other hand, we show that the inference problem becomes tractable whenever DNNF-compilations are used and clausal queries are considered. Moreover, we show that the set of all preferred models of a DNNF-compilation of a weighted base can be computed in time polynomial in the output size. Finally, we sketch how our results can be used in model-based diagnosis in order to compute the most probable diagnoses of a system." @default.
• W1619383609 created "2016-06-24" @default.
• W1619383609 creator A5027252816 @default.
• W1619383609 creator A5040136820 @default.
• W1619383609 date "2002-01-01" @default.
• W1619383609 modified "2023-09-25" @default.
• W1619383609 title "Compilation of propositional weighted bases." @default.
• W1619383609 cites W135021344 @default.
• W1619383609 cites W145128706 @default.
• W1619383609 cites W1532399371 @default.
• W1619383609 cites W153310096 @default.
• W1619383609 cites W1552671751 @default.
• W1619383609 cites W158909102 @default.
• W1619383609 cites W1589170163 @default.
• W1619383609 cites W1591679289 @default.
• W1619383609 cites W1599103728 @default.
• W1619383609 cites W160668204 @default.
• W1619383609 cites W1832793528 @default.
• W1619383609 cites W186100420 @default.
• W1619383609 cites W1986660301 @default.
• W1619383609 cites W2036368940 @default.
• W1619383609 cites W2038897673 @default.
• W1619383609 cites W2108309071 @default.
• W1619383609 cites W32253310 @default.
• W1619383609 cites W35390552 @default.
• W1619383609 cites W48425311 @default.
• W1619383609 cites W53280043 @default.
• W1619383609 cites W93661324 @default.
• W1619383609 hasPublicationYear "2002" @default.
• W1619383609 type Work @default.
• W1619383609 sameAs 1619383609 @default.
• W1619383609 citedByCount "4" @default.
• W1619383609 crossrefType "proceedings-article" @default.
• W1619383609 hasAuthorship W1619383609A5027252816 @default.
• W1619383609 hasAuthorship W1619383609A5040136820 @default.
• W1619383609 hasConcept C102993220 @default.
• W1619383609 hasConcept C11413529 @default.
• W1619383609 hasConcept C118615104 @default.
• W1619383609 hasConcept C127413603 @default.
• W1619383609 hasConcept C134306372 @default.
• W1619383609 hasConcept C14523651 @default.
• W1619383609 hasConcept C154945302 @default.
• W1619383609 hasConcept C177264268 @default.
• W1619383609 hasConcept C189790780 @default.
• W1619383609 hasConcept C199360897 @default.
• W1619383609 hasConcept C2776214188 @default.
• W1619383609 hasConcept C2779231336 @default.
• W1619383609 hasConcept C2780069185 @default.
• W1619383609 hasConcept C2780428219 @default.
• W1619383609 hasConcept C311688 @default.
• W1619383609 hasConcept C33203268 @default.
• W1619383609 hasConcept C33923547 @default.
• W1619383609 hasConcept C41008148 @default.
• W1619383609 hasConcept C42058472 @default.
• W1619383609 hasConcept C4554734 @default.
• W1619383609 hasConcept C69562738 @default.
• W1619383609 hasConcept C74640108 @default.
• W1619383609 hasConcept C78519656 @default.
• W1619383609 hasConcept C80444323 @default.
• W1619383609 hasConcept C81721847 @default.
• W1619383609 hasConceptScore W1619383609C102993220 @default.
• W1619383609 hasConceptScore W1619383609C11413529 @default.
• W1619383609 hasConceptScore W1619383609C118615104 @default.
• W1619383609 hasConceptScore W1619383609C127413603 @default.
• W1619383609 hasConceptScore W1619383609C134306372 @default.
• W1619383609 hasConceptScore W1619383609C14523651 @default.
• W1619383609 hasConceptScore W1619383609C154945302 @default.
• W1619383609 hasConceptScore W1619383609C177264268 @default.
• W1619383609 hasConceptScore W1619383609C189790780 @default.
• W1619383609 hasConceptScore W1619383609C199360897 @default.
• W1619383609 hasConceptScore W1619383609C2776214188 @default.
• W1619383609 hasConceptScore W1619383609C2779231336 @default.
• W1619383609 hasConceptScore W1619383609C2780069185 @default.
• W1619383609 hasConceptScore W1619383609C2780428219 @default.
• W1619383609 hasConceptScore W1619383609C311688 @default.
• W1619383609 hasConceptScore W1619383609C33203268 @default.
• W1619383609 hasConceptScore W1619383609C33923547 @default.
• W1619383609 hasConceptScore W1619383609C41008148 @default.
• W1619383609 hasConceptScore W1619383609C42058472 @default.
• W1619383609 hasConceptScore W1619383609C4554734 @default.
• W1619383609 hasConceptScore W1619383609C69562738 @default.
• W1619383609 hasConceptScore W1619383609C74640108 @default.
• W1619383609 hasConceptScore W1619383609C78519656 @default.
• W1619383609 hasConceptScore W1619383609C80444323 @default.
• W1619383609 hasConceptScore W1619383609C81721847 @default.
• W1619383609 hasLocation W16193836091 @default.
• W1619383609 hasOpenAccess W1619383609 @default.
• W1619383609 hasPrimaryLocation W16193836091 @default.
• W1619383609 hasRelatedWork W111435178 @default.
• W1619383609 hasRelatedWork W1497178602 @default.
• W1619383609 hasRelatedWork W1575601096 @default.
• W1619383609 hasRelatedWork W1941412300 @default.
• W1619383609 hasRelatedWork W1986660301 @default.
• W1619383609 hasRelatedWork W1991188018 @default.
• W1619383609 hasRelatedWork W2038698301 @default.
• W1619383609 hasRelatedWork W2057299863 @default.
• W1619383609 hasRelatedWork W2096659722 @default.
• W1619383609 hasRelatedWork W2155102678 @default.

• next