39 citations · 127 across the 31 of their papers we have counts for
4 papers · 2 filters
A Logic for Reasoning about Upper Probabilities
Joseph Y. Halpern, Riccardo Pucella
We present a propositional logic to reason about the uncertainty of events, where the uncertainty is modeled by a set of probability measures assigning an interval of probability t…
Evidence with Uncertain Likelihoods
Joseph Y. Halpern, Riccardo Pucella
An agent often has a number of hypotheses, and must choose among them based on observations, or outcomes of experiments. Each of these observations can be viewed as providing evide…
A Logic for Reasoning about Evidence
Joseph Y. Halpern, Riccardo Pucella
We introduce a logic for reasoning about evidence, that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after makin…
Reasoning about Expectation
Joseph Y. Halpern, Riccardo Pucella
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…