Matches in SemOpenAlex for { <https://semopenalex.org/work/W3137079328> ?p ?o ?g. }
- W3137079328 abstract "Weighted model counting (WMC) is a popular framework to perform probabilistic inference with discrete random variables. Recently, WMC has been extended to weighted model integration (WMI) in order to additionally handle continuous variables. At their core, WMI problems consist of computing integrals and sums over weighted logical formulas. From a theoretical standpoint, WMI has been formulated by patching the sum over weighted formulas, which is already present in WMC, with Riemann integration. A more principled approach to integration, which is rooted in measure theory, is Lebesgue integration. Lebesgue integration allows one to treat discrete and continuous variables on equal footing in a principled fashion. We propose a theoretically sound measure theoretic formulation of weighted model integration, which naturally reduces to weighted model counting in the absence of continuous variables. Instead of regarding weighted model integration as an extension of weighted model counting, WMC emerges as a special case of WMI in our formulation." @default.
- W3137079328 created "2021-03-29" @default.
- W3137079328 creator A5002794832 @default.
- W3137079328 creator A5003721489 @default.
- W3137079328 date "2021-03-25" @default.
- W3137079328 modified "2023-09-27" @default.
- W3137079328 title "Measure Theoretic Weighted Model Integration." @default.
- W3137079328 cites W1568586753 @default.
- W3137079328 cites W1873912000 @default.
- W3137079328 cites W1928668274 @default.
- W3137079328 cites W2020580827 @default.
- W3137079328 cites W2038997378 @default.
- W3137079328 cites W2062818807 @default.
- W3137079328 cites W2133006861 @default.
- W3137079328 cites W2283350629 @default.
- W3137079328 cites W2395654200 @default.
- W3137079328 cites W2415170901 @default.
- W3137079328 cites W2520480402 @default.
- W3137079328 cites W2573614896 @default.
- W3137079328 cites W2740055501 @default.
- W3137079328 cites W2741018875 @default.
- W3137079328 cites W2842937415 @default.
- W3137079328 cites W2884368170 @default.
- W3137079328 cites W2904757977 @default.
- W3137079328 cites W2937129136 @default.
- W3137079328 cites W2963991763 @default.
- W3137079328 cites W2964097724 @default.
- W3137079328 cites W2966391789 @default.
- W3137079328 cites W2966456993 @default.
- W3137079328 cites W3034446740 @default.
- W3137079328 cites W3090899551 @default.
- W3137079328 cites W780350140 @default.
- W3137079328 hasPublicationYear "2021" @default.
- W3137079328 type Work @default.
- W3137079328 sameAs 3137079328 @default.
- W3137079328 citedByCount "0" @default.
- W3137079328 crossrefType "posted-content" @default.
- W3137079328 hasAuthorship W3137079328A5002794832 @default.
- W3137079328 hasAuthorship W3137079328A5003721489 @default.
- W3137079328 hasConcept C105795698 @default.
- W3137079328 hasConcept C11413529 @default.
- W3137079328 hasConcept C118615104 @default.
- W3137079328 hasConcept C122123141 @default.
- W3137079328 hasConcept C124101348 @default.
- W3137079328 hasConcept C127349201 @default.
- W3137079328 hasConcept C134306372 @default.
- W3137079328 hasConcept C14158598 @default.
- W3137079328 hasConcept C154945302 @default.
- W3137079328 hasConcept C199343813 @default.
- W3137079328 hasConcept C2776214188 @default.
- W3137079328 hasConcept C2777105136 @default.
- W3137079328 hasConcept C2777686260 @default.
- W3137079328 hasConcept C2780009758 @default.
- W3137079328 hasConcept C28826006 @default.
- W3137079328 hasConcept C33923547 @default.
- W3137079328 hasConcept C41008148 @default.
- W3137079328 hasConcept C49937458 @default.
- W3137079328 hasConcept C71924100 @default.
- W3137079328 hasConceptScore W3137079328C105795698 @default.
- W3137079328 hasConceptScore W3137079328C11413529 @default.
- W3137079328 hasConceptScore W3137079328C118615104 @default.
- W3137079328 hasConceptScore W3137079328C122123141 @default.
- W3137079328 hasConceptScore W3137079328C124101348 @default.
- W3137079328 hasConceptScore W3137079328C127349201 @default.
- W3137079328 hasConceptScore W3137079328C134306372 @default.
- W3137079328 hasConceptScore W3137079328C14158598 @default.
- W3137079328 hasConceptScore W3137079328C154945302 @default.
- W3137079328 hasConceptScore W3137079328C199343813 @default.
- W3137079328 hasConceptScore W3137079328C2776214188 @default.
- W3137079328 hasConceptScore W3137079328C2777105136 @default.
- W3137079328 hasConceptScore W3137079328C2777686260 @default.
- W3137079328 hasConceptScore W3137079328C2780009758 @default.
- W3137079328 hasConceptScore W3137079328C28826006 @default.
- W3137079328 hasConceptScore W3137079328C33923547 @default.
- W3137079328 hasConceptScore W3137079328C41008148 @default.
- W3137079328 hasConceptScore W3137079328C49937458 @default.
- W3137079328 hasConceptScore W3137079328C71924100 @default.
- W3137079328 hasLocation W31370793281 @default.
- W3137079328 hasOpenAccess W3137079328 @default.
- W3137079328 hasPrimaryLocation W31370793281 @default.
- W3137079328 hasRelatedWork W1486304345 @default.
- W3137079328 hasRelatedWork W1598395355 @default.
- W3137079328 hasRelatedWork W2017860509 @default.
- W3137079328 hasRelatedWork W2026018048 @default.
- W3137079328 hasRelatedWork W2051348668 @default.
- W3137079328 hasRelatedWork W2072190146 @default.
- W3137079328 hasRelatedWork W2111124449 @default.
- W3137079328 hasRelatedWork W2183020972 @default.
- W3137079328 hasRelatedWork W2184294046 @default.
- W3137079328 hasRelatedWork W2512341308 @default.
- W3137079328 hasRelatedWork W2781549047 @default.
- W3137079328 hasRelatedWork W2996120967 @default.
- W3137079328 hasRelatedWork W3030200851 @default.
- W3137079328 hasRelatedWork W3036782041 @default.
- W3137079328 hasRelatedWork W3037748122 @default.
- W3137079328 hasRelatedWork W3188585567 @default.
- W3137079328 hasRelatedWork W3189847678 @default.
- W3137079328 hasRelatedWork W3198056517 @default.
- W3137079328 hasRelatedWork W3210720876 @default.
- W3137079328 hasRelatedWork W641832489 @default.