Exploring the Veracity of Online Claims with BackDrop
Markov Logic: An Interface Layer for Artificial Intelligence