39 citations · 127 across the 31 of their papers we have counts for
10 papers · 1 filter
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…
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…
Probabilistic Algorithmic Knowledge
Joseph Y. Halpern, Riccardo Pucella
The framework of algorithmic knowledge assumes that agents use deterministic knowledge algorithms to compute the facts they explicitly know. We extend the framework to allow for ra…