Matches in SemOpenAlex for { <https://semopenalex.org/work/W2736770525> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2736770525 endingPage "27" @default.
- W2736770525 startingPage "1" @default.
- W2736770525 abstract "The probabilistic satisfiability problem is to verify the consistency of a set of probability values or intervals for logical propositions. The (tight) probabilistic entailment problem is to find best bounds on the probability of an additional proposition. The local approach to these problems applies rules on small sets of logical sentences and probabilities to tighten given probability intervals. The global approach uses linear programming to find best bounds. We show that merging these approaches is profitable to both: local solutions can be used to find global solutions more quickly through stabilized column generation, and global solutions can be used to confirm or refute the optimality of the local solutions found. As a result, best bounds are found, together with their step-by-step justification." @default.
- W2736770525 created "2017-07-31" @default.
- W2736770525 creator A5038480864 @default.
- W2736770525 creator A5065898421 @default.
- W2736770525 date "2004-06-01" @default.
- W2736770525 modified "2023-09-26" @default.
- W2736770525 title "Merging the Local and Global Approaches to Probabilistic Satisfiability" @default.
- W2736770525 hasPublicationYear "2004" @default.
- W2736770525 type Work @default.
- W2736770525 sameAs 2736770525 @default.
- W2736770525 citedByCount "0" @default.
- W2736770525 crossrefType "journal-article" @default.
- W2736770525 hasAuthorship W2736770525A5038480864 @default.
- W2736770525 hasAuthorship W2736770525A5065898421 @default.
- W2736770525 hasConcept C105795698 @default.
- W2736770525 hasConcept C11413529 @default.
- W2736770525 hasConcept C118615104 @default.
- W2736770525 hasConcept C126255220 @default.
- W2736770525 hasConcept C134752490 @default.
- W2736770525 hasConcept C154945302 @default.
- W2736770525 hasConcept C168773769 @default.
- W2736770525 hasConcept C177264268 @default.
- W2736770525 hasConcept C199360897 @default.
- W2736770525 hasConcept C2776436953 @default.
- W2736770525 hasConcept C33923547 @default.
- W2736770525 hasConcept C41008148 @default.
- W2736770525 hasConcept C49937458 @default.
- W2736770525 hasConceptScore W2736770525C105795698 @default.
- W2736770525 hasConceptScore W2736770525C11413529 @default.
- W2736770525 hasConceptScore W2736770525C118615104 @default.
- W2736770525 hasConceptScore W2736770525C126255220 @default.
- W2736770525 hasConceptScore W2736770525C134752490 @default.
- W2736770525 hasConceptScore W2736770525C154945302 @default.
- W2736770525 hasConceptScore W2736770525C168773769 @default.
- W2736770525 hasConceptScore W2736770525C177264268 @default.
- W2736770525 hasConceptScore W2736770525C199360897 @default.
- W2736770525 hasConceptScore W2736770525C2776436953 @default.
- W2736770525 hasConceptScore W2736770525C33923547 @default.
- W2736770525 hasConceptScore W2736770525C41008148 @default.
- W2736770525 hasConceptScore W2736770525C49937458 @default.
- W2736770525 hasLocation W27367705251 @default.
- W2736770525 hasOpenAccess W2736770525 @default.
- W2736770525 hasPrimaryLocation W27367705251 @default.
- W2736770525 hasRelatedWork W125846233 @default.
- W2736770525 hasRelatedWork W1510302714 @default.
- W2736770525 hasRelatedWork W1523922711 @default.
- W2736770525 hasRelatedWork W1579161461 @default.
- W2736770525 hasRelatedWork W1631001681 @default.
- W2736770525 hasRelatedWork W2040973615 @default.
- W2736770525 hasRelatedWork W2100868594 @default.
- W2736770525 hasRelatedWork W2101678841 @default.
- W2736770525 hasRelatedWork W2135587265 @default.
- W2736770525 hasRelatedWork W2156005874 @default.
- W2736770525 hasRelatedWork W2471458901 @default.
- W2736770525 hasRelatedWork W2581730455 @default.
- W2736770525 hasRelatedWork W2598344953 @default.
- W2736770525 hasRelatedWork W2904904688 @default.
- W2736770525 hasRelatedWork W2950906236 @default.
- W2736770525 hasRelatedWork W2991030164 @default.
- W2736770525 hasRelatedWork W3100022481 @default.
- W2736770525 hasRelatedWork W3186885014 @default.
- W2736770525 hasRelatedWork W834486978 @default.
- W2736770525 hasRelatedWork W73426805 @default.
- W2736770525 isParatext "false" @default.
- W2736770525 isRetracted "false" @default.
- W2736770525 magId "2736770525" @default.
- W2736770525 workType "article" @default.