We introduce PriCL: the first framework for expressing and automatically reasoning about privacy case law by means of precedent. PriCL is parametric in an underlying logic for expressing world properties, and provides support for court decisions, their justification, the circumstances in which the justification applies as well as court hierarchies. Moreover, the framework offers a tight connect...

In a precedent-bused domain one appeals to previous cases to support a solution, decision, explanation, or an argument. Experts typically use care in choosing cases in precedent-based domains, and apply such criteria as case relevance, prototypicality, and importance. In domains where both cases and rules are used, experts use an additional case selection criterion: the generalizations that a p...

Coarse Particles and Dust Storm Mortality In a paper titled "Episodes of High Coarse Partide Concentrations Are Not Associated with Increased Mortality," Schwartz et al. (1) concluded that "coarse particles from windblown dust are not associated with mortality risk." The authors seem to have overlooked the medical literature on the health effects of the historic U.S. dust storms of the dust bow...

We show that strictly abnormal geodesics arise in graded nilpotent Lie groups. We construct such a group, for which some Carnot geodesics are strictly abnormal and, in fact, not normal in any subgroup. In the 2-step case we also prove that these geodesics are always smooth. Our main technique is based on the equations for the normal and abnormal curves, that we derive (for any Lie group) explic...