Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287777295> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4287777295 abstract "We present a semantics of a probabilistic while-language with soft conditioning and continuous distributions which handles programs diverging with positive probability. To this end, we extend the probabilistic guarded command language (pGCL) with draws from continuous distributions and a score operator. The main contribution is an extension of the standard weakest preexpectation semantics to support these constructs. As a sanity check of our semantics, we define an alternative trace-based semantics of the language, and show that the two semantics are equivalent. Various examples illustrate the applicability of the semantics." @default.
- W4287777295 created "2022-07-26" @default.
- W4287777295 creator A5038239444 @default.
- W4287777295 creator A5090819329 @default.
- W4287777295 date "2020-05-18" @default.
- W4287777295 modified "2023-10-17" @default.
- W4287777295 title "Weakest Preexpectation Semantics for Bayesian Inference" @default.
- W4287777295 doi "https://doi.org/10.48550/arxiv.2005.09013" @default.
- W4287777295 hasPublicationYear "2020" @default.
- W4287777295 type Work @default.
- W4287777295 citedByCount "0" @default.
- W4287777295 crossrefType "posted-content" @default.
- W4287777295 hasAuthorship W4287777295A5038239444 @default.
- W4287777295 hasAuthorship W4287777295A5090819329 @default.
- W4287777295 hasBestOaLocation W42877772951 @default.
- W4287777295 hasConcept C138885662 @default.
- W4287777295 hasConcept C154945302 @default.
- W4287777295 hasConcept C156325763 @default.
- W4287777295 hasConcept C184337299 @default.
- W4287777295 hasConcept C199360897 @default.
- W4287777295 hasConcept C200065993 @default.
- W4287777295 hasConcept C204321447 @default.
- W4287777295 hasConcept C207648694 @default.
- W4287777295 hasConcept C2778029271 @default.
- W4287777295 hasConcept C41008148 @default.
- W4287777295 hasConcept C41895202 @default.
- W4287777295 hasConcept C49937458 @default.
- W4287777295 hasConcept C75291252 @default.
- W4287777295 hasConcept C80444323 @default.
- W4287777295 hasConcept C89497691 @default.
- W4287777295 hasConceptScore W4287777295C138885662 @default.
- W4287777295 hasConceptScore W4287777295C154945302 @default.
- W4287777295 hasConceptScore W4287777295C156325763 @default.
- W4287777295 hasConceptScore W4287777295C184337299 @default.
- W4287777295 hasConceptScore W4287777295C199360897 @default.
- W4287777295 hasConceptScore W4287777295C200065993 @default.
- W4287777295 hasConceptScore W4287777295C204321447 @default.
- W4287777295 hasConceptScore W4287777295C207648694 @default.
- W4287777295 hasConceptScore W4287777295C2778029271 @default.
- W4287777295 hasConceptScore W4287777295C41008148 @default.
- W4287777295 hasConceptScore W4287777295C41895202 @default.
- W4287777295 hasConceptScore W4287777295C49937458 @default.
- W4287777295 hasConceptScore W4287777295C75291252 @default.
- W4287777295 hasConceptScore W4287777295C80444323 @default.
- W4287777295 hasConceptScore W4287777295C89497691 @default.
- W4287777295 hasLocation W42877772951 @default.
- W4287777295 hasOpenAccess W4287777295 @default.
- W4287777295 hasPrimaryLocation W42877772951 @default.
- W4287777295 hasRelatedWork W1491977649 @default.
- W4287777295 hasRelatedWork W1626176828 @default.
- W4287777295 hasRelatedWork W2017152877 @default.
- W4287777295 hasRelatedWork W2160196023 @default.
- W4287777295 hasRelatedWork W2738461706 @default.
- W4287777295 hasRelatedWork W2804733059 @default.
- W4287777295 hasRelatedWork W3163637575 @default.
- W4287777295 hasRelatedWork W75631880 @default.
- W4287777295 hasRelatedWork W783270985 @default.
- W4287777295 hasRelatedWork W1958334269 @default.
- W4287777295 isParatext "false" @default.
- W4287777295 isRetracted "false" @default.
- W4287777295 workType "article" @default.