Insights From The Intersection Of Logic And Probabilistic Reasoning