Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950378077> ?p ?o ?g. }
- W2950378077 abstract "We examine the meaning and the complexity of probabilistic logic programs that consist of a set of rules and a set of independent probabilistic facts (that is, programs based on Sato's distribution semantics). We focus on two semantics, respectively based on stable and on well-founded models. We show that the semantics based on stable models (referred to as the credal semantics) produces sets of probability models that dominate infinitely monotone Choquet capacities, we describe several useful consequences of this result. We then examine the complexity of inference with probabilistic logic programs. We distinguish between the complexity of inference when a probabilistic program and a query are given (the inferential complexity), and the complexity of inference when the probabilistic program is fixed and the query is given (the query complexity, akin to data complexity as used in database theory). We obtain results on the inferential and query complexity for acyclic, stratified, and cyclic propositional and relational programs, complexity reaches various levels of the counting hierarchy and even exponential levels." @default.
- W2950378077 created "2019-06-27" @default.
- W2950378077 creator A5006532598 @default.
- W2950378077 creator A5063271727 @default.
- W2950378077 date "2017-01-31" @default.
- W2950378077 modified "2023-09-28" @default.
- W2950378077 title "On the Semantics and Complexity of Probabilistic Logic Programs" @default.
- W2950378077 cites W1511986666 @default.
- W2950378077 cites W1526328753 @default.
- W2950378077 cites W1535430927 @default.
- W2950378077 cites W1563950057 @default.
- W2950378077 cites W1578430072 @default.
- W2950378077 cites W1590811247 @default.
- W2950378077 cites W1595443289 @default.
- W2950378077 cites W1608181711 @default.
- W2950378077 cites W1633347946 @default.
- W2950378077 cites W1668477564 @default.
- W2950378077 cites W1672891595 @default.
- W2950378077 cites W1704644540 @default.
- W2950378077 cites W173113430 @default.
- W2950378077 cites W1766332311 @default.
- W2950378077 cites W1789692117 @default.
- W2950378077 cites W1834893312 @default.
- W2950378077 cites W1940586415 @default.
- W2950378077 cites W1964821516 @default.
- W2950378077 cites W1968293352 @default.
- W2950378077 cites W1968513265 @default.
- W2950378077 cites W1969965298 @default.
- W2950378077 cites W1998093438 @default.
- W2950378077 cites W2007502694 @default.
- W2950378077 cites W2013476941 @default.
- W2950378077 cites W2026705714 @default.
- W2950378077 cites W2029891923 @default.
- W2950378077 cites W2033323875 @default.
- W2950378077 cites W2054284548 @default.
- W2950378077 cites W2069981751 @default.
- W2950378077 cites W2078843353 @default.
- W2950378077 cites W2080828514 @default.
- W2950378077 cites W2090761873 @default.
- W2950378077 cites W2094841990 @default.
- W2950378077 cites W2101335378 @default.
- W2950378077 cites W2111353076 @default.
- W2950378077 cites W2137126099 @default.
- W2950378077 cites W2143891888 @default.
- W2950378077 cites W2157334516 @default.
- W2950378077 cites W2159080219 @default.
- W2950378077 cites W2161403060 @default.
- W2950378077 cites W2283350629 @default.
- W2950378077 cites W2293264940 @default.
- W2950378077 cites W2295605381 @default.
- W2950378077 cites W2296506534 @default.
- W2950378077 cites W2396017556 @default.
- W2950378077 cites W2525884743 @default.
- W2950378077 cites W2797148637 @default.
- W2950378077 cites W2914728526 @default.
- W2950378077 cites W2914983426 @default.
- W2950378077 cites W2950645269 @default.
- W2950378077 cites W3021599317 @default.
- W2950378077 cites W352468308 @default.
- W2950378077 cites W368780132 @default.
- W2950378077 cites W575459538 @default.
- W2950378077 cites W59373101 @default.
- W2950378077 hasPublicationYear "2017" @default.
- W2950378077 type Work @default.
- W2950378077 sameAs 2950378077 @default.
- W2950378077 citedByCount "0" @default.
- W2950378077 crossrefType "posted-content" @default.
- W2950378077 hasAuthorship W2950378077A5006532598 @default.
- W2950378077 hasAuthorship W2950378077A5063271727 @default.
- W2950378077 hasConcept C154945302 @default.
- W2950378077 hasConcept C156325763 @default.
- W2950378077 hasConcept C184337299 @default.
- W2950378077 hasConcept C199360897 @default.
- W2950378077 hasConcept C207648694 @default.
- W2950378077 hasConcept C33923547 @default.
- W2950378077 hasConcept C41008148 @default.
- W2950378077 hasConcept C49937458 @default.
- W2950378077 hasConcept C80444323 @default.
- W2950378077 hasConcept C89497691 @default.
- W2950378077 hasConceptScore W2950378077C154945302 @default.
- W2950378077 hasConceptScore W2950378077C156325763 @default.
- W2950378077 hasConceptScore W2950378077C184337299 @default.
- W2950378077 hasConceptScore W2950378077C199360897 @default.
- W2950378077 hasConceptScore W2950378077C207648694 @default.
- W2950378077 hasConceptScore W2950378077C33923547 @default.
- W2950378077 hasConceptScore W2950378077C41008148 @default.
- W2950378077 hasConceptScore W2950378077C49937458 @default.
- W2950378077 hasConceptScore W2950378077C80444323 @default.
- W2950378077 hasConceptScore W2950378077C89497691 @default.
- W2950378077 hasOpenAccess W2950378077 @default.
- W2950378077 hasRelatedWork W164001702 @default.
- W2950378077 hasRelatedWork W1789692117 @default.
- W2950378077 hasRelatedWork W2000805332 @default.
- W2950378077 hasRelatedWork W2086053561 @default.
- W2950378077 hasRelatedWork W2117892888 @default.
- W2950378077 hasRelatedWork W2150459155 @default.
- W2950378077 hasRelatedWork W2152825128 @default.
- W2950378077 hasRelatedWork W2200239235 @default.
- W2950378077 hasRelatedWork W2219613363 @default.
- W2950378077 hasRelatedWork W2222549232 @default.