CLINICAL HISTORY A 77-year-old man has a history of similar recurring headaches since he was a teenager. For years, the headaches would occur about one time per month, but for the last 5 years, they occur about once per week. He reports a left frontal-retro-orbital aching non-throbbing pain without associated aura, nausea, vomiting, and light or noise sensitivity. Untreated headaches can last 1...

We compare supports A ↑ B (i.e. p r (B |A)> p r (B)) with conditionals A → B and prove that the basic properties of supports are exactly the opposite to those of conditionals.

Model-based diagnosis is based on first-principles reasoning using the behavioral specifications of the primitive components of a device. Unless the computational architecture of the model-based reasoning engine is carefully designed, combinatorial explosion renders the approach useless for devices consisting of more than a handful of components. This paper analyzes the diverse origins of this ...

In this paper we propose a formalization of probable innocence, a notion of probabilistic anonymity that is associated to “realistic” protocols such as Crowds. We analyze critically two different definitions of probable innocence from the literature. The first one, corresponding to the property that Reiter and Rubin have proved for Crowds, aims at limiting the probability of detection. The seco...