39 citations · 127 across the 31 of their papers we have counts for
Showing 2005 · cs.AIShow all
2 papers · 2 filters
cs.AI2005★ 1 cited
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…
cs.AI2005★ 2 cited
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…