5 citations · 12 across the 14 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2004
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 making…
cs.AI2004★ 1 cited
Deductive Algorithmic Knowledge
Riccardo Pucella
The framework of algorithmic knowledge assumes that agents use algorithms to compute the facts they explicitly know. In many cases of interest, a deductive system, rather than a pa…
cs.AI2003
A logic for reasoning about upper probabilities
Joseph Y. Halpern, Riccardo Pucella
We present a propositional logic %which can be used to reason about the uncertainty of events, where the uncertainty is modeled by a set of probability measures assigning an interv…