Matches in SemOpenAlex for { <https://semopenalex.org/work/W1593803408> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1593803408 endingPage "342" @default.
- W1593803408 startingPage "330" @default.
- W1593803408 abstract "Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying the logic programming research to the body of work on Bayes networks. The second approach ties computationally reasoning about probabilities with linear programming, and allows for natural expression of imprecision in probabilities via the use of intervals. In this paper we construct precise semantics for one PSAT-based formalism for reasoning with inteval probabilities, probabilistic logic programs (p-programs), orignally considered by Ng and Subrahmanian. We show that the probability ranges of atoms and formulas in p-programs cannot be expressed as single intervals. We construct the prescise description of the set of models of p-programs and study the computational complexity if this problem, as well as the problem of consistency of a p-program. We also study the conditions under which our semantics coincides with the single-interval semantics originally proposed by Ng and Subrahmanian for p-programs. Our work sheds light on the complexity of construction of reasoning formalisms for imprecise probabilities and suggests that interval probabilities alone are inadequate to support such reasoning." @default.
- W1593803408 created "2016-06-24" @default.
- W1593803408 creator A5001414935 @default.
- W1593803408 creator A5039013940 @default.
- W1593803408 date "2005-01-01" @default.
- W1593803408 modified "2023-09-27" @default.
- W1593803408 title "Revisiting the Semantics of Interval Probabilistic Logic Programs" @default.
- W1593803408 cites W1538192045 @default.
- W1593803408 cites W1583590105 @default.
- W1593803408 cites W1980124682 @default.
- W1593803408 cites W2028667927 @default.
- W1593803408 cites W2049886280 @default.
- W1593803408 cites W2078843353 @default.
- W1593803408 cites W2090761873 @default.
- W1593803408 cites W2136753742 @default.
- W1593803408 cites W2169250070 @default.
- W1593803408 cites W2914795094 @default.
- W1593803408 cites W4210427261 @default.
- W1593803408 cites W4232066618 @default.
- W1593803408 doi "https://doi.org/10.1007/11546207_26" @default.
- W1593803408 hasPublicationYear "2005" @default.
- W1593803408 type Work @default.
- W1593803408 sameAs 1593803408 @default.
- W1593803408 citedByCount "6" @default.
- W1593803408 countsByYear W15938034082012 @default.
- W1593803408 crossrefType "book-chapter" @default.
- W1593803408 hasAuthorship W1593803408A5001414935 @default.
- W1593803408 hasAuthorship W1593803408A5039013940 @default.
- W1593803408 hasBestOaLocation W15938034082 @default.
- W1593803408 hasConcept C127001435 @default.
- W1593803408 hasConcept C154945302 @default.
- W1593803408 hasConcept C156325763 @default.
- W1593803408 hasConcept C168773769 @default.
- W1593803408 hasConcept C171018156 @default.
- W1593803408 hasConcept C184337299 @default.
- W1593803408 hasConcept C199360897 @default.
- W1593803408 hasConcept C207648694 @default.
- W1593803408 hasConcept C2524010 @default.
- W1593803408 hasConcept C33724603 @default.
- W1593803408 hasConcept C33923547 @default.
- W1593803408 hasConcept C41008148 @default.
- W1593803408 hasConcept C49937458 @default.
- W1593803408 hasConcept C80444323 @default.
- W1593803408 hasConcept C89497691 @default.
- W1593803408 hasConceptScore W1593803408C127001435 @default.
- W1593803408 hasConceptScore W1593803408C154945302 @default.
- W1593803408 hasConceptScore W1593803408C156325763 @default.
- W1593803408 hasConceptScore W1593803408C168773769 @default.
- W1593803408 hasConceptScore W1593803408C171018156 @default.
- W1593803408 hasConceptScore W1593803408C184337299 @default.
- W1593803408 hasConceptScore W1593803408C199360897 @default.
- W1593803408 hasConceptScore W1593803408C207648694 @default.
- W1593803408 hasConceptScore W1593803408C2524010 @default.
- W1593803408 hasConceptScore W1593803408C33724603 @default.
- W1593803408 hasConceptScore W1593803408C33923547 @default.
- W1593803408 hasConceptScore W1593803408C41008148 @default.
- W1593803408 hasConceptScore W1593803408C49937458 @default.
- W1593803408 hasConceptScore W1593803408C80444323 @default.
- W1593803408 hasConceptScore W1593803408C89497691 @default.
- W1593803408 hasLocation W15938034081 @default.
- W1593803408 hasLocation W15938034082 @default.
- W1593803408 hasLocation W15938034083 @default.
- W1593803408 hasOpenAccess W1593803408 @default.
- W1593803408 hasPrimaryLocation W15938034081 @default.
- W1593803408 hasRelatedWork W1485855639 @default.
- W1593803408 hasRelatedWork W1543872411 @default.
- W1593803408 hasRelatedWork W1583590105 @default.
- W1593803408 hasRelatedWork W1597221412 @default.
- W1593803408 hasRelatedWork W2113913457 @default.
- W1593803408 hasRelatedWork W2125406856 @default.
- W1593803408 hasRelatedWork W2211916015 @default.
- W1593803408 hasRelatedWork W2562270002 @default.
- W1593803408 hasRelatedWork W2753815840 @default.
- W1593803408 hasRelatedWork W4288046197 @default.
- W1593803408 isParatext "false" @default.
- W1593803408 isRetracted "false" @default.
- W1593803408 magId "1593803408" @default.
- W1593803408 workType "book-chapter" @default.