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