Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951160875> ?p ?o ?g. }
- W2951160875 abstract "Expectation is a central notion in probability theory. The notion of expectation also makes sense for other notions of uncertainty. We introduce a propositional logic for reasoning about expectation, where the semantics depends on the underlying representation of uncertainty. We give sound and complete axiomatizations for the logic in the case that the underlying representation is (a) probability, (b) sets of probability measures, (c) belief functions, and (d) possibility measures. We show that this logic is more expressive than the corresponding logic for reasoning about likelihood in the case of sets of probability measures, but equi-expressive in the case of probability, belief, and possibility. Finally, we show that satisfiability for these logics is NP-complete, no harder than satisfiability for propositional logic." @default.
- W2951160875 created "2019-06-27" @default.
- W2951160875 creator A5087025582 @default.
- W2951160875 creator A5091462128 @default.
- W2951160875 date "2003-12-17" @default.
- W2951160875 modified "2023-09-27" @default.
- W2951160875 title "Characterizing and Reasoning about Probabilistic and Non-Probabilistic Expectation" @default.
- W2951160875 cites W127422594 @default.
- W2951160875 cites W1523089699 @default.
- W2951160875 cites W1526328753 @default.
- W2951160875 cites W1537022695 @default.
- W2951160875 cites W1801628282 @default.
- W2951160875 cites W1898117 @default.
- W2951160875 cites W1963547452 @default.
- W2951160875 cites W1968293352 @default.
- W2951160875 cites W1984820433 @default.
- W2951160875 cites W2020154669 @default.
- W2951160875 cites W2025130480 @default.
- W2951160875 cites W2056099894 @default.
- W2951160875 cites W2082285982 @default.
- W2951160875 cites W2089417871 @default.
- W2951160875 cites W2117079761 @default.
- W2951160875 cites W2120733867 @default.
- W2951160875 cites W2169250070 @default.
- W2951160875 cites W2295428206 @default.
- W2951160875 cites W2569319397 @default.
- W2951160875 cites W2738705944 @default.
- W2951160875 cites W2797013687 @default.
- W2951160875 cites W2797148637 @default.
- W2951160875 cites W3038830718 @default.
- W2951160875 cites W92815160 @default.
- W2951160875 hasPublicationYear "2003" @default.
- W2951160875 type Work @default.
- W2951160875 sameAs 2951160875 @default.
- W2951160875 citedByCount "0" @default.
- W2951160875 crossrefType "posted-content" @default.
- W2951160875 hasAuthorship W2951160875A5087025582 @default.
- W2951160875 hasAuthorship W2951160875A5091462128 @default.
- W2951160875 hasConcept C102993220 @default.
- W2951160875 hasConcept C118615104 @default.
- W2951160875 hasConcept C128828806 @default.
- W2951160875 hasConcept C130648207 @default.
- W2951160875 hasConcept C14523651 @default.
- W2951160875 hasConcept C154945302 @default.
- W2951160875 hasConcept C159032336 @default.
- W2951160875 hasConcept C168773769 @default.
- W2951160875 hasConcept C17744445 @default.
- W2951160875 hasConcept C184337299 @default.
- W2951160875 hasConcept C18998212 @default.
- W2951160875 hasConcept C199360897 @default.
- W2951160875 hasConcept C199539241 @default.
- W2951160875 hasConcept C203659156 @default.
- W2951160875 hasConcept C21031990 @default.
- W2951160875 hasConcept C2776359362 @default.
- W2951160875 hasConcept C33203268 @default.
- W2951160875 hasConcept C33923547 @default.
- W2951160875 hasConcept C3845977 @default.
- W2951160875 hasConcept C41008148 @default.
- W2951160875 hasConcept C42011625 @default.
- W2951160875 hasConcept C49937458 @default.
- W2951160875 hasConcept C5263885 @default.
- W2951160875 hasConcept C58166 @default.
- W2951160875 hasConcept C69562738 @default.
- W2951160875 hasConcept C80444323 @default.
- W2951160875 hasConcept C86602344 @default.
- W2951160875 hasConcept C94625758 @default.
- W2951160875 hasConceptScore W2951160875C102993220 @default.
- W2951160875 hasConceptScore W2951160875C118615104 @default.
- W2951160875 hasConceptScore W2951160875C128828806 @default.
- W2951160875 hasConceptScore W2951160875C130648207 @default.
- W2951160875 hasConceptScore W2951160875C14523651 @default.
- W2951160875 hasConceptScore W2951160875C154945302 @default.
- W2951160875 hasConceptScore W2951160875C159032336 @default.
- W2951160875 hasConceptScore W2951160875C168773769 @default.
- W2951160875 hasConceptScore W2951160875C17744445 @default.
- W2951160875 hasConceptScore W2951160875C184337299 @default.
- W2951160875 hasConceptScore W2951160875C18998212 @default.
- W2951160875 hasConceptScore W2951160875C199360897 @default.
- W2951160875 hasConceptScore W2951160875C199539241 @default.
- W2951160875 hasConceptScore W2951160875C203659156 @default.
- W2951160875 hasConceptScore W2951160875C21031990 @default.
- W2951160875 hasConceptScore W2951160875C2776359362 @default.
- W2951160875 hasConceptScore W2951160875C33203268 @default.
- W2951160875 hasConceptScore W2951160875C33923547 @default.
- W2951160875 hasConceptScore W2951160875C3845977 @default.
- W2951160875 hasConceptScore W2951160875C41008148 @default.
- W2951160875 hasConceptScore W2951160875C42011625 @default.
- W2951160875 hasConceptScore W2951160875C49937458 @default.
- W2951160875 hasConceptScore W2951160875C5263885 @default.
- W2951160875 hasConceptScore W2951160875C58166 @default.
- W2951160875 hasConceptScore W2951160875C69562738 @default.
- W2951160875 hasConceptScore W2951160875C80444323 @default.
- W2951160875 hasConceptScore W2951160875C86602344 @default.
- W2951160875 hasConceptScore W2951160875C94625758 @default.
- W2951160875 hasLocation W29511608751 @default.
- W2951160875 hasOpenAccess W2951160875 @default.
- W2951160875 hasPrimaryLocation W29511608751 @default.
- W2951160875 hasRelatedWork W15000401 @default.
- W2951160875 hasRelatedWork W1529124572 @default.
- W2951160875 hasRelatedWork W1561816611 @default.