RT DF A1 Friedman, Tal. T1 Insights from the Intersection of Logic and Probabilistic Reasoning