Matches in SemOpenAlex for { <https://semopenalex.org/work/W2937129136> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2937129136 endingPage "27" @default.
- W2937129136 startingPage "1" @default.
- W2937129136 abstract "Weighted model integration (WMI) is a recent formalism generalizing weighted model counting (WMC) to run probabilistic inference over hybrid domains, characterized by both discrete and continuous variables and relationships between them. WMI is computationally very demanding as it requires to explicitly enumerate all possible truth assignments to be integrated over. Component caching strategies which proved extremely effective for WMC are difficult to apply in this formalism because of the tight coupling induced by the arithmetic constraints. In this paper we present a novel formulation of WMI, which allows to exploit the power of SMT-based predicate abstraction techniques in designing efficient inference procedures. A novel algorithm combines a strong reduction in the number of models to be integrated over with their efficient enumeration. Experimental results on synthetic and real-world data show drastic computational improvements over the original WMI formulation as well as existing alternatives for hybrid inference." @default.
- W2937129136 created "2019-04-25" @default.
- W2937129136 creator A5066187890 @default.
- W2937129136 creator A5082785688 @default.
- W2937129136 creator A5088301538 @default.
- W2937129136 date "2019-10-01" @default.
- W2937129136 modified "2023-10-09" @default.
- W2937129136 title "Advanced SMT techniques for weighted model integration" @default.
- W2937129136 cites W1549899114 @default.
- W2937129136 cites W2014894062 @default.
- W2937129136 cites W2038282474 @default.
- W2937129136 cites W2054726834 @default.
- W2937129136 cites W2062818807 @default.
- W2937129136 cites W2094975553 @default.
- W2937129136 cites W2145503356 @default.
- W2937129136 cites W2522175069 @default.
- W2937129136 cites W3103993477 @default.
- W2937129136 cites W3104134886 @default.
- W2937129136 cites W3104376605 @default.
- W2937129136 cites W4300564796 @default.
- W2937129136 doi "https://doi.org/10.1016/j.artint.2019.04.003" @default.
- W2937129136 hasPublicationYear "2019" @default.
- W2937129136 type Work @default.
- W2937129136 sameAs 2937129136 @default.
- W2937129136 citedByCount "16" @default.
- W2937129136 countsByYear W29371291362019 @default.
- W2937129136 countsByYear W29371291362020 @default.
- W2937129136 countsByYear W29371291362021 @default.
- W2937129136 countsByYear W29371291362022 @default.
- W2937129136 crossrefType "journal-article" @default.
- W2937129136 hasAuthorship W2937129136A5066187890 @default.
- W2937129136 hasAuthorship W2937129136A5082785688 @default.
- W2937129136 hasAuthorship W2937129136A5088301538 @default.
- W2937129136 hasBestOaLocation W29371291361 @default.
- W2937129136 hasConcept C11413529 @default.
- W2937129136 hasConcept C142362112 @default.
- W2937129136 hasConcept C153349607 @default.
- W2937129136 hasConcept C154945302 @default.
- W2937129136 hasConcept C165696696 @default.
- W2937129136 hasConcept C2776214188 @default.
- W2937129136 hasConcept C38652104 @default.
- W2937129136 hasConcept C41008148 @default.
- W2937129136 hasConcept C49937458 @default.
- W2937129136 hasConcept C558565934 @default.
- W2937129136 hasConcept C73301696 @default.
- W2937129136 hasConcept C80444323 @default.
- W2937129136 hasConceptScore W2937129136C11413529 @default.
- W2937129136 hasConceptScore W2937129136C142362112 @default.
- W2937129136 hasConceptScore W2937129136C153349607 @default.
- W2937129136 hasConceptScore W2937129136C154945302 @default.
- W2937129136 hasConceptScore W2937129136C165696696 @default.
- W2937129136 hasConceptScore W2937129136C2776214188 @default.
- W2937129136 hasConceptScore W2937129136C38652104 @default.
- W2937129136 hasConceptScore W2937129136C41008148 @default.
- W2937129136 hasConceptScore W2937129136C49937458 @default.
- W2937129136 hasConceptScore W2937129136C558565934 @default.
- W2937129136 hasConceptScore W2937129136C73301696 @default.
- W2937129136 hasConceptScore W2937129136C80444323 @default.
- W2937129136 hasFunder F4320320300 @default.
- W2937129136 hasLocation W29371291361 @default.
- W2937129136 hasOpenAccess W2937129136 @default.
- W2937129136 hasPrimaryLocation W29371291361 @default.
- W2937129136 hasRelatedWork W1496222301 @default.
- W2937129136 hasRelatedWork W1497573972 @default.
- W2937129136 hasRelatedWork W1590307681 @default.
- W2937129136 hasRelatedWork W1846253165 @default.
- W2937129136 hasRelatedWork W2071659383 @default.
- W2937129136 hasRelatedWork W2124122503 @default.
- W2937129136 hasRelatedWork W2358353312 @default.
- W2937129136 hasRelatedWork W3207760230 @default.
- W2937129136 hasRelatedWork W4285370786 @default.
- W2937129136 hasRelatedWork W4312814274 @default.
- W2937129136 hasVolume "275" @default.
- W2937129136 isParatext "false" @default.
- W2937129136 isRetracted "false" @default.
- W2937129136 magId "2937129136" @default.
- W2937129136 workType "article" @default.