Matches in SemOpenAlex for { <https://semopenalex.org/work/W2930835146> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2930835146 endingPage "349" @default.
- W2930835146 startingPage "322" @default.
- W2930835146 abstract "We define a new denotational semantics for a first-order probabilistic programming language in terms of probabilistic event structures. This semantics is intensional, meaning that the interpretation of a program contains information about its behaviour throughout execution, rather than a simple distribution on return values. In particular, occurrences of sampling and conditioning are recorded as explicit events, partially ordered according to the data dependencies between the corresponding statements in the program. This interpretation is adequate: we show that the usual measure-theoretic semantics of a program can be recovered from its event structure representation. Moreover it can be leveraged for MCMC inference: we prove correct a version of single-site Metropolis-Hastings with incremental recomputation, in which the proposal kernel takes into account the semantic information in order to avoid performing some of the redundant sampling." @default.
- W2930835146 created "2019-04-11" @default.
- W2930835146 creator A5018079507 @default.
- W2930835146 creator A5064252598 @default.
- W2930835146 date "2019-01-01" @default.
- W2930835146 modified "2023-10-07" @default.
- W2930835146 title "Probabilistic Programming Inference via Intensional Semantics" @default.
- W2930835146 cites W1983507747 @default.
- W2930835146 cites W2024355065 @default.
- W2930835146 cites W2295266283 @default.
- W2930835146 cites W2528996685 @default.
- W2930835146 cites W2595803793 @default.
- W2930835146 cites W2767781532 @default.
- W2930835146 cites W2798278864 @default.
- W2930835146 cites W2903995849 @default.
- W2930835146 cites W2949151551 @default.
- W2930835146 cites W2949804971 @default.
- W2930835146 cites W2963242323 @default.
- W2930835146 cites W3124655276 @default.
- W2930835146 cites W4233702006 @default.
- W2930835146 cites W4240949783 @default.
- W2930835146 doi "https://doi.org/10.1007/978-3-030-17184-1_12" @default.
- W2930835146 hasPublicationYear "2019" @default.
- W2930835146 type Work @default.
- W2930835146 sameAs 2930835146 @default.
- W2930835146 citedByCount "6" @default.
- W2930835146 countsByYear W29308351462020 @default.
- W2930835146 countsByYear W29308351462021 @default.
- W2930835146 crossrefType "book-chapter" @default.
- W2930835146 hasAuthorship W2930835146A5018079507 @default.
- W2930835146 hasAuthorship W2930835146A5064252598 @default.
- W2930835146 hasBestOaLocation W29308351461 @default.
- W2930835146 hasConcept C121332964 @default.
- W2930835146 hasConcept C154945302 @default.
- W2930835146 hasConcept C156325763 @default.
- W2930835146 hasConcept C184337299 @default.
- W2930835146 hasConcept C199360897 @default.
- W2930835146 hasConcept C204321447 @default.
- W2930835146 hasConcept C207648694 @default.
- W2930835146 hasConcept C2776214188 @default.
- W2930835146 hasConcept C2778828372 @default.
- W2930835146 hasConcept C2779662365 @default.
- W2930835146 hasConcept C41008148 @default.
- W2930835146 hasConcept C49937458 @default.
- W2930835146 hasConcept C527412718 @default.
- W2930835146 hasConcept C62520636 @default.
- W2930835146 hasConcept C80444323 @default.
- W2930835146 hasConceptScore W2930835146C121332964 @default.
- W2930835146 hasConceptScore W2930835146C154945302 @default.
- W2930835146 hasConceptScore W2930835146C156325763 @default.
- W2930835146 hasConceptScore W2930835146C184337299 @default.
- W2930835146 hasConceptScore W2930835146C199360897 @default.
- W2930835146 hasConceptScore W2930835146C204321447 @default.
- W2930835146 hasConceptScore W2930835146C207648694 @default.
- W2930835146 hasConceptScore W2930835146C2776214188 @default.
- W2930835146 hasConceptScore W2930835146C2778828372 @default.
- W2930835146 hasConceptScore W2930835146C2779662365 @default.
- W2930835146 hasConceptScore W2930835146C41008148 @default.
- W2930835146 hasConceptScore W2930835146C49937458 @default.
- W2930835146 hasConceptScore W2930835146C527412718 @default.
- W2930835146 hasConceptScore W2930835146C62520636 @default.
- W2930835146 hasConceptScore W2930835146C80444323 @default.
- W2930835146 hasLocation W29308351461 @default.
- W2930835146 hasOpenAccess W2930835146 @default.
- W2930835146 hasPrimaryLocation W29308351461 @default.
- W2930835146 hasRelatedWork W2293856750 @default.
- W2930835146 hasRelatedWork W2475479500 @default.
- W2930835146 hasRelatedWork W2551539219 @default.
- W2930835146 hasRelatedWork W2797207385 @default.
- W2930835146 hasRelatedWork W2798278864 @default.
- W2930835146 hasRelatedWork W2926374695 @default.
- W2930835146 hasRelatedWork W2998758053 @default.
- W2930835146 hasRelatedWork W3026670957 @default.
- W2930835146 hasRelatedWork W3123477732 @default.
- W2930835146 hasRelatedWork W4236155685 @default.
- W2930835146 isParatext "false" @default.
- W2930835146 isRetracted "false" @default.
- W2930835146 magId "2930835146" @default.
- W2930835146 workType "book-chapter" @default.