Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285136686> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W4285136686 endingPage "204" @default.
- W4285136686 startingPage "186" @default.
- W4285136686 abstract "While there has been much cross-fertilization between functional and logic programming—e.g., leading to functional models of many Prolog features—this appears to be much less the case regarding probabilistic programming, even though this is an area of mutual interest. Whereas functional programming often focuses on modeling probabilistic processes, logic programming typically focuses on modeling possible worlds. These worlds are made up of facts that each carry a probability and together give rise to a distribution semantics. The latter approach appears to be little-known in the functional programming community. This paper aims to remedy this situation by presenting a functional account of the distribution semantics of probabilistic logic programming that is based on possible worlds. We present a term monad for the monadic syntax of queries together with a natural interpretation in terms of boolean algebras. Then we explain that, because probabilities do not form a boolean algebra, they—and other interpretations in terms of commutative semirings—can only be computed after query normalisation to deterministic, decomposable negation normal form (d-DNNF). While computing the possible worlds readily gives such a normal form, it suffers from exponential blow-up. Using heuristic algorithms yields much better results in practice." @default.
- W4285136686 created "2022-07-14" @default.
- W4285136686 creator A5050247934 @default.
- W4285136686 creator A5056674569 @default.
- W4285136686 date "2022-01-01" @default.
- W4285136686 modified "2023-09-25" @default.
- W4285136686 title "A Functional Account of Probabilistic Programming with Possible Worlds" @default.
- W4285136686 cites W1514973146 @default.
- W4285136686 cites W1522154830 @default.
- W4285136686 cites W1762049453 @default.
- W4285136686 cites W1830421783 @default.
- W4285136686 cites W1968513265 @default.
- W4285136686 cites W1979039632 @default.
- W4285136686 cites W1983128223 @default.
- W4285136686 cites W2012979684 @default.
- W4285136686 cites W2040040776 @default.
- W4285136686 cites W2048365843 @default.
- W4285136686 cites W2050509196 @default.
- W4285136686 cites W2058760524 @default.
- W4285136686 cites W2084943080 @default.
- W4285136686 cites W2138575529 @default.
- W4285136686 cites W2140654465 @default.
- W4285136686 cites W2157592151 @default.
- W4285136686 cites W2159593339 @default.
- W4285136686 cites W2161862325 @default.
- W4285136686 cites W2162914952 @default.
- W4285136686 cites W2186752618 @default.
- W4285136686 cites W2256219492 @default.
- W4285136686 cites W2395654200 @default.
- W4285136686 cites W2490463551 @default.
- W4285136686 cites W2517279098 @default.
- W4285136686 cites W2734348649 @default.
- W4285136686 cites W2741061345 @default.
- W4285136686 cites W2954116336 @default.
- W4285136686 cites W3104376605 @default.
- W4285136686 cites W3195920060 @default.
- W4285136686 cites W342302233 @default.
- W4285136686 doi "https://doi.org/10.1007/978-3-030-99461-7_11" @default.
- W4285136686 hasPublicationYear "2022" @default.
- W4285136686 type Work @default.
- W4285136686 citedByCount "0" @default.
- W4285136686 crossrefType "book-chapter" @default.
- W4285136686 hasAuthorship W4285136686A5050247934 @default.
- W4285136686 hasAuthorship W4285136686A5056674569 @default.
- W4285136686 hasBestOaLocation W42851366862 @default.
- W4285136686 hasConcept C126255220 @default.
- W4285136686 hasConcept C127001435 @default.
- W4285136686 hasConcept C128838566 @default.
- W4285136686 hasConcept C137631369 @default.
- W4285136686 hasConcept C154945302 @default.
- W4285136686 hasConcept C156325763 @default.
- W4285136686 hasConcept C173404611 @default.
- W4285136686 hasConcept C184337299 @default.
- W4285136686 hasConcept C199360897 @default.
- W4285136686 hasConcept C33923547 @default.
- W4285136686 hasConcept C41008148 @default.
- W4285136686 hasConcept C49937458 @default.
- W4285136686 hasConcept C80444323 @default.
- W4285136686 hasConcept C81721847 @default.
- W4285136686 hasConceptScore W4285136686C126255220 @default.
- W4285136686 hasConceptScore W4285136686C127001435 @default.
- W4285136686 hasConceptScore W4285136686C128838566 @default.
- W4285136686 hasConceptScore W4285136686C137631369 @default.
- W4285136686 hasConceptScore W4285136686C154945302 @default.
- W4285136686 hasConceptScore W4285136686C156325763 @default.
- W4285136686 hasConceptScore W4285136686C173404611 @default.
- W4285136686 hasConceptScore W4285136686C184337299 @default.
- W4285136686 hasConceptScore W4285136686C199360897 @default.
- W4285136686 hasConceptScore W4285136686C33923547 @default.
- W4285136686 hasConceptScore W4285136686C41008148 @default.
- W4285136686 hasConceptScore W4285136686C49937458 @default.
- W4285136686 hasConceptScore W4285136686C80444323 @default.
- W4285136686 hasConceptScore W4285136686C81721847 @default.
- W4285136686 hasLocation W42851366861 @default.
- W4285136686 hasLocation W42851366862 @default.
- W4285136686 hasOpenAccess W4285136686 @default.
- W4285136686 hasPrimaryLocation W42851366861 @default.
- W4285136686 hasRelatedWork W1536282267 @default.
- W4285136686 hasRelatedWork W1561664582 @default.
- W4285136686 hasRelatedWork W2019182139 @default.
- W4285136686 hasRelatedWork W2091757904 @default.
- W4285136686 hasRelatedWork W2113956592 @default.
- W4285136686 hasRelatedWork W2121389878 @default.
- W4285136686 hasRelatedWork W2524984374 @default.
- W4285136686 hasRelatedWork W2949201044 @default.
- W4285136686 hasRelatedWork W2953307851 @default.
- W4285136686 hasRelatedWork W348564150 @default.
- W4285136686 isParatext "false" @default.
- W4285136686 isRetracted "false" @default.
- W4285136686 workType "book-chapter" @default.